Abstract
Analyzing the safety of automotive systems at the application level is-especially challenging as often very complex or even incomplete models are available. The authors combine formal reasoning with simulation data to effectively-validate safety or estimate worst case situations of automotive control systems.-Hans-Joachim Wunderlich, Universität Stuttgart.
| Original language | English (US) |
|---|---|
| Pages (from-to) | 31-38 |
| Number of pages | 8 |
| Journal | IEEE Design and Test |
| Volume | 35 |
| Issue number | 3 |
| DOIs | |
| State | Published - Jun 2018 |
Keywords
- ASILs
- Autonomous driving system
- Risk analysis
- Safety verification
ASJC Scopus subject areas
- Software
- Hardware and Architecture
- Electrical and Electronic Engineering
Fingerprint
Dive into the research topics of 'Data-Driven Formal Reasoning and Their Applications in Safety Analysis of Vehicle Autonomy Features'. Together they form a unique fingerprint.Cite this
- APA
- Standard
- Harvard
- Vancouver
- Author
- BIBTEX
- RIS