Efficient modelling of avionics systems: combining standard language and custom editor

Abstract

International audienceIn aeronautic, space, and automotive fields, critical embedded systems are more and more subjected to high safety requirements and so need an important verification effort during the development phase to avoid errors. It becomes more difficult for industrial actors to specify such systems, while ensuring the quality and the non-ambiguity of the specification. Model Based System Engineering (MBSE), allows designers to mature specifications quicker than with document approach because errors and inconsistencies in requirements are generally detected earlier thanks to their formalization in model elements. MBSE approach is more and more recognized as a good approach in industry and we find a lot of evaluations in R&T programs