Automated Rapid Certification Of Software (ARCOS)

Paul, S. ., Siu, K. ., Meng, B. ., Durling, M. ., Prince, D. ., McMillan, C. ., & Shackleton, J. . (2024). A Semantic Tri Plestore- Based ARP 4 754A Compliance Summary Dashboard. In 2024 AIAA DATC/IEEE 43rd Digital Avionics Systems Conference (DASC) (pp. 1–10). http://doi.org/10.1109/DASC62030.2024.10749136

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