Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
SAE S-18 and EUROCAE WG-63 committees: ARP4754a - Guidelines for Development of Civil Aircraft and Systems, SAE aerospace (2010)
Baufreton, P., Blanquart, J.-P., Boulanger, J.-L., Delseny, H., Derrien, J.-C., Gassino, J., Ladier, G., Ledinot, E., Leeman, M., Quéré, P., Ricque, B.: Multi-Domain Comparison of Dependability and Safety Standards. In: Proceedings of ERTS (2010), http://www.erts2010.org
RTCA SC167 and EUROCAE WG-12 committees: RTCA/DO-178B - Software Considerations in Airborne Systems and Equipment Certification, RTCA Inc. (1992)
Bozzano, M., Villafiorita, A., Åkerlund, O., Bieber, P., Bougnol, C., Böde, E., Bretschneider, M., Cavallo, A., Castel, C., Cifaldi, M., Cimatti, A., Griffault, A., Kehren, C., Lawrence, B., Luedtke, A., Metge, S., Papadopoulos, C., Passarello, R., Peikenkamp, T., Persson, P., Seguin, C., Trotta, L., Valacca, L., Zacco, G.: ESACS: an integrated methodology for design and safety analysis of complex systems. In: Proceedings of ESREL 2003. Balkema publisher, Rotterdam (2003)
Bieber, P., Delmas, R., Seguin, C.: Derivation of Qualitative and Quantitative Safety Requirements. To appear in: ESREL 2011. Balkema, Rotterdam (2011)
Manquinho, V., Martins, R., Lynce, I.: Improving Unsatisfiability-based Algorithms for Boolean Optimization. In: Strichman, O., Szeider, S. (eds.) SAT 2010. LNCS, vol. 6175, pp. 181–193. Springer, Heidelberg (2010)
SAT4J, http://www.sat4j.org
Papadopoulos, Y., Walker, M., Reiser, M.-O., Weber, M., Chen, D.-J., Törngren, M., Servat, D., Abele, A., Stappert, F., Lönn, H., Berntsson, L., Johansson, R., Tagliabo, F., Torchiaro, S., Sandberg, A.: Automatic allocation of safety integrity level. In: Workshop on Critical Automotive Applications: Robustness & Safety, CARS 2010 (EDCC Workshop), Valencia, Spain (April 27, 2010)
Pecchia, A.: Una metodologia per la definizione dei livelli di critcità dei componenti di un sistema software complesso, Master Thesis, Università degli Studi di Napoli Federico II, Italy (2008)
Sagaspe, L., Bieber, P.: Constraint-Based Design and Allocation of Shared Avionics Resources. In: 26th AIAA-IEEE Digital Avionics Systems Conference, Dallas (2007)
Aleti, A., Bjoernander, S., Grunske, L., Meedeniya, I.: ArcheOpterix: An extendable tool for architecture optimization of AADL models, in Model-based Methodologies for Pervasive and Embedded Software (MOMPES), Workshop at ICSE 2009 ACM and IEEE Digital Libraries (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bieber, P., Delmas, R., Seguin, C. (2011). DALculus – Theory and Tool for Development Assurance Level Allocation. In: Flammini, F., Bologna, S., Vittorini, V. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2011. Lecture Notes in Computer Science, vol 6894. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-24270-0_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-24270-0_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-24269-4
Online ISBN: 978-3-642-24270-0
eBook Packages: Computer ScienceComputer Science (R0)