The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
A Model-Based Toolchain to Verify Spatial Behavior of Cyber-Physical Systems
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.
Related Content
|
Brij B. Gupta, Akshat Gaurav, Francesco Colace.
© 2025.
16 pages.
|
|
Akshat Gaurav, Varsha Arya.
© 2025.
16 pages.
|
|
Brij B. Gupta, Jinsong Wu.
© 2025.
22 pages.
|
|
Purwadi Agus Darwinto, Agung Mulyo Widodo, Nilla Perdana Agustina, Kadek Dwi Wahyuadnyana, Mosiur Rahaman.
© 2025.
30 pages.
|
|
Mosiur Rahaman, Karisma Trinda Putra, Bambang Irawan, Totok Ruki Biyanto.
© 2025.
30 pages.
|
|
Shaurya Katna, Sunil K. Singh, Sudhakar Kumar, Divyansh Manro, Amit Chhabra, Sunil Kumar Sharma.
© 2025.
22 pages.
|
|
Kwok Tai Chui, Varsha Arya, Akshat Gaurav, Shavi Bansal, Ritika Bansal.
© 2025.
22 pages.
|
|
|