@inproceedings{48f6d6f77f344897924103a74e8afa33,
title = "Multi-core cyclic executives for safety-critical systems",
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.",
author = "Calvin Deutschbein and Tom Fleming and Alan Burns and Sanjoy Baruah",
note = "Publisher Copyright: {\textcopyright} 2017, Springer International Publishing AG.; 3rd International Symposium on Dependable Software Engineering: Theories, Tools and Applications, SETTA 2017 ; Conference date: 23-10-2017 Through 25-10-2017",
year = "2017",
doi = "10.1007/978-3-319-69483-2\_6",
language = "English",
isbn = "9783319694825",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "94--109",
editor = "Ji Wang and Larsen, \{Kim Guldstrand\} and Oleg Sokolsky",
booktitle = "Dependable Software Engineering",
}