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 proceedingConference contributionAcademicpeer-review

10 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 languageEnglish
Title of host publicationTheoretical Aspects of Computing - ICTAC 2015
Subtitle of host publication12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings
EditorsM. Leucker, C. Rueda, F.D. Valencia
Place of PublicationDordrecht
PublisherSpringer
Pages563-572
Number of pages10
ISBN (Electronic)978-3-319-25150-9
ISBN (Print)9783319251493
DOIs
Publication statusPublished - 2015
Event12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015) - Cali, Colombia
Duration: 29 Oct 201531 Oct 2015
Conference number: 12
http://www.ictac2015.co/

Publication series

NameLecture Notes in Computer Science
Volume9399
ISSN (Print)03029743
ISSN (Electronic)16113349

Conference

Conference12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015)
Abbreviated titleICTAC 2015
CountryColombia
CityCali
Period29/10/1531/10/15
Internet address

Keywords

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

Fingerprint Dive into the research topics of 'A tool prototype for model-based testing of cyber-physical systems'. Together they form a unique fingerprint.

Cite this