Paper Info
Title
Segmented state space traversal for conformance testing of cyber-physical systems
Abstract
Quantitative conformance testing of cyber-physical system (CPS) exploits time series of measurements, such as temperature or energy, for validating the correctness of deployed systems. This paper presents the foundations of segmented state space traversal in the setting of quantitative conformance testing of a CPS. It is demonstrated how this strategy together with domain-specific adaptations remedies state space explosion inherent to formal (state-based) verification. The presented contributions improve the scalability of quantitative conformance testing of a CPS and is demonstrated with a case study.
Year
DOI
Venue
2011
10.1007/978-3-642-24310-3_14
FORMATS
Keywords
Field
DocType
time series,segmented state space traversal,domain-specific adaptations remedies state,cyber-physical system,space explosion,case study,quantitative conformance testing
Tree traversal,Computer science,Correctness,Theoretical computer science,Conformance testing,Exploit,Cyber-physical system,State space,Embedded system,Distributed computing,Scalability
Conference
Volume
ISSN
Citations 
6919
0302-9743
4
PageRank 
References 
Authors
0.41
15
3
Name
Order
Citations
PageRank
Matthias Woehrle119421.93
Kai Lampka222814.45
Lothar Thiele314025957.82