Cyber-virtual Systems - Simulation, Validation & Visualization

Jan Olaf Blech, Maria Spichkova, Ian Peake, Heinz Schmidt


We describe our ongoing work and view on simulation, validation and visualization of cyber-physical systems in industrial automation during development, operation and maintenance. System models may represent an existing physical part – for example an existing robot installation – and a software simulated part – for example a possible future extension. We call such systems cyber-virtual systems. In this paper, we present the existing VITELab infrastructure for visualization tasks in industrial automation. The new methodology for simulation and validation motivated in this paper integrates this infrastructure. We are targeting scenarios, where industrial sites which may be in remote locations are modeled and visualized from different sites anywhere in the world. Complementing the visualization work, here, we are also concentrating on software modeling challenges related to cyber-virtual systems and simulation, testing, validation and verification techniques for them. Software models of industrial sites require behavioural models of the components of the industrial sites such as models for tools, robots, workpieces and other machinery as well as communication and sensor facilities. Furthermore, collaboration between sites is an important goal of our work.


  1. Anderson, A. and Fritzson, P. (2013). Models for Distributed Real-Time Simulation in a Vehicle CoSimulator Setup. In Nilsson, H., editor, Proceedings of the 5th International Workshop on EquationBased Object-Oriented Modeling Languages and Tools. Linkoping University Electronic Press.
  2. Basu, A., Bozga, M., and Sifakis, J. (2006). Modeling heterogeneous real-time components in bip. In 4th IEEE International Conference on Software Engineering and Formal Methods (SEFM), pages 3-12. IEEE.
  3. Beek, D. A. V., Man, K. L., Reniers, M. A., Rooda, J. E., and Schiffelers, R. R. H. (2006). Syntax and consistent equation semantics of hybrid Chi. In Journal of Logic and Algebraic Programming, pages 129-210.
  4. Behrmann, G., David, A., and Larsen, K. (2004). A Tutorial on Uppaal. In Bernardo, M. and Corradini, F., editors, Formal Methods for the Design of Real-Time Systems, volume 3185 of LNCS, pages 200-236. Springer.
  5. Bennett, B., Cohn, A. G., Wolter, F., and Zakharyaschev, M. (2002). Multi-dimensional modal logic as a framework for spatio-temporal reasoning. Applied Intelligence, 17(3):239-251.
  6. Berger, A. (2002). Embedded Systems Design: An Introduction to Processes, Tools, and Techniques. CMP Books.
  7. Berners-Lee, T., Hendler, J., Lassila, O., et al. (2001). The semantic web. Scientific american, 284(5):28-37.
  8. Blech, J. O. (2013). Towards a framework for behavioral specifications of osgi components. In 11th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA), pages 79-93.
  9. Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., and Pretschner, A. (2005). Model-Based Testing of Reactive Systems: Advanced Lectures (LNCS). Springer.
  10. Cardelli, L. and Gardner, P. (2010). Processes in space. In Programs, Proofs, Processes, pages 78-87. Springer.
  11. Dal Zilio, S., Lugiez, D., and Meyssonnier, C. (2004). A logic you can count on. In ACM SIGPLAN Notices, volume 39, pages 135-146. ACM.
  12. de Alfaro, L. and Henzinger, T. A. (2001). Interface automata. SIGSOFT Softw. Eng. Notes, 26(5):109-120.
  13. De Moura, L. and Bjørner, N. (2008). Z3: An efficient smt solver. In Tools and Algorithms for the Construction and Analysis of Systems, pages 337-340. Springer.
  14. Deshpande, A., Gll, A., Gollu, A., and Varaiya, P. (1997). Shift: A Formalism and a Programming Language for Dynamic Networks of Hybrid Automata.
  15. Dominka, S., Schiller, F., and Kain, S. (2007). Hybrid commissioningfrom hardware-in-the-loop simulation to real production plants. In Proceedings of the 18th IASTED International Conference on Modeling and Simulation (MS'07), pages 544-549.
  16. Donath, U., Haufe, J., Blochwitz, T., and Neidhold, T. (2008). A new Approach for Modeling and Verification of Discrete Control Components within a Modelica Environment.
  17. Frehse, G., Le Guernic, C., Donzé, A., Cotton, S., Ray, R., Lebeltel, O., Ripado, R., Girard, A., Dang, T., and Maler, O. (2011). Spaceex: Scalable verification of hybrid systems. In Computer Aided Verification, pages 379-395. Springer.
  18. Fritzson, P. (2004). Principles of Object-Oriented Modeling and Simulation with Modelica 2.1. Wiley-IEEE Computer Society Press.
  19. Fritzson, P. (2011). Introduction to Modeling and Simulation of Technical and Physical Systems with Modelica. Wiley-IEEE Computer Society Press.
  20. Hadlich, T., Diedrich, C., Eckert, K., Frank, T., Fay, A., and Vogel-Heuser, B. (2011). Common communication model for distributed automation systems. In 9th IEEE International Conference on Industrial Informatics, IEEE INDIN.
  21. Hazra, A., Ghosh, P., Vadlamudi, S. G., Chakrabarti, P. P., and Dasgupta, P. (2013). Formal methods for early analysis of functional reliability in component-based embedded applications. Embedded Systems Letters, 5(1):8-11.
  22. Hirschkoff, D., Lozes, Ó ., and Sangiorgi, D. (2003). Minimality results for the spatial logics. In FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, pages 252-264. Springer.
  23. Isermann, R., Schaffnit, J., and Sinsel, S. (1999). Hardwarein-the-loop simulation for the design and testing of engine-control systems. Control Engineering Practice, 7(5):643-653.
  24. Kratz, F., Sokolsky, O., Pappas, G. J., and Lee, I. (2006). R-Charon, a Modeling Language for Reconfigurable Hybrid Systems. In Hybrid Systems: Computation and Control (HSCC), pages 392-406.
  25. Peake, I., Blech, J. O., and Fernando, L. (2013). Towards reconstructing architectural models of software tools by runtime analysis. In 3rd International Workshop on Experiences and Empirical Studies in Software Modelling.
  26. Pretschner, A. and Philipps, J. (2005). Methodological Issues in Model-Based Testing. Model-Based Testing of Reactive Systems, pages 181-291.
  27. Sapienza, G., Crnkovic, I., and Seceleanu, T. (2012). Towards a methodology for hardware and software design separation in embedded systems. In Proc. of the Seventh International Conference on Software Engineering Advances (ICSEA), pages 557-562. IARIA.
  28. Schlager, M. (2008). Hardware-in-the-loop simulation.
  29. Spichkova, M. (2007). Specification and Seamless Verification of Embedded Real-Time Systems: FOCUS on Isabelle. PhD thesis, Technische Universität München.
  30. Spichkova, M. (2012). Human Factors of Formal Methods. In Proc. of IADIS Interfaces and Human Computer Interaction. IHCI 2012.
  31. Spichkova, M. (2013a). Design of formal languages and interfaces: “formal” does not mean “unreadable”. In Blashki, K. and Isaias, P., editors, Emerging Research and Trends in Interactivity and the Human-Computer Interface. IGI Global.
  32. Spichkova, M. (2013b). Stream Processing Components: Isabelle/HOL Formalisation and Case Studies. Archive of Formal Proofs.
  33. Spichkova, M. and Campetelli, A. (2012). Towards system development methodologies: From software to cyber-physical domain. In First International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS'12).
  34. Spichkova, M., Schmidt, H., and Peake, I. (2013a). From abstract modelling to remote cyber-physical integration/interoperability testing. In Improving Systems and Software Engineering Conference.
  35. Spichkova, M., Zhu, X., and Mou, D. (2013b). Do we really need to write documentation for a system? In International Conference on Model-Driven Engineering and Software Development (MODELSWARD'13).
  36. Staab, S., Studer, R., Schnurr, H.-P., and Sure, Y. (2001). Knowledge processes and ontologies. Intelligent Systems, IEEE, 16(1):26-34.
  37. Tundis, A., Rogovchenko-Buffoni, L., Fritzson, P., and Garro, A. (2013). Modeling System Requirements in Modelica: Definition and Comparison of Candidate Approaches. In Nilsson, H., editor, Proceedings of the 5th International Workshop on EquationBased Object-Oriented Modeling Languages and Tools. Linkoping University Electronic Press.
  38. Vogel-Heuser, B., S., F., Werner, T., and Diedrich, C. (2011). Modeling network architecture and time behavior of distributed control systems in industrial plant. In 37th Annual Conference of the IEEE Industrial Electronics Society, IECON.

Paper Citation

in Harvard Style

Olaf Blech J., Spichkova M., Peake I. and Schmidt H. (2014). Cyber-virtual Systems - Simulation, Validation & Visualization . In Proceedings of the 9th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-758-030-7, pages 218-225. DOI: 10.5220/0004952402180225

in Bibtex Style

author={Jan Olaf Blech and Maria Spichkova and Ian Peake and Heinz Schmidt},
title={Cyber-virtual Systems - Simulation, Validation & Visualization},
booktitle={Proceedings of the 9th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},

in EndNote Style

JO - Proceedings of the 9th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,
TI - Cyber-virtual Systems - Simulation, Validation & Visualization
SN - 978-989-758-030-7
AU - Olaf Blech J.
AU - Spichkova M.
AU - Peake I.
AU - Schmidt H.
PY - 2014
SP - 218
EP - 225
DO - 10.5220/0004952402180225