Return
Implementing synchronous reactive components upon multiprocessor platforms
DOI:10.1016/j.sysarc.2021.102027.png)
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
Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.
Journal
IF:
4.1
Papers:
3.0K
Citations:
4.2K
Organization
Cited Papers
no more

