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
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.
|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|
|Publisher:||Springer Science + Business Media|