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!
Description
Summary: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.
Bibliography: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