GI LogoGI Logo
  • Anmelden
Digitale Bibliothek
    • Gesamter Bestand

      • Bereiche & Sammlungen
      • Titel
      • Autor
      • Erscheinungsdatum
      • Schlagwort
    • Diese Sammlung

      • Titel
      • Autor
      • Erscheinungsdatum
      • Schlagwort
Digital Bibliothek der Gesellschaft für Informatik e.V.
GI-DL
    • English
    • Deutsch
  • Deutsch 
    • English
    • Deutsch
Dokumentanzeige 
  •   Startseite
  • Lecture Notes in Informatics
  • Proceedings
  • Software Engineering and Software Management
  • P292 - Software Engineering and Software Management 2019
  • Dokumentanzeige
JavaScript is disabled for your browser. Some features of this site may not work without it.
  •   Startseite
  • Lecture Notes in Informatics
  • Proceedings
  • Software Engineering and Software Management
  • P292 - Software Engineering and Software Management 2019
  • Dokumentanzeige

Risk Mitigation Strategies in High Automation

Autor(en):
Gleirscher, Mario [DBLP]
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.
  • Vollständige Referenz
  • BibTeX
Gleirscher, M., (2019). Risk Mitigation Strategies in High Automation. In: Becker, S., Bogicevic, I., Herzwurm, G. & Wagner, S. (Hrsg.), Software Engineering and Software Management 2019. Bonn: Gesellschaft für Informatik e.V.. (S. 55-56). DOI: 10.18420/se2019-12
@inproceedings{mci/Gleirscher2019,
author = {Gleirscher, Mario},
title = {Risk Mitigation Strategies in High Automation},
booktitle = {Software Engineering and Software Management 2019},
year = {2019},
editor = {Becker, Steffen AND Bogicevic, Ivan AND Herzwurm, Georg AND Wagner, Stefan} ,
pages = { 55-56 } ,
doi = { 10.18420/se2019-12 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
DateienGroesseFormatAnzeige
12.pdf326.7Kb PDF Öffnen

Sollte hier kein Volltext (PDF) verlinkt sein, dann kann es sein, dass dieser aus verschiedenen Gruenden (z.B. Lizenzen oder Copyright) nur in einer anderen Digital Library verfuegbar ist. Versuchen Sie in diesem Fall einen Zugriff ueber die verlinkte DOI: 10.18420/se2019-12

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken

Mehr Information

DOI: 10.18420/se2019-12
ISBN: 978-3-88579-686-2
ISSN: 1617-5468
Datum: 2019
Sprache: en (en)
Typ: Text/Conference Paper

Keywords

  • high automation
  • autonomous systems
  • risk analysis
  • hazard mitigation
  • safe state
  • controller design
  • modelling
  • planning
Sammlungen
  • P292 - Software Engineering and Software Management 2019 [59]

Zur Langanzeige


Über uns | FAQ | Hilfe | Impressum | Datenschutz

Gesellschaft für Informatik e.V. (GI), Kontakt: Geschäftsstelle der GI
Diese Digital Library basiert auf DSpace.

 

 


Über uns | FAQ | Hilfe | Impressum | Datenschutz

Gesellschaft für Informatik e.V. (GI), Kontakt: Geschäftsstelle der GI
Diese Digital Library basiert auf DSpace.