Consistency Checking of Safety Arguments in the Goal Structuring Notation Standard
Abstract
Justification of software conformance against specifications and standards is a strong requirment for safety-critical applications. Certification bodies require the construction of assurance cases. In an assutance case, the evidence supporting the claims is collected throughout the entire development cycle of a the safety application. The challenge is to build well-structured and coherent safety cases, given that the available technological instrumentation does not focus on automatic reasoning and verification of the safety case. In this paper, we propose a tool that facilitates the construction and automatic assessment of safety cases. The tool supports the Goal Structuring Notation (GSN) standard for creation of safety arguments. The GSN diagrams are translated in description logic, in order to formally check various properties of the safety case. A running scenario is illustrated in the domain of vehicular networks.
Full citation
"Consistency Checking of Safety Arguments in the Goal Structuring Notation Standard", Adrian Groza and Nicoleta Marc, IEEE 10th International Conference on Intelligent Computer Communication and Processing (ICCP,14), Cluj-Napoca, Romania, 4-6 September 2014 pp. 59-66, 2014.