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

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:Real-time systems Ročník 50; číslo 3; s. 317 - 341
Hlavný autor: Baruah, Sanjoy
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: Boston Springer US 01.05.2014
Springer Nature B.V
Predmet:
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
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí: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.
Bibliografia: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