A framework for scheduling in safety-critical embedded control systems

This paper describes an approach that has been developed over a number of years for the task of scheduling systems and providing evidence that the timing requirements are met. The approach has been targeted at the safety critical systems domain, and more specifically the development of jet engine control systems. The work has resulted in a computational model that supports the reuse of legacy systems whilst providing a powerful computational model. In addition, timing analysis has been developed that features low pessimism, low computational complexity and that is robust to change. The aim of this paper is to summarise and bring together all the facets of the work. This is, in part, achieved through a case study that is used as a threaded example through the course of the paper