CSDL Home R RTCSA 1999 2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications
Hong Kong, China
Dec. 13, 1999 to Dec. 15, 1999
I. Bate , University of York
A. Burns , University of York
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 summarize 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.
I. Bate, A. Burns, "A Framework for Scheduling in Safety-Critical Embedded Control Systems", RTCSA, 1999, 2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications, 2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications 1999, pp. 46, doi:10.1109/RTCSA.1999.811192