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.
AACE: Automated Assurance Case Environment for Aerospace Certification
2023-10-01
4762565 byte
Conference paper
Electronic Resource
English
AACE-algorithm animation for computer science education
IEEE | 1992
|Software quality:models, techniques, assurance, certification
Automotive engineering | 1990
|ATC Certification and Quality Assurance
Online Contents | 2006
|