An Enhanced Bailout Protocol for Mixed Criticality Embedded Software

Research output: Contribution to journalArticlepeer-review


To move mixed criticality research into industrial practice requires models whose run-time behaviour is acceptable to systems
engineers. Certain aspects of current models, such as abandoning lower criticality tasks when certain situations arise, do not give the robustness required in application domains such as the automotive and aerospace industries. In this paper a new bailout protocol is developed that still guarantees high criticality software but minimises the negative impact on lower criticality software via a timely return to normal operation. We show how the bailout protocol can be integrated with existing techniques, utilising both offline slack and online gain-time to further improve performance. Static analysis is provided for schedulability guarantees, while scenario-based evaluation via simulation is used to explore the effectiveness of the protocol.
Original languageEnglish
Article number7516652
Pages (from-to)298-320
Number of pages23
JournalIEEE Transactions on Software Engineering
Issue number4
Early online date19 Jul 2016
Publication statusPublished - 1 Apr 2017

Bibliographical note

(c) 2016 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other users, including reprinting/ republishing this material for advertising or promotional purposes, creating new collective works for resale or redistribution to servers or lists, or reuse of any copyrighted components of this work in other works. 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


  • Real-Time Systems
  • Mode Changes
  • Mixed Criticality
  • Fixed Priority Scheduling
  • Mixed criticality
  • Real-time systems
  • Fixed priority scheduling
  • Mode changes

Cite this