printlogo
ETH Zuerich - Homepage
Computer Engineering and Networks Laboratory (TIK)
 
ETH Zurich - ITET - TIK - Publications
print
  

Publication Details for Inproceedings "Segmented State Space Traversal for Conformance Testing of Cyber-Physical Systems"

 

 Back

 New Search

 

Authors: Matthias Woehrle, Kai Lampka, Lothar Thiele
Group: Computer Engineering
Type: Inproceedings
Title: Segmented State Space Traversal for Conformance Testing of Cyber-Physical Systems
Year: 2011
Month: September
Pub-Key: LWT11a
Book Titel: Lecture Notes on Computer Science. Formal Modeling and Analysis of Timed Systems. 9th International Conference FORMATS 2011
Volume: 6919
Pages: 193-208
Keywords: Timed Automata, Testing, Wirless Sensor Networks, Model Checking, SN
Publisher: Springer, Heidelberg
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.
Location: Aalborg, Denmark
Resources: [BibTeX] [ External LINK ]

 

 Back

 New Search

top
© 2019 Laboratory TIK, ETH Zurich | Imprint | Last updated on Wed, 16 May, 2018 17:35 | t=0.0023s | Valid HTML 4.01