AACE: Automated Assurance Case Environment for Aerospace Certification | Automated Rapid Certification Of Software (ARCOS)

AACE: Automated Assurance Case Environment for Aerospace Certification
AACE: Automated Assurance Case Environment for Aerospace Certification
Author	Zamira Daw Timothy Wang Chanwook Oh Matthew Low Isaac Amundson Alessandro Pinto Massimiliano Chiodo Guoqiang Wang Saqib Hasan Ryan Melville Pierluigi Nuzzo
Keywords	Costs Sensitivity analysis Knowledge based systems Aerospace electronics Probabilistic logic Software Cognition Assurance cases Certification synthesis validation
Year of Publication	2023
Conference Name	2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC)
DOI	10.1109/DASC58513.2023.10311298
Google Scholar \| BibTeX \| DOI

Feedback

If you experience a bug or would like to see an addition on the current page, feel free to leave us a message.