Sound conformance testing for cyber-physical systems: Theory and implementationShow others and affiliations
2017 (English)In: Science of Computer Programming, ISSN 0167-6423, E-ISSN 1872-7964, Vol. 162, p. 35-54Article in journal (Refereed) Published
Abstract [en]
Conformance testing is a formal and structured approach to verifying system correctness. We propose a conformance testing algorithm for cyber-physical systems, based on the notion of hybrid conformance by Abbas and Fainekos. We show how the dynamics of system specification and the sampling rate play an essential role in making sound verdicts. We specify and prove error bounds that lead to sound test-suites for a given specification and a given sampling rate. We use reachability analysis to find such bounds and implement the proposed approach using the CORA toolbox in Matlab. We apply the implemented approach on a case study from the automotive domain. © 2017 The Author(s).
Place, publisher, year, edition, pages
Amsterdam: Elsevier, 2017. Vol. 162, p. 35-54
Keywords [en]
Cyber-physical systems, Model-based testing, Conformance testing, Soundness, Reachability analysis
National Category
Embedded Systems
Identifiers
URN: urn:nbn:se:hh:diva-36508DOI: 10.1016/j.scico.2017.07.002ISI: 000435053400003Scopus ID: 2-s2.0-85027519698OAI: oai:DiVA.org:hh-36508DiVA, id: diva2:1195575
Projects
AUTO-CAAS
Funder
Swedish Research Council, 621-2014-5057Knowledge Foundation, 20140312
Note
The work of Hugo Araujo, Gustavo Carvalho and Augusto Sampaio was partially supported by the CIn-UFPE/Motorola cooperation project, as well as CNPq grants 303022/2012-4 and 132332/2015-9.
2018-04-052018-04-052020-02-03Bibliographically approved