Data-Driven Formal Reasoning and Their Applications in Safety Analysis of Vehicle Autonomy Features

Chuchu Fan, Bolun Qi, Sayan Mitra

Research output: Contribution to journalArticlepeer-review

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 languageEnglish (US)
Pages (from-to)31-38
Number of pages8
JournalIEEE Design and Test
Volume35
Issue number3
DOIs
StatePublished - 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