A Model-Based Toolchain to Verify Spatial Behavior of Cyber-Physical Systems

Peter Herrmann, Jan Olaf Blech, Fenglin Han and Heinz Schmidt
Additional contact information
Peter Herrmann: Norwegian University of Science and Technology (NTNU), Trondheim, Norway
Jan Olaf Blech: RMIT University, Melbourne, Australia
Fenglin Han: Norwegian University of Science and Technology (NTNU), Trondheim, Norway
Heinz Schmidt: RMIT University, Melbourne, Australia

International Journal of Web Services Research (IJWSR), 2016, vol. 13, issue 1, 40-52

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.

Date: 2016
References: Add references at CitEc
Citations:

Downloads: (external link)
https://services.igi-global.com/resolvedoi/resolve ... 018/IJWSR.2016010103 (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:igg:jwsr00:v:13:y:2016:i:1:p:40-52

Access Statistics for this article

International Journal of Web Services Research (IJWSR) is currently edited by Liang-Jie Zhang

More articles in International Journal of Web Services Research (IJWSR) from IGI Global
Bibliographic data for series maintained by Journal Editor ().