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!

Schreiben Sie den ersten Kommentar!