Implementing mixed-criticality synchronous reactive programs upon uniprocessor platforms

Model-based design methodologies based on the synchrony assumption are widely used in many safety-critical application domains. The synchrony assumption asserts that actions (such as the execution of code) occur instantaneously; however, physical platforms obviously do not possess this property. Thi...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Real-time systems Jg. 50; H. 3; S. 317 - 341
1. Verfasser: Baruah, Sanjoy
Format: Journal Article
Sprache:Englisch
Veröffentlicht: Boston Springer US 01.05.2014
Springer Nature B.V
Schlagworte:
Communications Engineering
Computer Science
Computer Systems Organization and Communication Networks
Control
Design engineering
Domains
Mathematical models
Mechatronics
Networks
Performance and Reliability
Platforms
Real time
Robotics
Safety critical
Special Purpose and Application-Based Systems
Synchronous
Synchronous programming
Scheduling
Mixed-criticality systems
ISSN:0922-6443, 1573-1383
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Model-based design methodologies based on the synchrony assumption are widely used in many safety-critical application domains. The synchrony assumption asserts that actions (such as the execution of code) occur instantaneously; however, physical platforms obviously do not possess this property. This paper considers the problem of obtaining resource-efficient implementations of programs that are written under the synchrony assumption on actual platforms, such that these implementations execute in a manner that is semantically consistent with the execution sequences that would occur if the synchrony assumption were to hold.
Bibliographie:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
content type line 23
ISSN:0922-6443
1573-1383
DOI:10.1007/s11241-013-9197-x