https://fordatis.fraunhofer.de/handle/fordatis/126 2026-05-07T21:04:09Z https://fordatis.fraunhofer.de/handle/fordatis/370 Titel: Assured Resilience in Autonomous Systems – Supplementary Material Datenautorinnen und Datenautoren: Weiß, Gereon; Gansloser, Jens; Schwaiger, Adrian; Henne, Maximilian Zusammenfassung: Results for autonomous driving scenarios simulated with CARLA under different environment conditions. 2023-12-01T00:00:00Z https://fordatis.fraunhofer.de/handle/fordatis/350 Titel: Automatic Deduction of the Impact of Context Variability on System Safety Goals - Supplementary Material for EDCC 2024 Paper Datenautorinnen und Datenautoren: Kreutz, Andreas Zusammenfassung: 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. 2023-10-01T00:00:00Z