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

被引：10

作者：

Aerts, Arend ^{[1
]}

Mousavi, Mohammad Reza ^{[2
]}

Reniers, Michel ^{[1
]}

机构：

[1] Eindhoven Univ Technol, Control Syst Technol Grp, NL-5600 MB Eindhoven, Netherlands

[2] Halmstad Univ, Ctr Res Embedded Syst, Halmstad, Sweden

来源：

THEORETICAL ASPECTS OF COMPUTING - ICTAC 2015 | 2015年 / 9399卷

关键词：

Model-based testing; Conformance testing; Cyber-physical systems; Hybrid systems; Acumen; Matlab; TEST-GENERATION; HYBRID SYSTEMS; COVERAGE;

D O I：

10.1007/978-3-319-25150-9_32

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

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.

引用

页码：563 / 572

页数：10

共 13 条

[1]

Abbas H., 2014, MEMOCODE

[2]

Abbas H., 2014, ICCPS

[3]

Aerts A., 2015, TECHNICAL REPORT

[4]

[Anonymous], 2015, DC DC BOOST CONVERTE

[5]

Broy M, 2005, LNCS, V3472

[6]

Dang T., 2011, Model-Based Testing for Embedded Systems

[7] Coverage-guided test generation for continuous and hybrid systems [J].

Dang, Thao ;

Nahhal, Tarik .

FORMAL METHODS IN SYSTEM DESIGN, 2009, 34 (02) :183-213

[8] Hybrid Dynamical Systems [J].

Goebel, Rafal ;

Sanfelice, Ricardo G. ;

Teel, Andrew R. .

IEEE CONTROL SYSTEMS MAGAZINE, 2009, 29 (02) :28-93

[9]

Heemels W. P. M. H., 2013, TU E LECT NOTES COUR

[10]

Julius AA, 2007, LECT NOTES COMPUT SC, V4416, P329

← 1 2 →