The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
Model-Based Development and Spatiotemporal Behavior of Cyber-Physical Systems
|
|
Author(s): Peter Herrmann (Norwegian University of Science and Technology, Norway), Jan Olaf Blech (Altran, Germany), Fenglin Han (Norwegian University of Science and Technology, Norway)and Heinz Schmidt (RMIT University, Australia)
Copyright: 2019
Pages: 25
Source title:
Innovative Solutions and Applications of Web Services Technology
Source Author(s)/Editor(s): Liang-Jie Zhang (Kingdee International Software Group Co., Ltd., China)and Yishuang Ning (Tsinghua University, China)
DOI: 10.4018/978-1-5225-7268-8.ch004
Purchase
|
Abstract
Many cyber-physical systems operate together with others and with humans in a joint physical space. Because of their operation in proximity to humans, they have to operate according to very high safety standards. This chapter presents a method for developing the control software of cyber-physical systems. The method is model-based and assists engineers with spatial and real-time property verification. In particular, the authors describe a toolchain consisting of the model-based development toolset Reactive Blocks, the spatial analyzer BeSpaceD in conjunction with the real-time model checkers UPPAAL and PRISM. The combination of these tools makes it possible to create models of the control software and, if necessary, simulators for the actual system behavior with Reactive Blocks. These models can then be checked for various correctness properties using the analysis tools. If all properties are fulfilled, Reactive Blocks transforms the models automatically into executable code.
Related Content
|
Mohib Ullah, Arbab Waseem Abbas, Lala Rukh, Kamran Ullah, Muhammad Inam Ul Haq.
© 2023.
25 pages.
|
|
Rafi Ullah Khan, Mohib Ullah, Bushra Shafi, Imran Ihsan.
© 2023.
20 pages.
|
|
Rafi Ullah Khan, Mohib Ullah, Bushra Shafi.
© 2023.
17 pages.
|
|
Shaukat Ali, Shah Khusro, Mumtaz Khan.
© 2023.
34 pages.
|
|
Tayyaba Riaz, Iftikhar Alam.
© 2023.
20 pages.
|
|
Ufuk Uçak, Gurkan Tuna.
© 2023.
22 pages.
|
|
Muhammad Hamad, Altaf Hussain, Majida Khan Tareen.
© 2023.
21 pages.
|
|
|