Abstract
In a time-triggered system activities like releasing of tasks, mode switches, sensor readings are all initiated at predetermined points in real-time. This paper proposes an extension of a time-triggered compositional framework and presents, based on the widely-applied methods, a condition for its schedulability. The pessimism of this condition is then discussed and the new challenges in the compositional analysis of time-triggered systems are raised.
Publisher
Association for Computing Machinery (ACM)
Subject
Engineering (miscellaneous),Computer Science (miscellaneous)
Reference25 articles.
1. Regular Specifications of Resource Requirements for Embedded Control Software
2. RTComposer
3. Uniprocessor EDF Scheduling with Mode Change
4. C. M. Bailey. Hard real-time operating system kernel. Investigation of mode change. Task 14 Deliverable on ESTSEC Contract 9198/90/NL/SF British Aerospace Systems Ltd. 1993 C. M. Bailey. Hard real-time operating system kernel. Investigation of mode change. Task 14 Deliverable on ESTSEC Contract 9198/90/NL/SF British Aerospace Systems Ltd. 1993
5. Algorithms and complexity concerning the preemptive scheduling of periodic, real-time tasks on one processor