Publications

AACE: Automated Assurance Case Environment for Aerospace Certification

Authors: Zamira Daw, Timothy Wang, Chanwook Oh, Matthew Low, Isaac Amundson, Alessandro Pinto, Massimiliano Chiodo, Guoqiang Wang, Saqib Hasan, Ryan Melville, Pierluigi Nuzzo

2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC)

ARACHNE: Automated Validation of Assurance Cases with Stochastic Contract Networks

Authors: Chanwook Oh, Nikhil Naik, Zamira Daw, Timothy Wang, Pierluigi Nuzzo

SAFECOMP 2022

Hierarchical Contract-Based Synthesis for Assurance Cases

Authors: Timothy Wang, Zamira Daw, Pierluigi Nuzzo, Alessandro Pinto

NASA Formal Methods Symposium

Modeling a DO-178C Plan and Analyzing in a Semantic Model

Authors: Daniel Russell, Abha Moitra, Kit Siu, Craig McMillan

2022 Annual Reliability and Maintainability Symposium (RAMS)

For years, the certification of software has been achieved by following the approach laid out in various DO-178 revisions. The general approach starts with defining a plan that describes the process to follow and the artifacts to produce in the course of…

A Semantic Reference Model for Capturing System Development and Evaluation

Authors: Abha Moitra, Paul Cuddihy, Kit Siu, Baoluo Meng, John Interrante, David Archer, Eric Mertens, Kevin Quick, Valentin Robert, Daniel Russell

2022 IEEE 16th International Conference on Semantic Computing (ICSC)

A Semantic Triplestore- Based ARP4754A Compliance Summary Dashboard

Authors: Saswata Paul, Kit Siu, Baoluo Meng, Michael Durling, Daniel Prince, Craig McMillan, John Shackleton

2024 AIAA DATC/IEEE 43rd Digital Avionics Systems Conference (DASC)

Feedback

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