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

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!