Abstract:Context Collaborative systems enable multiple independent systems to work together towards a common goal. These systems can include both human-system and system-system interactions and can be found in a variety of settings, including smart manufacturing, smart transportation, and healthcare. Safety is an important consideration for collaborative systems because one system's failure can significantly impact the overall system performance and adversely affect other systems, humans or the environment. Goal Fail-safe mechanisms for safety-critical systems are designed to bring the system to a safe state in case of a failure in the sensors or actuators. However, a collaborative safety-critical system must do better and be safe-operational, for e.g., a failure of one of the members in a platoon of vehicles in the middle of a highway is not acceptable. Thus, failures must be compensated, and compliance with safety constraints must be ensured even under faults or failures of constituent systems. Method In this paper, we model and analyze safety for collaborative safety-critical systems using hierarchical Coloured Petri nets (CPN). We used an automated Human Rescue Robot System (HRRS) as a case study, modeled it using hierarchical CPN, and injected some specified failures to check and confirm the safe behavior in case of unexpected scenarios. Results The system behavior was observed after injecting three types of failures in constituent systems, and then safety mechanisms were applied to mitigate the effect of these failures. After applying safety mechanisms, the HRRS system's overall behavior was again observed both in terms of verification and validation, and the simulated results show that all the identified failures were mitigated and HRRS completed its mission. Conclusion It was found that the approach based on formal methods (CPN modeling) can be used for the safety analysis, modeling, and verification of collaborative safety-critical systems like HRRS. The hierarchical CPN provides a rigorous way of modeling to implement complex collaborative systems.

Using Colored Petri net for Level-Crossing safety analysis

Colored Petri net control of OR-logic

Analysis of clock synchronization protocol security using colored Petri net

Petri Nets Model of Emergency Control System for Shipping

Functional Safety Verification on Railway Signaling System with Colored Petri Nets

Experience using Coloured Petri Nets to Model Railway Interlocking Tables

Colored Petri Net Model of IEC Function Block and Its Application

The application of Coloured Petri nets in systems analysis

Modeling and Safety Analysis for Collaborative Safety-Critical Systems Using Hierarchical Colored Petri Nets

Application of Petri Net with Objects in Safety System Process Modeling

Traffic Signal Priority/preemption Control with Colored Petri Nets

Using uml and petri nets for the design and verification of a railway interlocking system

A Place-Timed Petri Net-Based Method to Avoid Deadlock and Conflict in Railway Networks

Research on the Security of NC-Link Numerical Control Equipment Protocol Based on Colored Petri Net

Using Petri Nets to Verify Access Policies in Mandatory Access Control Model

Modeling And Analysis Of Stage Machinery Control Systems By Timed Colored Petri Nets

Analyzing Resource Shared Multi-thread Data Acquisition System Based on Colored Petri Net

Collision risk analysis based train collision early warning strategy

Art and the development of the personality.

A Two-level Traffic Light Control Strategy for Preventing Incident-Based Urban Traffic Congestion

Using colored Petri nets to model and analyze workflow with separation of duty constraints