Validation of Regulation Documents by Automated Analysis of Formal Models

Abstract. The security of civil aviation is regulated by a series of international standards and recommended practices. The EDEMOI project aims at investigating different techniques to analyse these standards. In this paper, we address two automated analysis techniques. First statetransition diagrams are extracted to visualize the nominal behavior of the involved actors. Then, models are lightly altered, and test scenarios are generated to determine how security measures could be breaked. Keywords. Civil aviation standards, security, modelling, formal methods, test generation.

• Type: Conference
• Year: 2006
• Where: CAISE
• Authors: Didier Bert, Fabrice Bouquet, Yves Ledru, Sylvie Vignes
• Keywords: Automated Analysis Techniques, CAISE 2006, Civil Aviation, Civil Aviation Standards, Information Management