Experience report: Application of falsification methods on the UxAS system

Cumhur Erkan Tuncali; Bardh Hoxha; Guohui Ding; Georgios Fainekos; Sriram Sankaranarayanan

doi:10.1007/978-3-319-77935-5_30

Experience report: Application of falsification methods on the UxAS system

Cumhur Erkan Tuncali, Bardh Hoxha, Guohui Ding, Georgios Fainekos, Sriram Sankaranarayanan

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

10 Scopus citations

Abstract

In this report, we present our experiences in applying falsification methods over the Unmanned Systems Autonomy Services (UxAS) system. UxAS is a collection of software modules that enables complex mission planning for multiple vehicles. To test the system, we utilized the tool S-TaLiRo to generate mission scenarios for both UxAS and the underlying vehicle simulators, with the goal of finding behaviors which do not meet system specifications.

Original language	English (US)
Title of host publication	NASA Formal Methods 10th International Symposium, 10th International Symposium, NFM 2018 Newport News, Proceedings
Editors	Aaron Dutle, Cesar Munoz, Anthony Narkawicz
Publisher	Springer Verlag
Pages	452-459
Number of pages	8
ISBN (Print)	9783319779348
DOIs	https://doi.org/10.1007/978-3-319-77935-5_30
State	Published - 2018
Event	10th International Symposium on NASA Formal Methods, NFM 2018 - Newport News, United States Duration: Apr 17 2018 → Apr 19 2018

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	10811 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Other

Other	10th International Symposium on NASA Formal Methods, NFM 2018
Country/Territory	United States
City	Newport News
Period	4/17/18 → 4/19/18

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/978-3-319-77935-5_30

Cite this

Tuncali, C. E., Hoxha, B., Ding, G., Fainekos, G., & Sankaranarayanan, S. (2018). Experience report: Application of falsification methods on the UxAS system. In A. Dutle, C. Munoz, & A. Narkawicz (Eds.), NASA Formal Methods 10th International Symposium, 10th International Symposium, NFM 2018 Newport News, Proceedings (pp. 452-459). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10811 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-319-77935-5_30

Experience report: Application of falsification methods on the UxAS system. / Tuncali, Cumhur Erkan; Hoxha, Bardh; Ding, Guohui et al.
NASA Formal Methods 10th International Symposium, 10th International Symposium, NFM 2018 Newport News, Proceedings. ed. / Aaron Dutle; Cesar Munoz; Anthony Narkawicz. Springer Verlag, 2018. p. 452-459 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10811 LNCS).

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

Tuncali, CE, Hoxha, B, Ding, G, Fainekos, G & Sankaranarayanan, S 2018, Experience report: Application of falsification methods on the UxAS system. in A Dutle, C Munoz & A Narkawicz (eds), NASA Formal Methods 10th International Symposium, 10th International Symposium, NFM 2018 Newport News, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 10811 LNCS, Springer Verlag, pp. 452-459, 10th International Symposium on NASA Formal Methods, NFM 2018, Newport News, United States, 4/17/18. https://doi.org/10.1007/978-3-319-77935-5_30

Tuncali CE, Hoxha B, Ding G, Fainekos G, Sankaranarayanan S. Experience report: Application of falsification methods on the UxAS system. In Dutle A, Munoz C, Narkawicz A, editors, NASA Formal Methods 10th International Symposium, 10th International Symposium, NFM 2018 Newport News, Proceedings. Springer Verlag. 2018. p. 452-459. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-319-77935-5_30

Tuncali, Cumhur Erkan ; Hoxha, Bardh ; Ding, Guohui et al. / Experience report : Application of falsification methods on the UxAS system. NASA Formal Methods 10th International Symposium, 10th International Symposium, NFM 2018 Newport News, Proceedings. editor / Aaron Dutle ; Cesar Munoz ; Anthony Narkawicz. Springer Verlag, 2018. pp. 452-459 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{8d5877300337464290167110eefa6f45,

title = "Experience report: Application of falsification methods on the UxAS system",

abstract = "In this report, we present our experiences in applying falsification methods over the Unmanned Systems Autonomy Services (UxAS) system. UxAS is a collection of software modules that enables complex mission planning for multiple vehicles. To test the system, we utilized the tool S-TaLiRo to generate mission scenarios for both UxAS and the underlying vehicle simulators, with the goal of finding behaviors which do not meet system specifications.",

author = "Tuncali, {Cumhur Erkan} and Bardh Hoxha and Guohui Ding and Georgios Fainekos and Sriram Sankaranarayanan",

note = "Funding Information: This research was supported by the Summer of Innovation 2017 program organized by AFRL and Wright Brothers Institute in Dayton, OH. Publisher Copyright: {\textcopyright} 2018, Springer International Publishing AG, part of Springer Nature.; 10th International Symposium on NASA Formal Methods, NFM 2018 ; Conference date: 17-04-2018 Through 19-04-2018",

year = "2018",

doi = "10.1007/978-3-319-77935-5_30",

language = "English (US)",

isbn = "9783319779348",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "452--459",

editor = "Aaron Dutle and Cesar Munoz and Anthony Narkawicz",

booktitle = "NASA Formal Methods 10th International Symposium, 10th International Symposium, NFM 2018 Newport News, Proceedings",

}

TY - GEN

T1 - Experience report

T2 - 10th International Symposium on NASA Formal Methods, NFM 2018

AU - Tuncali, Cumhur Erkan

AU - Hoxha, Bardh

AU - Ding, Guohui

AU - Fainekos, Georgios

AU - Sankaranarayanan, Sriram

N1 - Funding Information: This research was supported by the Summer of Innovation 2017 program organized by AFRL and Wright Brothers Institute in Dayton, OH. Publisher Copyright: © 2018, Springer International Publishing AG, part of Springer Nature.

PY - 2018

Y1 - 2018

N2 - In this report, we present our experiences in applying falsification methods over the Unmanned Systems Autonomy Services (UxAS) system. UxAS is a collection of software modules that enables complex mission planning for multiple vehicles. To test the system, we utilized the tool S-TaLiRo to generate mission scenarios for both UxAS and the underlying vehicle simulators, with the goal of finding behaviors which do not meet system specifications.

AB - In this report, we present our experiences in applying falsification methods over the Unmanned Systems Autonomy Services (UxAS) system. UxAS is a collection of software modules that enables complex mission planning for multiple vehicles. To test the system, we utilized the tool S-TaLiRo to generate mission scenarios for both UxAS and the underlying vehicle simulators, with the goal of finding behaviors which do not meet system specifications.

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

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

U2 - 10.1007/978-3-319-77935-5_30

DO - 10.1007/978-3-319-77935-5_30

M3 - Conference contribution

AN - SCOPUS:85045301105

SN - 9783319779348

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 452

EP - 459

BT - NASA Formal Methods 10th International Symposium, 10th International Symposium, NFM 2018 Newport News, Proceedings

A2 - Dutle, Aaron

A2 - Munoz, Cesar

A2 - Narkawicz, Anthony

PB - Springer Verlag

Y2 - 17 April 2018 through 19 April 2018

ER -

Experience report: Application of falsification methods on the UxAS system

Abstract

Publication series

Other

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this