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...

Full description

Saved in:

Bibliographic Details
Published in:	Real-time systems Vol. 50; no. 3; pp. 317 - 341
Main Author:	Baruah, Sanjoy
Format:	Journal Article
Language:	English
Published:	Boston Springer US 01.05.2014 Springer Nature B.V
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!