Putting fixed priority scheduling theory into engineering practice for safety critical applications Export

@inproceedings{audsley96engineering, abstract = {Describes the approach proposed by the York University Technology Centre for introducing fixed-priority scheduling into industrial safety-critical hard real-time systems. The work has been performed within the context of a class A (safety-critical) system as defined by civil aircraft software standard DO178B. Traditionally, class A systems have been scheduled by a cyclic executive. However, many such systems can be re-designed using a fixed-priority scheduler. This saves time and money, with no significant increase in risk. Also, significant technical benefits are apparent. This paper describes the timing requirements of the system, provides a potential scheduling approach (including appropriate timing analysis), and outlines an approach for gathering the necessary evidence for presentation to certification authorities}, author = {Audsley, N. C. and Bate, I. J. and Burns, A.}, booktitle = {Proceedings of IEEE Real-Time Technology and Applications Symposium (RTAS '96)}, citeulike-article-id = {5839687}, citeulike-linkout-0 = {http://dx.doi.org/10.1109/RTTAS.1996.509517}, citeulike-linkout-1 = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=509517}, day = {06}, doi = {10.1109/RTTAS.1996.509517}, journal = {Proceedings of IEEE Real-Time Technology and Applications Symposium (RTAS '96)}, keywords = {avionics, fixed-priority, safety-critical}, month = {August}, pages = {2--10}, posted-at = {2009-09-25 10:18:10}, priority = {2}, title = {Putting fixed priority scheduling theory into engineering practice for safety critical applications}, url = {http://dx.doi.org/10.1109/RTTAS.1996.509517}, year = {2002} }

TY - CONF ID - audsley96engineering L3 - citeulike-article-id:5839687 N2 - Describes the approach proposed by the York University Technology Centre for introducing fixed-priority scheduling into industrial safety-critical hard real-time systems. The work has been performed within the context of a class A (safety-critical) system as defined by civil aircraft software standard DO178B. Traditionally, class A systems have been scheduled by a cyclic executive. However, many such systems can be re-designed using a fixed-priority scheduler. This saves time and money, with no significant increase in risk. Also, significant technical benefits are apparent. This paper describes the timing requirements of the system, provides a potential scheduling approach (including appropriate timing analysis), and outlines an approach for gathering the necessary evidence for presentation to certification authorities JF - Proceedings of IEEE Real-Time Technology and Applications Symposium (RTAS '96) EP - 10 TI - Putting fixed priority scheduling theory into engineering practice for safety critical applications T2 - Proceedings of IEEE Real-Time Technology and Applications Symposium (RTAS '96) SP - 2 KW - avionics KW - fixed-priority KW - safety-critical AU - Audsley, NC AU - Bate, IJ AU - Burns, A PY - 2002/08/06/ UR - http://dx.doi.org/10.1109/RTTAS.1996.509517 ER -