DALculus: theory and tool for development assurance level allocation

Authors:
Pierre Bieber;Rémi Delmas;Christel Seguin
Affiliations:
ONERA, Toulouse, France;ONERA, Toulouse, France;ONERA, Toulouse, France
Venue:
SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security
Year:
2011

Citing 3
Cited 0

ArcheOpterix: An extendable tool for architecture optimization of AADL models

MOMPES '09 Proceedings of the 2009 ICSE Workshop on Model-Based Methodologies for Pervasive and Embedded Software
Automatic allocation of safety integrity levels

Proceedings of the 1st Workshop on Critical Automotive applications: Robustness & Safety
Improving unsatisfiability-based algorithms for boolean optimization

SAT'10 Proceedings of the 13th international conference on Theory and Applications of Satisfiability Testing

Quantified Score

Hi-index	0.00

Visualization

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.