An Enhanced Bailout Protocol for Mixed Criticality Embedded Software

TY - JOUR

T1 - An Enhanced Bailout Protocol for Mixed Criticality Embedded Software

AU - Bate, Iain John

AU - Burns, Alan

AU - Davis, Robert Ian

N1 - (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

PY - 2017/4/1

Y1 - 2017/4/1

N2 - To move mixed criticality research into industrial practice requires models whose run-time behaviour is acceptable to systemsengineers. 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.

AB - To move mixed criticality research into industrial practice requires models whose run-time behaviour is acceptable to systemsengineers. 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.

KW - Real-Time Systems

KW - Mode Changes

KW - Mixed Criticality

KW - Fixed Priority Scheduling

KW - Mixed criticality

KW - Real-time systems

KW - Fixed priority scheduling

KW - Mode changes

UR - https://www-users.cs.york.ac.uk/~robdavis/

UR - http://www.scopus.com/inward/record.url?scp=85018943829&partnerID=8YFLogxK

U2 - 10.1109/TSE.2016.2592907

DO - 10.1109/TSE.2016.2592907

M3 - Article

SN - 0098-5589

VL - 43

SP - 298

EP - 320

JO - IEEE Transactions on Software Engineering

JF - IEEE Transactions on Software Engineering

IS - 4

M1 - 7516652

ER -