Bate, Iain John orcid.org/0000-0003-2415-8219, Burns, Alan orcid.org/0000-0001-5621-8816 and Davis, Robert Ian orcid.org/0000-0002-5772-0928 (2017) An Enhanced Bailout Protocol for Mixed Criticality Embedded Software. IEEE Transactions on Software Engineering. 7516652. pp. 298-320. ISSN 0098-5589
Abstract
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.
Metadata
Item Type: | Article |
---|---|
Authors/Creators: |
|
Copyright, Publisher and Additional Information: | (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 |
Keywords: | Real-Time Systems,Mode Changes,Mixed Criticality ,Fixed Priority Scheduling,Mixed criticality,Real-time systems,Fixed priority scheduling,Mode changes |
Dates: |
|
Institution: | The University of York |
Academic Units: | The University of York > Faculty of Sciences (York) > Computer Science (York) |
Funding Information: | Funder Grant number EPSRC EP/K011626/1 |
Depositing User: | Pure (York) |
Date Deposited: | 15 Jul 2016 15:04 |
Last Modified: | 01 Dec 2024 01:08 |
Published Version: | https://doi.org/10.1109/TSE.2016.2592907 |
Status: | Published |
Refereed: | Yes |
Identification Number: | 10.1109/TSE.2016.2592907 |
Related URLs: | |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:102518 |