Validation of Regulation Documents by Automated Analysis of Formal Models.
Didier Bert, Fabrice Bouquet, Yves Ledru, Sylvie Vignes · 2006
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.