SNIP_CLASSIC_CAN_FIGURE_Figure_7_9_WATCHDOGMANAGER

Figure 7.9: Abstracted Example Control Flow Graph There are two types of Graphs for Logical Supervision. Firstly , there is an Internal Graph, in which all the Checkpoints belong to the same Supervised Entity and the Checkpoints are connected by Internal T ransitions. Second, there is an External Graph , in which at least two Checkpoints belong to different Supervised Entities. The Checkpoints are connected with External T ransitions. There are two types of Graphs for Logical Supervision. The main difference of the Internal Graphs and External Graphs is that an Internal Graph is a property of a Supervised Entity and is Mode independent (i.e. its structure does not change by switching Watchdog Manager Modes, even though its supervision behavior can be disabled if the Supervised Entity is disabled in a Mode), whereas an External Graph is Mode dependent. The parameters of the Logical Supervision for Internal Graphs are Internal T ransitions (see WdgMInternalTransition), which are contained in a Supervised Entity (WdgMSupervisedEntity). Each Internal T ransition connects two Checkpoints. This means that all the modes share the same Internal T ransitions. It is only possible to deactivate a Supervised Entity in a Mode, which makes its Logical Supervision of Internal T ransitions inactive. The parameters of the External Graphs (see WdgMExternalLogicalSupervision) are contained in a Mode ( WdgMMode). Each External T ransition connects two Checkpoints. The Checkpoints exist irrespective if they are connected by any T ransitions. [SWS_WdgM_00366]⌈The Watchdog Manager module shall derive the required number of independent data resources to perform the Logical Supervision within the