Langanzeige der Metadaten
DC ElementWertSprache
dc.contributor.authorKreutz, Andreas-
dc.date.accessioned2023-10-19T13:13:32Z-
dc.date.available2023-10-19T13:13:32Z-
dc.date.issued2023-10-
dc.identifier.urihttps://fordatis.fraunhofer.de/handle/fordatis/350-
dc.identifier.urihttp://dx.doi.org/10.24406/fordatis/292-
dc.description.abstractSupplementary 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.en
dc.description.sponsorshipThis work has been funded by the European Union and the German Federal Ministry for Economic Affairs and Climate Action as part of the safe.trAIn project.en
dc.language.isoenen
dc.rights.urihttps://creativecommons.org/licenses/by-nc/4.0/en
dc.subjectsafetyen
dc.subjectartificial intelligenceen
dc.subjectAIen
dc.subjectsafe AIen
dc.subjectmobilityen
dc.subjectdriverless trainen
dc.subjectautomated rail operationen
dc.subjectautomated train operationen
dc.subject.ddcDDC::600 Technik, Medizin, angewandte Wissenschaften::620 Ingenieurwissenschaften::620 Ingenieurwissenschaften und zugeordnete Tätigkeitenen
dc.titleAutomatic Deduction of the Impact of Context Variability on System Safety Goals - Supplementary Material for EDCC 2024 Paperen
dc.typeImageen
dc.contributor.funderBundesministerium für Wirtschaft und Klimaschutz BMWK (Deutschland)en
fordatis.groupIUK-Technologieen
fordatis.instituteIKS Fraunhofer-Institut für Kognitive Systemeen
fordatis.project.fhgid10-00382-2040-00002en
fordatis.rawdatafalseen
fordatis.sponsorship.projectnameSichere KI am Beispiel fahrerloser Regionalzugen
fordatis.sponsorship.projectacronymsafe.trAInen
Enthalten in den Sammlungen:Fraunhofer-Institut für Kognitive Systeme IKS

Dateien zu dieser Ressource:
Datei Beschreibung GrößeFormat 
1-taxonomy.png103,54 kBimage/pngÖffnen/Download
2-contextual-SCT.png444,51 kBimage/pngÖffnen/Download
3-context_assumption_formulas.png91,89 kBimage/pngÖffnen/Download
4-odd_definition.png132,37 kBimage/pngÖffnen/Download
Zur Kurzanzeige


Diese Ressource wurde unter folgender Copyright-Bestimmung veröffentlicht: Lizenz von Creative Commons Creative Commons