Automatic Deduction of the Impact of Context Variability on System Safety Goals - Supplementary Material for EDCC 2024 Paper

Abstract

Supplementary material for the evaluation section of a publication at EDCC 2024. The data consists of four images: "1-taxonomy.png" shows a taxonomy of variability in the railway domain. "2-contextual-SCT.png" shows a contextual safety concept tree to argue the fulfillment of the safety goal "No train derailments". The sub-tree that is used in the earlier parts of the paper is marked in grey. "3-context-assumption-formulas.png" shows the refinements of the contextual assumptions used in the contextual safety concept tree, based on elements from the taxonomy of variability. "4-odd_definition.png" shows the mathematical definition of three Operational Design Domains for an Automated Train Operation System, again referencing the taxonomy of variability.