A Process for Sound Conformance Testing of Cyber-Physical SystemsShow others and affiliations
2017 (English)In: 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) / [ed] Randall Bilof, Los Alamitos, CA: IEEE Computer Society, 2017, p. 46-50, article id 7899032Conference paper, Published paper (Refereed)
Abstract [en]
We present a process for sound conformance testing of cyber-physical systems, which involves functional but also non-functional aspects. The process starts with a hybrid model of cyber-physical systems in which the correct behavior of the system (at its interface level) is specified. Such a model captures both discrete behavior and evolution of continuous dynamics of the system in time. Since conformance testing inherently involves comparing continuous dynamics, the key parameters of the process are (1) the conformance bounds defining when two signals are sufficiently close to each other, and (2) the permitted error margin in the conformance analysis introduced by sampling of continuous signals. The final parameter of this process is (3) finding (and adjusting) the sampling rate of the dynamic behavior. In the specified process, we provide different alternatives for fixing the error margin of the conformance testing if the sampling rate is fixed, establishing the sampling rate if the error margin is fixed and finding conformance bounds once the sampling rate and the error margin are fixed. © 2017 IEEE.
Place, publisher, year, edition, pages
Los Alamitos, CA: IEEE Computer Society, 2017. p. 46-50, article id 7899032
Series
IEEE International Conference on Software Testing Verification and Validation Workshops, ISSN 2159-4848
Keywords [en]
Conformance Testing, Cyber-Physical Systems, Hybrid Systems, Approximate Simulation, Conformance Bounds, Sampling Rate
National Category
Control Engineering
Identifiers
URN: urn:nbn:se:hh:diva-35616DOI: 10.1109/ICSTW.2017.15ISI: 000403392800009Scopus ID: 2-s2.0-85018444759ISBN: 978-1-5090-6676-6 (electronic)ISBN: 978-1-5090-6677-3 (print)OAI: oai:DiVA.org:hh-35616DiVA, id: diva2:1163305
Conference
10th IEEE International Conference on Software Testing, Verification and Validation (ICSTW), Tokyo, Japan, March 13-17, 2017
Projects
AUTO-CAAS
Funder
Swedish Research Council, 621-2014-5057Knowledge Foundation, 20140312ELLIIT - The Linköping‐Lund Initiative on IT and Mobile Communications
Note
Funding: The work of M. R. Mousavi has been partially supported by the Swedish Research Council (Vetenskapsrådet) award number: 621-2014-5057 (Effective Model-Based Testing of Concurrent Systems) and the Swedish Knowledge Foundation (Stiftelsen för Kunskaps- och Kompetensutveckling) in the context of the AUTO-CAAS HöG project (number: 20140312) and the Strategic Research Environment ELLIIT. The work of M. Taromirad has been partially supported by the Swedish Research Council (Vetenskapsrådet) award number: 621-2014-5057 (Effective Model-Based Testing of Concurrent Systems) and the Strategic Research Environment ELLIIT. 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.
2017-12-062017-12-062021-05-19Bibliographically approved