https://fordatis.fraunhofer.de/handle/fordatis/126 2026-05-07T21:04:09Z 2026-05-07T21:04:09Z Weiß, Gereon Gansloser, Jens Schwaiger, Adrian Henne, Maximilian https://fordatis.fraunhofer.de/handle/fordatis/370 2023-12-08T03:49:53Z 2023-12-01T00:00:00Z

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 Kreutz, Andreas https://fordatis.fraunhofer.de/handle/fordatis/350 2023-11-13T15:33:34Z 2023-10-01T00:00:00Z

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