Logo des Repositoriums
 
Konferenzbeitrag

Risk Mitigation Strategies in High Automation

Vorschaubild

Volltext URI

Dokumententyp

Text/Conference Paper

Dateien

12.pdf (326.74 KB)

Zusatzinformation

Datum

2019

Autor:innen

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Quelle

Software Engineering and Software Management 2019
Session 3: Programmanalyse und Verifikation I und Funktionale Sicherheit

Verlag

Gesellschaft für Informatik e.V.

Zusammenfassung

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.

Beschreibung

Gleirscher, Mario (2019): Risk Mitigation Strategies in High Automation. Software Engineering and Software Management 2019. DOI: 10.18420/se2019-12. Bonn: Gesellschaft für Informatik e.V.. PISSN: 1617-5468. ISBN: 978-3-88579-686-2. pp. 55-56. Session 3: Programmanalyse und Verifikation I und Funktionale Sicherheit. Stuttgart, Germany. 18.-22. Februar 2019

Schlagwörter

high automation , autonomous systems , risk analysis , hazard mitigation , safe state , controller design , modelling , planning

Zitierform

DOI

10.18420/se2019-12

Tags

Sammlungen

P292 - Software Engineering and Software Management 2019