Automated Assurance Case Environment
Overview
Tool and framework for automating and streamlining the creation, validation, and assessment of assurance cases. It has 4 core components:
(1) the Evidence Manager which can process, aggregate, and curate evidence from many sources within the DevSecOps;
(2) the pattern library, which is a collection of assurance patterns that incorporates a knowledge base of re-usable and modular patterns;
(3) the AC creation & assessment component, based on foundations from formal methods, automatically create, and validate the assurance case and estimate the associated risks based on the evidence;
(4) the Eval Tool, which is a developed-from-scratch user interface designed to be used by various decision makers for navigating, browsing, and exploring the status and details of the assurance case and the associated evidence.
Contacts
-
Timothy E. Wang, RTX Technology Research Center
Contributors
-
Timothy E. Wang, Raytheon Technologies Research Center
-
Chanwook Oh, University of Southern California
-
Matthew Low, University of Southern California
-
Isaac Amundson, Collins Aerospace
-
Zamira Daw, University of Stuttgart
-
Alessandro Pinto, NASA Jet Propulsion Laboratory
-
Massimiliano Chiodo, Raytheon Technologies Research Center
-
Guoqiang Wang Raytheon Technologies Research Center
-
Saqib Hasan, Collins Aerospace
-
Ryan Melville, Raytheon Technologies Research Center
-
Pierluigi Nuzzo, University of Southern California
-
Wang, T. E., Oh, C., Low, M., Amundson, I., Daw, Z., Pinto, A., … Nuzzo, P. (2023). Computer-Aided Generation of Assurance Cases. In 10th International Workshop on Next Generation of System Assurance Approaches for Critical Systems (SASSUR’23).
-
Daw, Z., Wang, T. E., Oh, C., Low, M., Amundson, I., Wang, G., … Nuzzo, P. (2023). Computer-Aided Evaluation for Argument-Based Certification. In 2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC) (pp. 1–10). http://doi.org/10.1109/DASC58513.2023.10311322
-
Daw, Z., Wang, T. E., Oh, C., Low, M., Amundson, I., Pinto, A., … Nuzzo, P. (2023). AACE: Automated Assurance Case Environment for Aerospace Certification. In 2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC) (pp. 1–10). http://doi.org/10.1109/DASC58513.2023.10311298
-
Oh, C. (2022). ARACHNE: Automated Validation of Assurance Cases with Stochastic Contract Networks. In N. Naik, Z. Daw, T. E. Wang, & P. Nuzzo (Eds.), SAFECOMP 2022 (pp. 65–81).
-
Wang, T. E., Daw, Z., Nuzzo, P., & Pinto, A. (2022). Hierarchical Contract-Based Synthesis for Assurance Cases. In NASA Formal Methods Symposium (pp. 175–192). Springer.