Visualization, simulation and validation for cyber-virtual systems

Blech, J, Spichkova, M, Peake, I and Schmidt, H 2015, 'Visualization, simulation and validation for cyber-virtual systems' in Leszek A. Maciaszek, Joaquim Filipe (ed.) Evaluation of Novel Approaches to Software Engineering, Springer, Switzerland, pp. 140-154.

Document type: Book Chapter
Collection: Book Chapters

Title Visualization, simulation and validation for cyber-virtual systems
Author(s) Blech, J
Spichkova, M
Peake, I
Schmidt, H
Year 2015
Title of book Evaluation of Novel Approaches to Software Engineering
Publisher Springer
Place of publication Switzerland
Editor(s) Leszek A. Maciaszek, Joaquim Filipe
Start page 140
End page 154
Subjects Software Engineering
Summary We present our framework for visualization, simulation and validation 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 of the physical industrial automation setup. We call such systems cyber-virtual systems. Here, we present our VxLab infrastructure for visualization using combined large screens and its applications in industrial automation. The methodology for simulation and validation motivated in this paper is based on this infrastructure. We are targeting scenarios, where industrial sites which may be in remote locations are modeled, simulated and visualized. Modeling, simulation and the visualization can be done from different locations anywhere in the world. Here, we are also concentrating on software modeling challenges related to cyber-virtual systems and simulation, testing, validation and verification techniques applied to them. Software models of industrial sites require behavioral models of both human and machine oriented aspects such as workflows and the components of the industrial sites such as models for tools, robots, workpieces and other machinery as well as communication and sensor facilities. Furthermore, facilitating collaboration between sites and stakeholders, experts and operators is an important application of our work.
Copyright notice © Springer International Publishing Switzerland 2015
Keyword(s) Cyber-physical systems
Virtual interoperability testing
System modeling
Formal specification
ISBN 9783319272177
Version Filter Type
Access Statistics: 152 Abstract Views  -  Detailed Statistics
Created: Thu, 21 Apr 2016, 10:23:00 EST by Catalyst Administrator
© 2014 RMIT Research Repository • Powered by Fez SoftwareContact us