Testbed for Model-based Verification of Cyber-physical Production Systems

8 pages•Published: June 27, 2017

Christof J. Budnik, Sebastian Eckl and Marco Gario

Abstract

Cyber-physical production systems (CPPS) build a network of industrial automation components and systems to enable individualized products at mass production costs. Failures or vulnerabilities in CPPS can be life threatening and can cause physical damage while hiding the effects from monitors. Thus, software verification and validation methods need to analyze the dynamics and behavior of CPPS. In this work, we present a hybrid testbed used in Siemens Corporate Technology. The testbed combines a physical CPPS together with its virtual simulated counterpart, allowing us to verify the system using runtime monitoring, model-based testing, simulation and formal techniques.

Keyphrases: cyberphysical system, simulation, testbed, verification

In: Goran Frehse and Matthias Althoff (editors). ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, vol 48, pages 92-99.

Links:	https://easychair.org/publications/paper/cssx
	https://doi.org/10.29007/92bd

BibTeX entry

@inproceedings{ARCH17:Testbed_Model_based_Verification,
  author    = {Christof J. Budnik and Sebastian Eckl and Marco Gario},
  title     = {Testbed for Model-based Verification of Cyber-physical Production Systems},
  booktitle = {ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {48},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/cssx},
  doi       = {10.29007/92bd},
  pages     = {92-99},
  year      = {2017}}

Download PDF Open PDF in browser