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 will be analyzed and tweaked using European Union Regulation 232012002 as test bed The enhanced methodology, resulting from this work, shall be later used in the evaluation of other aeronautical regulations.