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