Assurance Case Synthesis from a Curated Semantic Triplestore

Assurance Case Synthesis from a Curated Semantic Triplestore

연구 분야: Verification

학회: International Conference on 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 ontologies to organize and curate certification evidence collected from a heterogeneous set of sources. The arbitrariness of the ontologies makes it challenging to reason about assurance in an automated manner. Our pipeline provides users with the ability to align the arbitrary ontologies to the terminologies GSN standard by creating custom GSN patterns. These patterns are encoded using a special GSN ontology that has the necessary elements to allow such mapping and to also create formal instances of GSN fragments. The pipeline uses these project-specific patterns to generate valid queries to fetch data from RACK’s triplestore and instantiate complex GSN trees using the data, where possible, all automatically. Our pipeline is integrated into an open-source tool with an interactive GUI for generating the GSN fragments and analyzing them in a modular fashion.