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
"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…
Authors: Paul Cuddihy, Daniel Russell, Eric Mertens, Kit Siu, David Archer, Jenny Williams
"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…
Authors: Patrik Meijer, Nag Mahadevan, Mark Wutka, Gabor Karsai
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.…
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…
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…