A tool prototype for model-based testing of cyber-physical systems

A. Aerts; M.R. Mousavi; M.A. Reniers

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

A tool prototype for model-based testing of cyber-physical systems

A. Aerts
, M.R. Mousavi
, M.A. Reniers

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

15 Citations (Scopus)

3 Downloads (Pure)

Abstract

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.

Original language	English
Title of host publication	Theoretical Aspects of Computing - ICTAC 2015
Subtitle of host publication	12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings
Editors	M. Leucker, C. Rueda, F.D. Valencia
Place of Publication	Dordrecht
Publisher	Springer
Pages	563-572
Number of pages	10
ISBN (Electronic)	978-3-319-25150-9
ISBN (Print)	9783319251493
DOIs	https://doi.org/10.1007/978-3-319-25150-9_32
Publication status	Published - 2015
Event	12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015) - Cali, Colombia Duration: 29 Oct 2015 → 31 Oct 2015 Conference number: 12 http://www.ictac2015.co/

Publication series

Name	Lecture Notes in Computer Science
Volume	9399
ISSN (Print)	03029743
ISSN (Electronic)	16113349

Conference

Conference	12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015)
Abbreviated title	ICTAC 2015
Country/Territory	Colombia
City	Cali
Period	29/10/15 → 31/10/15
Internet address	http://www.ictac2015.co/

Keywords

Acumen
Conformance testing
Cyber-physical systems
Hybrid systems
Matlab
Model-based testing

Access to Document

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

Cite this

Aerts, A., Mousavi, M. R., & Reniers, M. A. (2015). A tool prototype for model-based testing of cyber-physical systems. In M. Leucker, C. Rueda, & F. D. Valencia (Eds.), Theoretical Aspects of Computing - ICTAC 2015 : 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings (pp. 563-572). (Lecture Notes in Computer Science; Vol. 9399). Springer. https://doi.org/10.1007/978-3-319-25150-9_32

@inproceedings{c412d3fc3ffa45e38f43cba98f6217f6,

title = "A tool prototype for model-based testing of cyber-physical systems",

abstract = "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.",

keywords = "Acumen, Conformance testing, Cyber-physical systems, Hybrid systems, Matlab, Model-based testing",

author = "A. Aerts and M.R. Mousavi and M.A. Reniers",

year = "2015",

doi = "10.1007/978-3-319-25150-9\_32",

language = "English",

isbn = "9783319251493",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "563--572",

editor = "M. Leucker and C. Rueda and F.D. Valencia",

booktitle = "Theoretical Aspects of Computing - ICTAC 2015",

address = "Germany",

note = "12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015), ICTAC 2015 ; Conference date: 29-10-2015 Through 31-10-2015",

url = "http://www.ictac2015.co/",

}

Aerts, A, Mousavi, MR & Reniers, MA 2015, A tool prototype for model-based testing of cyber-physical systems. in M Leucker, C Rueda & FD Valencia (eds), Theoretical Aspects of Computing - ICTAC 2015 : 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings. Lecture Notes in Computer Science, vol. 9399, Springer, Dordrecht, pp. 563-572, 12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015), Cali, Colombia, 29/10/15. https://doi.org/10.1007/978-3-319-25150-9_32

A tool prototype for model-based testing of cyber-physical systems. / Aerts, A.; Mousavi, M.R.; Reniers, M.A.
Theoretical Aspects of Computing - ICTAC 2015 : 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings. ed. / M. Leucker; C. Rueda; F.D. Valencia. Dordrecht: Springer, 2015. p. 563-572 (Lecture Notes in Computer Science; Vol. 9399).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - A tool prototype for model-based testing of cyber-physical systems

AU - Aerts, A.

AU - Mousavi, M.R.

AU - Reniers, M.A.

N1 - Conference code: 12

PY - 2015

Y1 - 2015

N2 - 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.

AB - 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.

KW - Acumen

KW - Conformance testing

KW - Cyber-physical systems

KW - Hybrid systems

KW - Matlab

KW - Model-based testing

UR - https://www.scopus.com/pages/publications/84951965541

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

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

M3 - Conference contribution

AN - SCOPUS:84951965541

SN - 9783319251493

T3 - Lecture Notes in Computer Science

SP - 563

EP - 572

BT - Theoretical Aspects of Computing - ICTAC 2015

A2 - Leucker, M.

A2 - Rueda, C.

A2 - Valencia, F.D.

PB - Springer

CY - Dordrecht

T2 - 12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015)

Y2 - 29 October 2015 through 31 October 2015

ER -

Aerts A, Mousavi MR, Reniers MA. A tool prototype for model-based testing of cyber-physical systems. In Leucker M, Rueda C, Valencia FD, editors, Theoretical Aspects of Computing - ICTAC 2015 : 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings. Dordrecht: Springer. 2015. p. 563-572. (Lecture Notes in Computer Science). doi: 10.1007/978-3-319-25150-9_32

A tool prototype for model-based testing of cyber-physical systems

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this