A Tool Prototype for Model-Based Testing of Cyber-Physical Systems

We report on a tool prototype for model-based testing of cyber-physical systems. Our starting point is a hybrid-system model specified in a domain-specific language called Acumen. Our prototype tool is implemented in Matlab and covers three stages of model-based testing, namely, test-case generation, test-case execution, and conformance analysis. We have applied our implementation to a number of typical examples of cyber-physical systems in order to analyze its applicability. In this paper, we report on the result of applying the prototype tool on a DC-DC boost converter.

[1]  Houssam Abbas,et al.  WiP abstract: Conformance testing as falsification for cyber-physical systems , 2014, 2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS).

[2]  Pieter J. Mosterman,et al.  Model-Based Testing for Embedded Systems , 2011, Computational Analysis, Synthesis, & Design Dynamic Systems.

[3]  Manfred Broy,et al.  Model-Based Testing of Reactive Systems, Advanced Lectures , 2005 .

[4]  Michael D. Lemmon.  On the Existence of Solutions to Controlled Hybrid Automata , 2000, HSCC.

[5]  Tarik Nahhal,et al.  Coverage-guided test generation for continuous and hybrid systems , 2009, Formal Methods Syst. Des..

[6]  Walid Taha,et al.  A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report) , 2012, 2012 32nd International Conference on Distributed Computing Systems Workshops.

[7]  Manfred Broy,et al.  Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science) , 2005 .

[8]  Michiel van Osch.  Hybrid Input-Output Conformance and Test Generation , 2006, FATES/RV.

[9]  Houssam Abbas,et al.  Conformance Testing as Falsification for Cyber-Physical Systems , 2014, ArXiv.

[10]  Thao Dang.  Model-Based Testing of Hybrid Systems , 2011, Model-Based Testing for Embedded Systems.

[11]  Houssam Abbas,et al.  Formal property verification in a conformance testing framework , 2014, 2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE).

[12]  Insup Lee,et al.  Robust Test Generation and Coverage for Hybrid Systems , 2007, HSCC.

[13]  R. Sanfelice,et al.  Hybrid dynamical systems , 2009, IEEE Control Systems.