Safety assessment with AltaRica: Lessons learnt based on two aircraft system studies

IFIP Advances in Information and Communication Technology

Volumn 156, Issue , 2004, Pages 505-510

  Bieber, Pierre ^b   Bougnol, Christian ^a   Castel, Charles ^b   Kehren, Jean Pierre Heckmann Christophe ^b   Metge, Sylvain ^a   Seguin, Christel ^b  

^a AIRBUS   (France)

^b ONERA   (France)

Author keywords

Aircraft; Dependability; Formal methods

Indexed keywords

AIRCRAFT; FORMAL LANGUAGES; FORMAL METHODS; HYDRAULIC EQUIPMENT;

AIRCRAFT SYSTEMS; ALTARICA; ASSOCIATED TOOL; DEPENDABILITY; HYDRAULIC SYSTEM; SAFETY ASSESSMENTS;

SAFETY ENGINEERING;

EID: 84902472835     PISSN: 18684238     EISSN: None     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (7)

1. A. Arnold, A. Griffault, G. Point, A. Rauzy. The AltaRica formalism for describing concurrent systems. Fundamenta Informaticae n°40, p.109-124, 2000.
2. M. Bozzanoter.et al, ESACS: an integrated methodology for design and safety analysis of complex systems. ESREL 2003 European Safety and Reliability Conference, 2003.
3. P. Fenelon, J.A. McDermid, M. Nicholson, D.J. Pumfrey, Towards Integrated Safety Analysis and Design, ACM Computing Reviews, Vol. 2, No. 1, p.21-32,1994.
4. K.L. MacMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993, ISBN 0-7923-9380-5.
5. C. Kehrenter. et al, Architecture patterns for safe design, in Proceedings of the first AAAF Conference on Complex and Safe System Engineering, 2004.
6. C. Kehrenter. et al, Advanced Multi-System Simulation Capabilities with AltaRica, in proceedings of the International System Safety Conference, 2004.
7. A. Rauzy. Mode automata and their compilation into fault trees. Reliability Engineering and System Safety, 2002.