process: update metamodel safety analysis

src/extensions/score_metamodel/metamodel.yaml

@@ -504,6 +504,64 @@ needs_types:
       safety: ^(QM|ASIL_B|ASIL_D)$
       status: ^(valid|invalid)$
 
+# Safety Analysis DFA
+feat_saf_dfa:
+  title: DFA
+  prefix: feat_saf_dfa__
+  mandatory_options:
+    verifies: ^feat_arc_sta__[0-9a-z_]*$
+    id: ^feat_saf_dfa__[0-9a-z_]*$
+    violation_id: ^.+$
+    violation_cause: ^(YES|NO)$
+    mitigation: ^.*$
+    mitigation_issue: ^.*$
+    sufficient: ^(yes|no)$
+    argument: ^.+$
+    status: ^(valid|invalid)$
+
+comp_saf_dfa:
+  title: DFA
+  prefix: comp_saf_dfa__
+  mandatory_options:
+    verifies: ^comp_arc_sta__[0-9a-z_]*$
+    id: ^comp_saf_dfa__[0-9a-z_]*$
+    violation_id: ^.+$
+    violation_cause: ^(YES|NO)$
+    mitigation: ^.*$
+    mitigation_issue: ^.*$
+    sufficient: ^(yes|no)$
+    argument: ^.+$
+    status: ^(valid|invalid)$
+
+# Safety Analysis FMEA
+feat_saf_fmea:
+  title: FMEA
+  prefix: feat_saf_fmea__
+  mandatory_options:
+    verifies: ^feat_arc_sta__[0-9a-z_]*$
+    id: ^feat_saf_dfa__[0-9a-z_]*$
+    failure_mode: ^.+$
+    failure_effect: ^(YES|NO)$
+    mitigation: ^.*$
+    mitigation_issue: ^.*$
+    sufficient: ^(yes|no)$
+    argument: ^.+$
+    status: ^(valid|invalid)$
+
+comp_saf_fmea:
+  title: FMEA
+  prefix: comp_saf_fmea__
+  mandatory_options:
+    verifies: ^comp_arc_sta__[0-9a-z_]*$
+    id: ^comp_saf_dfa__[0-9a-z_]*$
+    failure_mode: ^.+$
+    failure_effect: ^(YES|NO)$
+    mitigation: ^.*$
+    mitigation_issue: ^.*$
+    sufficient: ^(yes|no)$
+    argument: ^.+$
+    status: ^(valid|invalid)$
+
 # Extra link types, which shall be available and allow need types to be linked to each other.
 # We use a dedicated linked type for each type of a connection, for instance from
 # a specification to a requirement. This makes filtering and visualization of such connections
@@ -596,17 +654,50 @@ needs_extra_links:
 # req- Id: gd_req__req__linkage_safety
 graph_checks:
   # req- Id: gd_req__req__linkage_safety
-  req_safety_linkage:
+  #
+  # If need-req is `QM`, parent must be `QM`.
+  req_safety_linkage_qm:
     needs:
       include: comp_req, feat_req
       condition:
         and:
-          - safety != QM
+          - safety == QM
+          - status == valid
+    check:
+      satisfies:
+        and:
+          - safety == QM
+          - status == valid
+  # req- Id: gd_req__req__linkage_safety
+  #
+  # If need-req is `ASIL_B`, parent can be `QM` or `ASIL_B`.
+  req_safety_linkage_asil_b:
+    needs:
+      include: comp_req, feat_req
+      condition:
+        and:
+          - safety == ASIL_B
+          - status == valid
+    check:
+      satisfies:
+        or:
+          - safety == QM
+          - safety == ASIL_B
+        and:
+          - status == valid
+  # req- Id: gd_req__req__linkage_safety
+  #
+  # If need-req is `ASIL_D`, parent can be anything.
+  req_safety_linkage_asil_d:
+    needs:
+      include: comp_req, feat_req
+      condition:
+        and:
+          - safety == ASIL_D
           - status == valid
     check:
       satisfies:
         and:
-          - safety != QM
           - status == valid
   req_linkage:
     needs: