Conformance Testing of Cyber-Physical Systems: A Comparative Study
2014 (English)In: Proceedings of the 14th International Workshop on Automated Verification of Critical Systems (AVoCS 2014) / [ed] Marieke Huisman, Jaco van de Pol, Tiziana Margaria, Julia Padberg & Gabriele Taentzer, Berlin: European Association of Software Science and Technology , 2014Conference paper (Refereed)
For systematic and automatic testing of cyber-physical systems, in which a set of test cases is generated based on a formal specification, a number of notions of conformance testing have been proposed. In this paper, we review two existing theories of conformance testing for cyber-physical systems and compare them. We point out their fundamental differences, and prove under which assumptions they coincide.
Place, publisher, year, edition, pages
Berlin: European Association of Software Science and Technology , 2014.
, Electronic Communications of the EASST, ISSN 1863-2122 ; 70
Hybrid systems, conformance testing, (hybrid) timed state sequences, hybrid labeled transition systems
Computer and Information Science
IdentifiersURN: urn:nbn:se:hh:diva-27215OAI: oai:DiVA.org:hh-27215DiVA: diva2:770592
The 14th International Workshop on Automated Verification of Critical Systems, University of Twente, Enschede, Netherlands, 24–26th September, 2014
FundereLLIIT - The Linköping‐Lund Initiative on IT and Mobile Communications
Walid Taha was supported by the US NSF CPS award 1136099.2014-12-112014-12-112014-12-15Bibliographically approved