Implementing synchronous reactive components upon multiprocessor 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:Journal of systems architecture Jg. 116; S. 102027
1. Verfasser: Baruah, Sanjoy
Format: Journal Article
Sprache:Englisch
Veröffentlicht: Elsevier B.V 01.06.2021
Schlagworte:
Approximation algorithm
Deadlines
Integer Linear Program
Multiprocessor scheduling
Synchronous programming
Multiprocessor scheduling
Integer Linear Program
Deadlines
Approximation algorithm
Synchronous programming
ISSN:1383-7621, 1873-6165
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 a scheduling problem that arises when one seeks to implement programs that are written under the synchrony assumption upon actual multiprocessor platforms, and proposes algorithms for solving this problem exactly and approximately.
ISSN:1383-7621
1873-6165
DOI:10.1016/j.sysarc.2021.102027