A Model-Based Toolchain to Verify Spatial Behavior of Cyber-Physical Systems
Peter Herrmann, Jan Olaf Blech, Fenglin Han, Heinz W. Schmidt · International Journal of Web Services Research · 2016
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.