Multi-core Cyclic Executives for Safety-Critical Systems

Alan Burns; C Deutschbein; Thomas David Fleming; S Baruah

Multi-core Cyclic Executives for Safety-Critical Systems

Alan Burns, C Deutschbein, Thomas David Fleming, S Baruah

Computer Science

Research output: Contribution to conference › Paper › peer-review

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.

Original language	English
Pages	94-109
Number of pages	16
Publication status	Published - Oct 2017
Event	Dependable Software Engineering Theories, Tools and Application - Changsha, China Duration: 23 Oct 2017 → 25 Oct 2017

Conference

Conference	Dependable Software Engineering Theories, Tools and Application
Abbreviated title	SETTA
Country/Territory	China
City	Changsha
Period	23/10/17 → 25/10/17

Access to Document

DeutschbeinFBB-SETTA.pdfLicence: Unspecified

Cite this

@conference{5b55c7c79eb14e00ae189ec6abc4a6cb,

title = "Multi-core Cyclic Executives for Safety-Critical Systems",

abstract = "In a cyclic executive, a series of pre-determined frames areexecuted in sequence; once the series is complete the sequence is repeated.Within each frame individual units of computation are executed, again ina pre-specified sequence. The implementation of cyclic executives uponmulti-core platforms is considered. A Linear Programming (LP) basedformulation is presented of the problem of constructing cyclic executivesupon multiprocessors for a particular kind of recurrent real-timeworkload – collections of implicit-deadline periodic tasks. Techniques aredescribed for solving the LP formulation under different kinds of restrictionsin order to obtain preemptive and non-preemptive cyclic executives.",

author = "Alan Burns and C Deutschbein and Fleming, {Thomas David} and S Baruah",

year = "2017",

month = oct,

language = "English",

pages = "94--109",

note = "Dependable Software Engineering Theories, Tools and Application, SETTA ; Conference date: 23-10-2017 Through 25-10-2017",

}

TY - CONF

T1 - Multi-core Cyclic Executives for Safety-Critical Systems

AU - Burns, Alan

AU - Deutschbein, C

AU - Fleming, Thomas David

AU - Baruah, S

PY - 2017/10

Y1 - 2017/10

N2 - In a cyclic executive, a series of pre-determined frames areexecuted in sequence; once the series is complete the sequence is repeated.Within each frame individual units of computation are executed, again ina pre-specified sequence. The implementation of cyclic executives uponmulti-core platforms is considered. A Linear Programming (LP) basedformulation is presented of the problem of constructing cyclic executivesupon multiprocessors for a particular kind of recurrent real-timeworkload – collections of implicit-deadline periodic tasks. Techniques aredescribed for solving the LP formulation under different kinds of restrictionsin order to obtain preemptive and non-preemptive cyclic executives.

AB - In a cyclic executive, a series of pre-determined frames areexecuted in sequence; once the series is complete the sequence is repeated.Within each frame individual units of computation are executed, again ina pre-specified sequence. The implementation of cyclic executives uponmulti-core platforms is considered. A Linear Programming (LP) basedformulation is presented of the problem of constructing cyclic executivesupon multiprocessors for a particular kind of recurrent real-timeworkload – collections of implicit-deadline periodic tasks. Techniques aredescribed for solving the LP formulation under different kinds of restrictionsin order to obtain preemptive and non-preemptive cyclic executives.

M3 - Paper

SP - 94

EP - 109

T2 - Dependable Software Engineering Theories, Tools and Application

Y2 - 23 October 2017 through 25 October 2017

ER -