Tooling for automated testing of cyber-physical system models

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Abstract

This work presents a tool for automatic testing
of cyber-physical systems via simulation. Cyber-physical system
design can benefit from this automated testing as it allows for
system-level requirements and prevents regression of the design.
The tool is based on three parts: A testing language, a
simulator controller, and a post processor. The testing language
is a domain-specific language based on a Gherkin style syntax
and can define test for multiple models and simulators. The
domain specific language also defines algebraic, logical, and
linear temporal logic transformations for outputs to define testing
conditions. The tool can perform different sub-sets of tests based
on a graphical or command line interface.
The tool is demonstrated using an example where a motor is
selected for a winch system. Here it is shown that the tool can
verify component- and system-level requirements, and can detect
regression. The tool is basis for a method supporting the design
of cyber-physical systems.
Original languageEnglish
Title of host publication2020 IEEE Conference on Industrial Cyberphysical Systems (ICPS)
Place of PublicationTampere, Finland
PublisherIEEE
Pages257-262
Number of pages6
ISBN (Electronic)978-1-7281-6389-5
Publication statusPublished - 9 Oct 2020
Event3rd IEEE International Conference on Industrial Cyber-Physical Systems, ICPS 2020 - Virtual Conference
Duration: 10 Jun 202012 Jun 2020
Conference number: 3
https://events.tuni.fi/icps2020/

Conference

Conference3rd IEEE International Conference on Industrial Cyber-Physical Systems, ICPS 2020
Abbreviated titleICPS 2020
Period10/06/2012/06/20
Internet address

Fingerprint Dive into the research topics of 'Tooling for automated testing of cyber-physical system models'. Together they form a unique fingerprint.

Cite this