A model-based toolchain to verify spatial behavior of cyber-physical systems

Herrmann, P, Blech, J, Han, F and Schmidt, H 2016, 'A model-based toolchain to verify spatial behavior of cyber-physical systems', International Journal of Web Services Research, vol. 13, no. 1, pp. 40-52.


Document type: Journal Article
Collection: Journal Articles

Title A model-based toolchain to verify spatial behavior of cyber-physical systems
Author(s) Herrmann, P
Blech, J
Han, F
Schmidt, H
Year 2016
Journal name International Journal of Web Services Research
Volume number 13
Issue number 1
Start page 40
End page 52
Total pages 13
Publisher IGI Global
Abstract A method preserving cyber-physical systems to operate safely in a joint physical space is presented. It comprises the model-based development of the control software and simulators for the continuous physical environment as well as proving the models for spatial and real-time properties. The corresponding toolchain is based on the model-based engineering tool Reactive Blocks and the spatial model checker BeSpaceD. The real-time constraints to be kept by the controller are proven using the model checker UPPAAL.
Subject Software Engineering
Keyword(s) BeSpaceD
Model-Based System Engineering
Reactive Blocks
Real-Time Properties
Spatial Behavior Modeling and Verification
DOI - identifier 10.4018/IJWSR.2016010103
ISSN 1545-7362
Versions
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 5 times in Thomson Reuters Web of Science Article | Citations
Scopus Citation Count Cited 7 times in Scopus Article | Citations
Altmetric details:
Access Statistics: 161 Abstract Views  -  Detailed Statistics
Created: Thu, 07 Jul 2016, 12:54:00 EST by Catalyst Administrator
© 2014 RMIT Research Repository • Powered by Fez SoftwareContact us