OntoGSN: An Ontology-Based Framework for Semantic Management and Extension of Assurance Cases

Tomas Bueno Momcilovic, Barbara Gallina, Ingmar Kessler +2

Assurance cases (ACs) are a common artifact for building and maintaining confidence in system properties such as safety or robustness. Constructing an AC can be challenging, althou…