By the same authors

From the same journal

Robust Mixed-Criticality Systems

Research output: Contribution to journalArticle

Full text download(s)

Published copy (DOI)

Author(s)

Department/unit(s)

Publication details

JournalIEEE Transactions on Computers
DateAccepted/In press - 24 Apr 2018
DateE-pub ahead of print - 30 Apr 2018
DatePublished (current) - 1 Oct 2018
Issue number10
Volume67
Number of pages14
Pages (from-to)1478-1491
Early online date30/04/18
Original languageEnglish

Abstract

Certification authorities require correctness and survivability. In the temporal domain this requires a convincing argument that all deadlines will be met under error free conditions, and that when certain defined errors occur the behaviour of the system is still predictable and safe. This means that occasional execution-time overruns should be tolerated and where more severe errors occur
levels of graceful degradation should be supported. With mixed-criticality systems, fault tolerance must be criticality aware, i.e. some tasks should degrade less than others. In this paper a quantitative notion of robustness is defined, and it is shown how fixed priority-based task scheduling can be structured to maximise the likelihood of a system remaining fail operational or fail robust (the latter implying that an occasional job may be skipped if all other deadlines are met). Analysis is developed for fail operational and fail robust behaviour, optimal priority ordering is addressed and an experimental evaluation is described. Overall, the approach presented allows robustness to be balanced against schedulability. A designer would thus be able to explore the design space so defined.

Bibliographical note

© 2018 IEEE. This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details

    Research areas

  • fault tolerance, mixed criticality, Real-time systems

Projects

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations