DALculus – Theory and Tool for Development Assurance Level Allocation

  • Pierre Bieber
  • Rémi Delmas
  • Christel Seguin
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6894)


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.


Dependability Assessment Aerospace Systems Avionics 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    SAE S-18 and EUROCAE WG-63 committees: ARP4754a - Guidelines for Development of Civil Aircraft and Systems, SAE aerospace (2010) Google Scholar
  2. 2.
    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),
  3. 3.
    RTCA SC167 and EUROCAE WG-12 committees: RTCA/DO-178B - Software Considerations in Airborne Systems and Equipment Certification, RTCA Inc. (1992) Google Scholar
  4. 4.
    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)Google Scholar
  5. 5.
    Bieber, P., Delmas, R., Seguin, C.: Derivation of Qualitative and Quantitative Safety Requirements. To appear in: ESREL 2011. Balkema, Rotterdam (2011)Google Scholar
  6. 6.
    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)CrossRefGoogle Scholar
  7. 7.
  8. 8.
    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)Google Scholar
  9. 9.
    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) Google Scholar
  10. 10.
    Sagaspe, L., Bieber, P.: Constraint-Based Design and Allocation of Shared Avionics Resources. In: 26th AIAA-IEEE Digital Avionics Systems Conference, Dallas (2007)Google Scholar
  11. 11.
    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)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Pierre Bieber
    • 1
  • Rémi Delmas
    • 1
  • Christel Seguin
    • 1
  1. 1.ONERAToulouseFrance

Personalised recommendations