A certification process evaluates whether the risk of a system is acceptable for its intent. Certification processes are complex and usually human-driven, requiring expert evaluators to determine software conformance to certification guidelines based on a large number of development artifacts. These processes may result in superficial, biased, and long evaluations. In this paper, we propose a computer-aided assurance framework, called Automated Assurance Case Environment (AACE), enabling synthesis and validation of assurance cases (ACs) based on a system's specification, assurance evidence, and domain expert knowledge captured in AC patterns. A commercial aerospace case study shows that the generated ACs are meaningful, and numerical results show the efficiency of AACE.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    AACE: Automated Assurance Case Environment for Aerospace Certification


    Beteiligte:
    Daw, Zamira (Autor:in) / Oh, Chanwook (Autor:in) / Low, Matthew (Autor:in) / Wang, Timothy (Autor:in) / Amundson, Isaac (Autor:in) / Pinto, Alessandro (Autor:in) / Chiodo, Massimiliano (Autor:in) / Wang, Guoqiang (Autor:in) / Hasan, Saqib (Autor:in) / Melville, Ryan (Autor:in)


    Erscheinungsdatum :

    01.10.2023


    Format / Umfang :

    4762565 byte





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch






    Software quality:models, techniques, assurance, certification

    Maiocchi,M. / Univ.Milano,Etnoteam,IT | Kraftfahrwesen | 1990


    ATC Certification and Quality Assurance

    Drury, Edward | Online Contents | 2006