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

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Journal of systems architecture Ročník 116; s. 102027
Hlavní autor: Baruah, Sanjoy
Médium: Journal Article
Jazyk:angličtina
Vydáno: Elsevier B.V 01.06.2021
Témata:
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
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
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 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