A Model-Based Toolchain to Verify Spatial Behavior of Cyber-Physical Systems-Reference-Cited by-同舟云学术

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

Published:2016-01 Issue:1 Volume:13 Page:40-52
ISSN:1545-7362
Container-title:International Journal of Web Services Research
language:en
Short-container-title:

Author:

Herrmann Peter¹^ORCID,Blech Jan Olaf²,Han Fenglin¹,Schmidt Heinz²

Affiliation:

1. Norwegian University of Science and Technology (NTNU), Trondheim, Norway

2. RMIT University, Melbourne, Australia

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.

Publisher

IGI Global

Subject

Computer Networks and Communications,Information Systems,Software

Cited by 13 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Development of an adaptive hexapod robot based on Follow-the-contact-point gait control and Timekeeper control;2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS);2019-11

2. Modelling and Analysing Resilient Cyber-Physical Systems;2019 IEEE/ACM 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS);2019-05

3. A Co-Verification Interface Design for High-Assurance CPS;Computers, Materials & Continua;2019

4. An Semi-formal Co-verification Approach for High-Assurance CPS;Simulation Tools and Techniques;2019

5. Model-Based Development and Spatiotemporal Behavior of Cyber-Physical Systems;Advances in Web Technologies and Engineering;2019