mdh.sePublications
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
The Role of Schedulers in Model-Driven Development of Real-Time Systems
Mälardalen University, School of Innovation, Design and Engineering. (IS (Model-Based Engineering of Embedded Systems))ORCID iD: 0000-0002-1512-0844
Mälardalen University, School of Innovation, Design and Engineering. (IS (Model-Based Engineering of Embedded Systems))ORCID iD: 0000-0001-7586-0409
School for Information and Communication Technology (ICT).
2012 (English)Report (Other academic)
Abstract [en]

Design of real-time embedded systems is a complex and challenging task. Model-driven development has the potential to reduce the design complexity of real-time embedded systems by increasing the abstraction level, enabling analysis at earlier phases of development, and automatic generation of code from the models. In this context, capabilities of schedulers as part of the underlying platform play an important role. They can affect the complexity of code generators and how the model is implemented on the platform. Also, the way a scheduler monitors timing behaviors of tasks and schedules them can facilitate extraction of runtime information. This information can then be used as feedback to the original model in order to identify parts of the model that may require to be re-designed and modified. In this paper, we describe our work in providing these features by introducing a second layer scheduler on top of OSE real-time operating system’s scheduler. The approach can also contribute to the predictability of systems by bringing more awareness to the scheduler about the type of real-time tasks (i.e., periodic, sporadic, and aperiodic) that are to be scheduled, and the information that should be monitored and logged for each type.

Place, publisher, year, edition, pages
2012.
Series
MRTC report, ISSN 1404-3041
National Category
Computer Systems Engineering and Technology
Identifiers
URN: urn:nbn:se:mdh:diva-14457ISRN: MDH-MRTC-264/2012-1-SEOAI: oai:DiVA.org:mdh-14457DiVA: diva2:515524
Available from: 2012-04-13 Created: 2012-04-13 Last updated: 2015-02-04Bibliographically approved
In thesis
1. Satisfying Non-Functional Requirements in Model-Driven Development of Real-Time Embedded Systems
Open this publication in new window or tab >>Satisfying Non-Functional Requirements in Model-Driven Development of Real-Time Embedded Systems
2012 (English)Licentiate thesis, comprehensive summary (Other academic)
Abstract [en]

Design of real-time embedded systems is a complex and challenging task. Part of this complexity originates from their limited resources which incurs handling a big range of Non-Functional Requirements (NFRs). Therefore, satisfaction of NFRs plays an important role in the correctness of the design of these systems. Model-driven development has the potential to reduce the design complexity of real-time embedded systems by increasing the abstraction level, enabling analysis at earlier phases of development and code generation. In this thesis, we identify some of the challenges that exist in model-driven development of real-time embedded systems with respect to NFRs, and provide techniques and solutions that aim to help with the satisfaction of NFRs. Our end goal is to ensure that the set of NFRs defined for a system is not violated at runtime.

First, we identify and highlight the challenges of modeling NFRs in telecommunication systems and discuss the application of a UML-based approach for modeling them. Since NFRs have dependencies, and the design decisions to satisfy them cannot be considered in isolation, we propose a model-based approach for trade-off analysis of NFRs to help with the comparison of different design models with respect to the satisfaction level of their NFRs. Following the issue of evaluating the interdependencies of NFRs, we also propose solutions for establishing and maintaining balance between different NFRs. In this regard, we categorize our suggested solutions into static and dynamic. The former refers to a static design and set of features which ensures and guarantees the balance of NFRs, while the latter means establishing balance at runtime by reconfiguring the system and runtime adaptation. Finally, we discuss the role of the execution platform in preservation and monitoring of timing properties in real-time embedded systems and propose an approach to enrich the platform with necessary mechanisms for monitoring them.

Place, publisher, year, edition, pages
Västerås: Mälardalen University, 2012
Series
Mälardalen University Press Licentiate Theses, ISSN 1651-9256 ; 150
Keyword
non-functional requirements, model-driven development, real-time, embedded systems
National Category
Embedded Systems Software Engineering Computer Science
Research subject
Computer Science
Identifiers
urn:nbn:se:mdh:diva-14533 (URN)978-91-7485-066-6 (ISBN)
Presentation
2012-05-11, Kappa, Mälardalen University, Västerås, 13:15 (English)
Opponent
Supervisors
Projects
CHESS
Available from: 2012-04-26 Created: 2012-04-25 Last updated: 2015-02-04Bibliographically approved

Open Access in DiVA

No full text

Search in DiVA

By author/editor
Saadatmand, MehrdadSjödin, Mikael
By organisation
School of Innovation, Design and Engineering
Computer SystemsEngineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

Total: 47 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