Tooling for automated testing of cyber-physical system models

Tim Broenink, Jan Broenink, Bas Jansen

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

2 Citations (Scopus)
48 Downloads (Pure)


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 designThe 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 interfaceThe 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 publicationProceedings - 2020 IEEE Conference on Industrial Cyberphysical Systems, ICPS 2020
Place of PublicationPiscataway, NJ
Number of pages6
ISBN (Electronic)978-1-7281-6389-5
ISBN (Print)978-1-7281-6390-1
Publication statusPublished - 10 Jun 2020
Event3rd IEEE International Conference on Industrial Cyber-Physical Systems, ICPS 2020 - Virtual Conference, Virtual Event
Duration: 10 Jun 202012 Jun 2020
Conference number: 3


Conference3rd IEEE International Conference on Industrial Cyber-Physical Systems, ICPS 2020
Abbreviated titleICPS 2020
CityVirtual Event
Internet address


  • 22/2 OA procedure


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

Cite this