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 proceedingConference contribution

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 languageEnglish (US)
Title of host publicationNASA Formal Methods 10th International Symposium, 10th International Symposium, NFM 2018 Newport News, Proceedings
PublisherSpringer Verlag
Pages452-459
Number of pages8
ISBN (Print)9783319779348
DOIs
StatePublished - Jan 1 2018
Event10th International Symposium on NASA Formal Methods, NFM 2018 - Newport News, United States
Duration: Apr 17 2018Apr 19 2018

Publication series

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

Other

Other10th International Symposium on NASA Formal Methods, NFM 2018
CountryUnited States
CityNewport News
Period4/17/184/19/18

Fingerprint

Simulators
Specifications
Planning
Simulator
Specification
Module
Scenarios
Software
Experience
Autonomy

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

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 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; Fainekos, Georgios; Sankaranarayanan, Sriram.

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); Vol. 10811 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Tuncali, CE, Hoxha, B, Ding, G, Fainekos, G & Sankaranarayanan, S 2018, Experience report: Application of falsification methods on the UxAS system. in 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 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)). https://doi.org/10.1007/978-3-319-77935-5_30
Tuncali, Cumhur Erkan ; Hoxha, Bardh ; Ding, Guohui ; Fainekos, Georgios ; Sankaranarayanan, Sriram. / Experience report : Application of falsification methods on the UxAS system. NASA Formal Methods 10th International Symposium, 10th International Symposium, NFM 2018 Newport News, Proceedings. 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",
year = "2018",
month = "1",
day = "1",
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",
booktitle = "NASA Formal Methods 10th International Symposium, 10th International Symposium, NFM 2018 Newport News, Proceedings",

}

TY - GEN

T1 - Experience report

T2 - Application of falsification methods on the UxAS system

AU - Tuncali, Cumhur Erkan

AU - Hoxha, Bardh

AU - Ding, Guohui

AU - Fainekos, Georgios

AU - Sankaranarayanan, Sriram

PY - 2018/1/1

Y1 - 2018/1/1

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

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

PB - Springer Verlag

ER -