This paper presents an approach for the formal modeling of certification processes using automatic reasoning in order to optimize the development process and to support business decision making while ensuring compliance with certification standards. The approach consists of combining formal models of the certification standard (what has to be satisfied), and models of the actual development process (how it is satisfied). A contract-based language is used to model the certification process. A SMT solver (Satisfiability Modulo Theories) is used to verify whether the certification is satisfied and to find optimization possibilities. The proposed approach is demonstrated using a case study to model a subset of the certification of a real aircraft cooling system certified under DO-178C. It is anticipated that modeling of the certification standards demonstrated in this case study would help meet the current challenge of creating new standards to certify new technologies.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Formal modeling of certification processes


    Contributors:


    Publication date :

    2017-09-01


    Size :

    692542 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Review of Formal Agile Methods as Cost-Effective Airworthiness Certification Processes

    Blooshi, Mouza Al / Jafer, Shafer / Patel, Krishan | AIAA | 2018


    Formal Certification Methods for Automated Vehicle Safety Assessment

    Zhao, Tong / Yurtsever, Ekim / Paulson, Joel A. et al. | IEEE | 2023



    Formal and Practical Elements for the Certification of Machine Learning Systems

    Durand, Jean-Guillaume / Dubois, Arthur / Moss, Robert J. | IEEE | 2023


    System Simulation at Airbus Helicopters: from Early Validation to Formal Certification

    Brisset, N. / Duffy, A. | British Library Conference Proceedings | 2023