Improving Resilience of Autonomous Moving Platforms by Real Time Analysis of Their Cooperation
This addresses resilience issues for autonomous delivery systems, but it is incremental as it builds on existing model checking techniques.
The paper tackles the problem of improving resilience in Autonomous Moving Platforms (AMPs) against environmental changes, failures, and attacks by developing a novel approach based on multi-level state diagrams to model interactions and detect irregularities like deadlocks. The result is the Dedan verifier system, which uses model checking for verification, though it is still under development with plans for a graphical representation.
Environmental changes, failures, collisions or even terrorist attacks can cause serious malfunctions of the delivery systems. We have presented a novel approach improving resilience of Autonomous Moving Platforms AMPs. The approach is based on multi-level state diagrams describing environmental trigger specifications, movement actions and synchronization primitives. The upper level diagrams allowed us to model advanced interactions between autonomous AMPs and detect irregularities such as deadlocks live-locks etc. The techniques were presented to verify and analyze combined AMPs' behaviors using model checking technique. The described system, Dedan verifier, is still under development. In the near future, a graphical form of verified system representation is planned.