Critical scenarios derivation methodology for mechatronic systems

This paper deals with safety in design of mechatronic systems. We propose a method based on a qualitative analysis of a Petri net model of the system. It allows deriving feared scenarios by determining the sequences of actions and state changes leading to the feared state in which the passenger's safety is no longer guaranteed. The Petri net model of the system takes into account normal behaviour, failures and reconfiguration mechanisms. Our approach uses linear logic as formal framework and is based on a backward and a forward reasoning. It derives feared scenarios as causal relationships between normal states and the feared one.