arrow
Return

Implementing synchronous reactive components upon multiprocessor platforms

delete2021-06-01
delete2
delete
OA
AI
S
Sanjoy Baruah *
DOI:10.1016/j.sysarc.2021.102027delete
deleteOriginal
deleteShare
deleteSave
View PDF
Abstract

Abstract

En 中文
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.
Keywords:
Synchronous programming
Multiprocessor scheduling
Deadlines
Integer Linear Program
Approximation algorithm
AI Summary

AI Summary

Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.

Journal

Journal of Systems Architecture cover
Journal of Systems Architecture
IF:
4.1
Papers:
3.0K
Citations:
4.2K

Organization

W
washington university (wustl)
Scholars:
5.5W
Papers: 4.5W
Citations: 70
Cited Papers

Cited Papers

errShare
errSave
errShare
errSave
Cloning and sequencing of a calcium-binding protein regulated by cyclic AMP in the thyroid.
err1989-01-01
err0
errOAAI
errA. Lefort; R. Lecocq; F. Libert; F. Lamy; S. Swillens; G. Vassart; J. E. Dumont
errShare
errSave
The synchronous languages 12 years later
err2003-01-01
err516
errOAAI
errBenveniste, A; Caspi, P; Edwards, SA; Halbwachs, N; Le Guernic, P; De Simone, R
errShare
errSave
no more