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

Chuchu Fan; Bolun Qi; Sayan Mitra

doi:10.1109/MDAT.2018.2799804

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

Chuchu Fan, Bolun Qi, Sayan Mitra

Research output: Contribution to journal › Article › peer-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 language	English (US)
Pages (from-to)	31-38
Number of pages	8
Journal	IEEE Design and Test
Volume	35
Issue number	3
DOIs	https://doi.org/10.1109/MDAT.2018.2799804
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

Online availability

10.1109/MDAT.2018.2799804

Library availability

Discover UIUC Full Text

Cite this

@article{ce02f4a191f04e7f995e76335371ff1a,

title = "Data-Driven Formal Reasoning and Their Applications in Safety Analysis of Vehicle Autonomy Features",

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{\"a}t Stuttgart.",

keywords = "ASILs, Autonomous driving system, Risk analysis, Safety verification",

author = "Chuchu Fan and Bolun Qi and Sayan Mitra",

note = "Funding Information: This work is supported by the National Science Foundation{\textquoteright}s research Grants NSF CAREER 1054247 and NSF CSR 1422798. Publisher Copyright: {\textcopyright} 2013 IEEE.",

year = "2018",

month = jun,

doi = "10.1109/MDAT.2018.2799804",

language = "English (US)",

volume = "35",

pages = "31--38",

journal = "IEEE Design and Test of Computers",

issn = "2168-2356",

publisher = "IEEE Computer Society",

number = "3",

}

TY - JOUR

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

AU - Fan, Chuchu

AU - Qi, Bolun

AU - Mitra, Sayan

PY - 2018/6

Y1 - 2018/6

N2 - 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.

AB - 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.

KW - ASILs

KW - Autonomous driving system

KW - Risk analysis

KW - Safety verification

UR - http://www.scopus.com/inward/record.url?scp=85041417888&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85041417888&partnerID=8YFLogxK

U2 - 10.1109/MDAT.2018.2799804

DO - 10.1109/MDAT.2018.2799804

M3 - Article

AN - SCOPUS:85041417888

VL - 35

SP - 31

EP - 38

JO - IEEE Design and Test of Computers

JF - IEEE Design and Test of Computers

SN - 2168-2356

IS - 3

ER -

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

Abstract

Keywords

ASJC Scopus subject areas

Online availability

Library availability

Related links

Fingerprint

Cite this