Risk Mitigation Strategies in High Automation

dc.contributor.author	Gleirscher, Mario
dc.contributor.editor	Becker, Steffen
dc.contributor.editor	Bogicevic, Ivan
dc.contributor.editor	Herzwurm, Georg
dc.contributor.editor	Wagner, Stefan
dc.date.accessioned	2019-03-14T11:49:13Z
dc.date.available	2019-03-14T11:49:13Z
dc.date.issued	2019
dc.identifier.isbn	978-3-88579-686-2
dc.identifier.issn	1617-5468
dc.identifier.uri	http://dl.gi.de/handle/20.500.12116/20870
dc.description.abstract	The 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.language.iso	en
dc.publisher	Gesellschaft für Informatik e.V.
dc.relation.ispartof	Software Engineering and Software Management 2019
dc.relation.ispartofseries	Lecture Notes in Informatics (LNI) - Proceedings, Volume P-292
dc.subject	high automation
dc.subject	autonomous systems
dc.subject	risk analysis
dc.subject	hazard mitigation
dc.subject	safe state
dc.subject	controller design
dc.subject	modelling
dc.subject	planning
dc.title	Risk Mitigation Strategies in High Automation	en
dc.type	Text/Conference Paper
dc.pubPlace	Bonn
mci.reference.pages	55-56
mci.conference.sessiontitle	Session 3: Programmanalyse und Verifikation I und Funktionale Sicherheit
mci.conference.location	Stuttgart, Germany
mci.conference.date	18.-22. Februar 2019
dc.identifier.doi	10.18420/se2019-12