Methodology for Evaluating Aeronautical Regulations using Formal Specifications

This thesis project seeks to extend the EDEMOI methodology so that it may be able to evaluate (and facilitate) the consistency and robustness of constantly evolving aeronautical regulations. For this purpose, the coupled "semiformal + formal model" approach first proposed by EDEMOI is broadened through the development of new specification methods. Additionally, its validation aspects were revisited with alternative model checkers. These changes was analyzed and tweaked using European Union Regulation 2320/2002 as test bed. The enhanced methodology, resulting from this work, was later used in the evaluation of other aeronautical regulations.