Cyber-virtual systems: Simulation, validation and visualization

Blech, J, Spichkova, M, Peake, I and Schmidt, H 2014, 'Cyber-virtual systems: Simulation, validation and visualization', in Joaquim Filipe, Leszek Maciaszek (ed.) Proceedings of the 9th International Conference on Evaluation of Novel Approaches to Software Engineering ENASE 2014, Lisbon, Portugal, 28-30 April 2014, pp. 218-225.

Document type: Conference Paper
Collection: Conference Papers

Title Cyber-virtual systems: Simulation, validation and visualization
Author(s) Blech, J
Spichkova, M
Peake, I
Schmidt, H
Year 2014
Conference name ENASE 2014
Conference location Lisbon, Portugal
Conference dates 28-30 April 2014
Proceedings title Proceedings of the 9th International Conference on Evaluation of Novel Approaches to Software Engineering ENASE 2014
Editor(s) Joaquim Filipe, Leszek Maciaszek
Publisher SciTePress
Place of publication Lisbon, Portugal
Start page 218
End page 225
Total pages 8
Abstract 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.
Subjects Software Engineering
Keyword(s) Cyber-physical systems
Formal specification
System modeling
Virtual interoperability testing
Copyright notice © 2014 INSTICC; SCITEPRESS Digital Library All rights reserved.
ISBN 9789897580307
Version Filter Type
Citation counts: Scopus Citation Count Cited 23 times in Scopus Article | Citations
Access Statistics: 185 Abstract Views  -  Detailed Statistics
Created: Thu, 22 Jan 2015, 09:07:00 EST by Catalyst Administrator
© 2014 RMIT Research Repository • Powered by Fez SoftwareContact us