05976312

a

05976312 Bieber, Pierre Delmas, R\'emi Seguin, Christel DALculus -- theory and tool for development assurance level allocation. Flammini, Francesco (ed.) et al., Computer safety, reliability, and security. 30th international conference, SAFECOMP 2011, Naples, Italy, September 19--22, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24269-4/pbk). Lecture Notes in Computer Science 6894, 43-56 (2011). 2011 Berlin: Springer EN dependability assessment aerospace systems avionics

doi:10.1007/978-3-642-24270-0_4

Summary: The Development Assurance Level (DAL) indicates the level of rigor of the development of a software or hardware function of an aircraft. We propose a theory formalizing the DAL allocation rules found in the ARP4754a recommended practices. A tool implementing this theory was developed in order to assist the safety specialists when checking or optimizing a DAL allocation.