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.
620 Ingenieurwissenschaften und zugeordnete Tätigkeiten
safety artificial intelligence AI safe AI mobility driverless train automated rail operation automated train operation
Bundesministerium für Wirtschaft und Klimaschutz BMWK (Deutschland)