SNIP_ADAPTIVE_CAN_FIGURE_Figure_4_21

Figure 4.21: Modeling of the DiagnosticSovdProximityChallengePortMapping [constr_10442] Restriction for the applicability of DiagnosticSovdProximityChallengePortMapping Status: DRAFT Imposition time: IT_DiagDes ⌈If a PPortPrototype is referenced by a DiagnosticSovdProximityChallengePortMapping in the role pPortPrototypeInExecutable, then the PPortPrototype shall be typed by a DiagnosticSovdProximityChallengeInterface.⌋ [constr_10443] Restriction for the applicability of DiagnosticSovdProximityChallengeInterface Status: DRAFT Imposition time: IT_DiagDes ⌈If a PPortPrototype is typed by a DiagnosticSovdProximityChallengeInterface, then the PortPrototype shall only be referenced in the role pPortPrototypeInExecutable by a DiagnosticSovdProximityChallengePortMapping.⌋ Only one implementation of an SOVD proximity challenge is allowed in the context of a DiagnosticContributionSet. This restriction is formalized by means of [constr_10444]. [constr_10444] Existence of DiagnosticSovdProximityChallengePortMapping Status: DRAFT Imposition time: IT_DiagDes ⌈Each DiagnosticContributionSet shall only reference at most one DiagnosticSovdProximityChallengePortMapping in the role element.⌋