PETRI-NETWORK-BASED MODELING AND RECOGNITION OF A MALFUNCTION IN A SENSOR SYSTEM

A method for generating a reachability graph for recognizing a malfunction of a sensor system. The sensor system is operable with software configured to execute a number of tasks in a certain order. The method includes: generating a Petri net containing information about the tasks of the software of the sensor system and their order, each task being described by a relevant transition of the Petri net, which is executed by the software if required condition(s) for that task are fulfilled; initializing the Petri net by an initial marking, by corresponding conditions for executing at least one or more tasks of the software being set as fulfilled; propagating along the Petri net starting from the initial marking by determining tasks of the software for which the required conditions are fulfilled at each relevant propagation step; generating a reachability graph with nodes, which include information about fulfilled required conditions.