Utilizing S-TaLiRo as an automatic test generation framework for autonomous vehicles

Cumhur Erkan Tuncali; Theodore Pavlic; Georgios Fainekos

doi:10.1109/ITSC.2016.7795751

Utilizing S-TaLiRo as an automatic test generation framework for autonomous vehicles

Cumhur Erkan Tuncali, Theodore Pavlic, Georgios Fainekos

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

57 Scopus citations

Abstract

This paper proposes an approach to automatically generating test cases for testing motion controllers of autonomous vehicular systems. Test scenarios may consist of single or multiple vehicles under test at the same time. Tests are performed in simulation environments. The approach is based on using a robustness metric for evaluating simulation outcomes as a cost function. Initial states and inputs are updated by stochastic optimization methods between the tests for achieving smaller robustness values. The test generation framework has been implemented in the toolbox S-TaLiRo. The proposed framework's ability to generate interesting test cases is demonstrated by a case study.

Original language	English (US)
Title of host publication	2016 IEEE 19th International Conference on Intelligent Transportation Systems, ITSC 2016
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	1470-1475
Number of pages	6
ISBN (Electronic)	9781509018895
DOIs	https://doi.org/10.1109/ITSC.2016.7795751
State	Published - Dec 22 2016
Event	19th IEEE International Conference on Intelligent Transportation Systems, ITSC 2016 - Rio de Janeiro, Brazil Duration: Nov 1 2016 → Nov 4 2016

Other

Other	19th IEEE International Conference on Intelligent Transportation Systems, ITSC 2016
Country/Territory	Brazil
City	Rio de Janeiro
Period	11/1/16 → 11/4/16

ASJC Scopus subject areas

Automotive Engineering
Mechanical Engineering
Computer Science Applications

Access to Document

10.1109/ITSC.2016.7795751

Cite this

Utilizing S-TaLiRo as an automatic test generation framework for autonomous vehicles. / Tuncali, Cumhur Erkan; Pavlic, Theodore; Fainekos, Georgios.
2016 IEEE 19th International Conference on Intelligent Transportation Systems, ITSC 2016. Institute of Electrical and Electronics Engineers Inc., 2016. p. 1470-1475 7795751.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Tuncali, CE, Pavlic, T & Fainekos, G 2016, Utilizing S-TaLiRo as an automatic test generation framework for autonomous vehicles. in 2016 IEEE 19th International Conference on Intelligent Transportation Systems, ITSC 2016., 7795751, Institute of Electrical and Electronics Engineers Inc., pp. 1470-1475, 19th IEEE International Conference on Intelligent Transportation Systems, ITSC 2016, Rio de Janeiro, Brazil, 11/1/16. https://doi.org/10.1109/ITSC.2016.7795751

@inproceedings{4387fee9b2a3454fa60170a8235f63ed,

title = "Utilizing S-TaLiRo as an automatic test generation framework for autonomous vehicles",

abstract = "This paper proposes an approach to automatically generating test cases for testing motion controllers of autonomous vehicular systems. Test scenarios may consist of single or multiple vehicles under test at the same time. Tests are performed in simulation environments. The approach is based on using a robustness metric for evaluating simulation outcomes as a cost function. Initial states and inputs are updated by stochastic optimization methods between the tests for achieving smaller robustness values. The test generation framework has been implemented in the toolbox S-TaLiRo. The proposed framework's ability to generate interesting test cases is demonstrated by a case study.",

author = "Tuncali, {Cumhur Erkan} and Theodore Pavlic and Georgios Fainekos",

year = "2016",

month = dec,

day = "22",

doi = "10.1109/ITSC.2016.7795751",

language = "English (US)",

pages = "1470--1475",

booktitle = "2016 IEEE 19th International Conference on Intelligent Transportation Systems, ITSC 2016",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

address = "United States",

note = "19th IEEE International Conference on Intelligent Transportation Systems, ITSC 2016 ; Conference date: 01-11-2016 Through 04-11-2016",

}

TY - GEN

T1 - Utilizing S-TaLiRo as an automatic test generation framework for autonomous vehicles

AU - Tuncali, Cumhur Erkan

AU - Pavlic, Theodore

AU - Fainekos, Georgios

PY - 2016/12/22

Y1 - 2016/12/22

N2 - This paper proposes an approach to automatically generating test cases for testing motion controllers of autonomous vehicular systems. Test scenarios may consist of single or multiple vehicles under test at the same time. Tests are performed in simulation environments. The approach is based on using a robustness metric for evaluating simulation outcomes as a cost function. Initial states and inputs are updated by stochastic optimization methods between the tests for achieving smaller robustness values. The test generation framework has been implemented in the toolbox S-TaLiRo. The proposed framework's ability to generate interesting test cases is demonstrated by a case study.

AB - This paper proposes an approach to automatically generating test cases for testing motion controllers of autonomous vehicular systems. Test scenarios may consist of single or multiple vehicles under test at the same time. Tests are performed in simulation environments. The approach is based on using a robustness metric for evaluating simulation outcomes as a cost function. Initial states and inputs are updated by stochastic optimization methods between the tests for achieving smaller robustness values. The test generation framework has been implemented in the toolbox S-TaLiRo. The proposed framework's ability to generate interesting test cases is demonstrated by a case study.

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

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

U2 - 10.1109/ITSC.2016.7795751

DO - 10.1109/ITSC.2016.7795751

M3 - Conference contribution

AN - SCOPUS:85010058669

SP - 1470

EP - 1475

BT - 2016 IEEE 19th International Conference on Intelligent Transportation Systems, ITSC 2016

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 19th IEEE International Conference on Intelligent Transportation Systems, ITSC 2016

Y2 - 1 November 2016 through 4 November 2016

ER -

Utilizing S-TaLiRo as an automatic test generation framework for autonomous vehicles

Abstract

Other

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this