White Rose University Consortium logo
University of Leeds logo University of Sheffield logo York University logo

An Integrated Approach to Scheduling in Safety-Critical Embedded Control Systems

Bate, I. and Burns, A. (2003) An Integrated Approach to Scheduling in Safety-Critical Embedded Control Systems. Real-Time Systems, 25 (1). pp. 5-37. ISSN 0922-6443

Full text not available from this repository.

Abstract

This paper describes an approach that has been developed over a number of years for the job of scheduling systems and providing evidence that timing requirements are met. The approach has been targeted at the safety-critical systems domain, and more specifically the development of control systems for jet engines. The work provides a usable computational model that supports the reuse of legacy systems. In addition, timing analysis has been developed that features low pessimism, low computational complexity and that is robust to change. The contributions of this paper are to show how standard timing analysis is often insufficient for real systems, presenting extensions to the standard analysis to give an integrated approach to verification, and providing a case study that demonstrates the appropriateness and benefits of the overall technique.

Item Type: Article
Institution: The University of York
Academic Units: The University of York > Computer Science (York)
Depositing User: York RAE Import
Date Deposited: 17 Feb 2009 09:08
Last Modified: 17 Feb 2009 09:08
Published Version: http://dx.doi.org/10.1023/A:1022920502619
Status: Published
Publisher: Springer Science + Business Media
Identification Number: 10.1023/A:1022920502619
URI: http://eprints.whiterose.ac.uk/id/eprint/7419

Actions (repository staff only: login required)