Logo des Repositoriums
 

Risk Mitigation Strategies in High Automation

Kurzanzeige
dc.contributor.authorGleirscher, Mario
dc.contributor.editorBecker, Steffen
dc.contributor.editorBogicevic, Ivan
dc.contributor.editorHerzwurm, Georg
dc.contributor.editorWagner, Stefan
dc.date.accessioned2019-03-14T11:49:13Z
dc.date.available2019-03-14T11:49:13Z
dc.date.issued2019
dc.description.abstractThe work underlying this presentation is titled “From Hazard Analysis to Hazard Mitigation Planning: The Automated Driving Case,” accepted as a peer-reviewed full technical paper at the “NASA Formal Methods Symposium (NFM 2017),” published in April 2017.en
dc.identifier.doi10.18420/se2019-12
dc.identifier.isbn978-3-88579-686-2
dc.identifier.pissn1617-5468
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/20870
dc.language.isoen
dc.publisherGesellschaft für Informatik e.V.
dc.relation.ispartofSoftware Engineering and Software Management 2019
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-292
dc.subjecthigh automation
dc.subjectautonomous systems
dc.subjectrisk analysis
dc.subjecthazard mitigation
dc.subjectsafe state
dc.subjectcontroller design
dc.subjectmodelling
dc.subjectplanning
dc.titleRisk Mitigation Strategies in High Automationen
dc.typeText/Conference Paper
gi.citation.endPage56
gi.citation.publisherPlaceBonn
gi.citation.startPage55
gi.conference.date18.-22. Februar 2019
gi.conference.locationStuttgart, Germany
gi.conference.sessiontitleSession 3: Programmanalyse und Verifikation I und Funktionale Sicherheit

Dateien

Originalbündel
1 - 1 von 1
Vorschaubild
Name:
12.pdf
Größe:
326.74 KB
Format:
Adobe Portable Document Format
Herunterladen

Sammlungen

P292 - Software Engineering and Software Management 2019