The York Research Database
- » Research
- » York Research Database
- » Publications
- » Multi-core Cyclic Executives for Safety-Critical Systems
Multi-core Cyclic Executives for Safety-Critical Systems
Research output: Contribution to conference › Paper
Full text download(s)
671 KB, PDF-document
Author(s)
Department/unit(s)
Conference
| Conference | Dependable Software Engineering Theories, Tools and Application |
|---|---|
| Abbreviated title | SETTA |
| Country | China |
| City | Changsha |
| Conference date(s) | 23/10/17 → 25/10/17 |
Publication details
| Date | Published - Oct 2017 |
|---|---|
| Number of pages | 16 |
| Original language | English |
Abstract
In a cyclic executive, a series of pre-determined frames are
executed in sequence; once the series is complete the sequence is repeated.
Within each frame individual units of computation are executed, again in
a pre-specified sequence. The implementation of cyclic executives upon
multi-core platforms is considered. A Linear Programming (LP) based
formulation is presented of the problem of constructing cyclic executives
upon multiprocessors for a particular kind of recurrent real-time
workload – collections of implicit-deadline periodic tasks. Techniques are
described for solving the LP formulation under different kinds of restrictions
in order to obtain preemptive and non-preemptive cyclic executives.
executed in sequence; once the series is complete the sequence is repeated.
Within each frame individual units of computation are executed, again in
a pre-specified sequence. The implementation of cyclic executives upon
multi-core platforms is considered. A Linear Programming (LP) based
formulation is presented of the problem of constructing cyclic executives
upon multiprocessors for a particular kind of recurrent real-time
workload – collections of implicit-deadline periodic tasks. Techniques are
described for solving the LP formulation under different kinds of restrictions
in order to obtain preemptive and non-preemptive cyclic executives.
Discover related content
Find related publications, people, projects, datasets and more using interactive charts.
Loading map data...