Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
SRP-DM scheduling of component-based embedded real-time software
Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Embedded Internet Systems Lab.
Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Embedded Internet Systems Lab.
Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Embedded Internet Systems Lab.
Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Embedded Internet Systems Lab.
Show others and affiliations
2011 (English)Conference paper, Oral presentation only (Refereed)
Abstract [en]

Model and component based design is an established means for the development of large software systems, and is starting to get momentum in the realm of embedded software development. In case of safety critical (dependable systems) it is crucial that the underlying model and its realization captures the requirements on the timely behavior of the system, and that these requirements can be preserved and validated throughout the design process (from specification to actual code execution). To this end, we base the presented work on the notion of Concurrent Reactive Objects (CRO) and their abstraction into Reactive Components.In many cases, the execution platform puts firm resource limitations on available memory and speed of computations that must be taken into consideration for the validation of the system.In this paper, we focus on code synthesis from the model, and we show how specified timing requirements are preserved and translated into scheduling information. In particular, we present how ceiling levels for Stack Resources Policy (SRP) scheduling and analysis can be extracted from the model. Additionally, to support schedulability analysis, we detail algorithms that for a CRO model derives periods (minimum inter-arrival times) and offsets of tasks/jobs. Moreover, the design of a micro-kernel supporting cooperative hardware- and software-scheduling of CRO based systems under Deadline Monotonic SRP is presented.

Place, publisher, year, edition, pages
2011.
National Category
Embedded Systems
Research subject
Embedded System
Identifiers
URN: urn:nbn:se:ltu:diva-34558Local ID: 8c7a9196-a0ce-4944-83da-07d3add16d5fOAI: oai:DiVA.org:ltu-34558DiVA: diva2:1007809
Conference
International Workshop on Dependable and Secure Industrial and Embedded Systems : 04/06/2011 - 04/06/2011
Note
Godkänd; 2011; 20111215 (andbra)Available from: 2016-09-30 Created: 2016-09-30 Last updated: 2017-10-19Bibliographically approved
In thesis
1. Enabling Reactive Design of Robust Real-Time Embedded Systems
Open this publication in new window or tab >>Enabling Reactive Design of Robust Real-Time Embedded Systems
2017 (English)Doctoral thesis, comprehensive summary (Other academic)
Place, publisher, year, edition, pages
Luleå: Luleå University of Technology, 2017
Series
Doctoral thesis / Luleå University of Technology 1 jan 1997 → …, ISSN 1402-1544
National Category
Computer Systems Embedded Systems
Research subject
Embedded System
Identifiers
urn:nbn:se:ltu:diva-62322 (URN)978-91-7583-835-9 (ISBN)978-91-7583-836-6 (ISBN)
Public defence
2017-04-24, D770, 13:00 (English)
Opponent
Supervisors
Available from: 2017-03-07 Created: 2017-03-07 Last updated: 2017-03-31Bibliographically approved

Open Access in DiVA

fulltext(1059 kB)61 downloads
File information
File name FULLTEXT01.pdfFile size 1059 kBChecksum SHA-512
33d222299efa99e9409b10eef6bc2c66d64f7cf068a09e98acb3c9dc745ea152e693ef9a2aea56b57f9c408fa4c11c099b4c3743069ca2375f6a7a4cba1f90c4
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Eriksson, JohanAittamaa, SimonWiklander, JimmiePietrzak, PawelLindgren, Per
By organisation
Embedded Internet Systems Lab
Embedded Systems

Search outside of DiVA

GoogleGoogle Scholar
Total: 61 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 97 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf