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

Full description

Saved in:
Bibliographic Details
Published in:Journal of systems architecture Vol. 116; p. 102027
Main Author: Baruah, Sanjoy
Format: Journal Article
Language:English
Published: Elsevier B.V 01.06.2021
Subjects:
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 Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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