Automated Rapid Certification Of Software (ARCOS)

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

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