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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    AACE: Automated Assurance Case Environment for Aerospace Certification




    Publication date :

    2023-10-01


    Size :

    4762565 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English





    Software quality:models, techniques, assurance, certification

    Maiocchi,M. / Univ.Milano,Etnoteam,IT | Automotive engineering | 1990


    ATC Certification and Quality Assurance

    Drury, Edward | Online Contents | 2006


    Function Extraction: Automated Behavior Computation for Aerospace Software Verification and Certification AIAA Paper

    Bartholomew, R. / Burns, L. / Daly, T. et al. | British Library Conference Proceedings | 2007