Publications

RACK: A Semantic Model and Triplestore for Curation of Assurance Case Evidence
Authors: Abha Moitra, Paul Cuddihy, Kit Siu, David Archer, Eric Mertens, Daniel Russell, Kevin Quick, Valentin Robert, Baoluo Meng, Jeremie Guiochet, Stefano Tonetta, Erwin Schoitsch, Matthieu Roy, Friedemann Bitsch
"Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops"
"Certification of large systems requires reasoning over complex, diverse evidential datasets to determine whether its software is fit for purpose. This requires a detailed understanding of the meaning of that data, the context in which it is valid, and…
Aviation Certification Powered by the Semantic Web Stack
Authors: Paul Cuddihy, Daniel Russell, Eric Mertens, Kit Siu, David Archer, Jenny Williams
International Sematic Web Conference ISWC 2023
"Every deployed DoD system undergoes certification (or qualification, for military) to assess the software system s fitness for use. Certification requires that human subject matter expert look over evidence and evaluate its conformance to standards such…
Semantic Analysis of Assurance Cases using s(CASP)
Authors: A. Murugesan, I. Wong, R. Stroud, J. Arias, E. Salazar, G. Gupta, R. Bloomfield, S. Varadarajan, J. Rushby
Goal Directed Execution of Answer Set Programs (GDE) Workshop in International Conference on Logic Programming (ICLP)
Towards the Co-evolution of Models, Code, and Assurance Cases: The CAID Framework
Authors: Patrik Meijer, Nag Mahadevan, Mark Wutka, Gabor Karsai
ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems (MODELS Companion ’24)
Model-based software development is rarely performed with models only, and not everything is generated from the model(s). Handcrafted source code, documentation, simulation, data, tests, and assurance cases are the obvious (but not the only) examples.…
Assurance Provenance: The Next Challenge in Software Documentation
Authors: Gabor Karsai, Daniel Balasubramanian
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering
High-assurance software is often used in safety- and mission-critical systems where loss of functionality can lead to loss of life or property. Naturally, such systems need to be certified before use and several technologies have been developed to support…
Assurance Case Synthesis from a Curated Semantic Triplestore
Authors: Saswata Paul
Computer Safety, Reliability, and Security
We present a new pipeline for the automatic synthesis of assurance cases in the Goal Structuring Notation (GSN) from a curated semantic triplestore called RACK (Rapid Assurance Curation Kit). RACK allows users to create arbitrary project-specific…
Computer-Aided Generation of Assurance Cases
Authors: Timothy Wang, Chanwook Oh, Matthew Low, Isaac Amundson, Zamira Daw, Alessandro Pinto, Massimiliano Chiodo, Guoqiang Wang, Saqib Hasan, Ryan Melville, Pierluigi Nuzzo
10th International Workshop on Next Generation of System Assurance Approaches for Critical Systems (SASSUR'23)
Feedback
Feedback
If you experience a bug or would like to see an addition on the current page, feel free to leave us a message.
Image CAPTCHA
Enter the characters shown in the image.
This question is for testing whether or not you are a human visitor and to prevent automated spam submissions.