From a4665ef03f6e11053f0e497f309a12077e4e8e7f Mon Sep 17 00:00:00 2001 From: aschemmel-tech Date: Tue, 28 Apr 2026 15:12:54 +0200 Subject: [PATCH 1/2] Add links from FMEA to static architecture views as agreed in https://github.com/orgs/eclipse-score/discussions/2234#discussioncomment-16682851 Signed-off-by: aschemmel-tech --- src/extensions/score_metamodel/metamodel.yaml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/extensions/score_metamodel/metamodel.yaml b/src/extensions/score_metamodel/metamodel.yaml index a7a28c66a..0b49ce454 100644 --- a/src/extensions/score_metamodel/metamodel.yaml +++ b/src/extensions/score_metamodel/metamodel.yaml @@ -812,7 +812,7 @@ needs_types: mitigation_issue: ^https://github.com/.*$ mandatory_links: # req-Id: tool_req__docs_saf_attrs_violates - violates: feat_arc_dyn + violates: feat_arc_dyn, feat_arc_sta optional_links: # req-Id: tool_req__docs_saf_attrs_mitigated_by # (only mandatory once valid status == valid) @@ -839,7 +839,7 @@ needs_types: mitigation_issue: ^https://github.com/.*$ mandatory_links: # req-Id: tool_req__docs_saf_attrs_violates - violates: comp_arc_dyn + violates: comp_arc_dyn, comp_arc_sta optional_links: mitigated_by: comp_req, aou_req tags: From 6282659ba94f95041f942b88a29141734de58cd0 Mon Sep 17 00:00:00 2001 From: Alexander Lanin Date: Wed, 29 Apr 2026 16:40:01 +0200 Subject: [PATCH 2/2] adjust and improve tests Co-authored-by: Copilot --- .../rst/options/test_options_options.rst | 24 ++++++++++++++++--- 1 file changed, 21 insertions(+), 3 deletions(-) diff --git a/src/extensions/score_metamodel/tests/rst/options/test_options_options.rst b/src/extensions/score_metamodel/tests/rst/options/test_options_options.rst index 3a587e606..fdad574c7 100644 --- a/src/extensions/score_metamodel/tests/rst/options/test_options_options.rst +++ b/src/extensions/score_metamodel/tests/rst/options/test_options_options.rst @@ -190,15 +190,33 @@ +--- feat_saf_fmea violates begin --- + .. Negative Test: Linked to a non-allowed requirement type. -#EXPECT: feat_saf_fmea__child__26: references 'comp_req__child__ASIL_B' as 'violates', but it must reference Feature Sequence Diagram (feat_arc_dyn). +#EXPECT: feat_saf_fmea__child__26: references 'comp_req__child__ASIL_B' as 'violates', but it must reference Feature Sequence Diagram (feat_arc_dyn) or Feature & Feature Package Diagram (feat_arc_sta). .. feat_saf_fmea:: Child requirement 26 :id: feat_saf_fmea__child__26 - :safety: ASIL_B - :status: valid :violates: comp_req__child__ASIL_B +.. feat_saf_fmea can link either feat_arc_dyn or feat_arc_sta + +Expect no errors related to "violates" field. We need to be generic for expect-not verifications. +#EXPECT-NOT: violates + +.. feat_saf_fmea:: This requirement links a feat_arc_dyn + :id: feat_saf_fmea__violate__dyn + :violates: feat_arc_dyn__test_good_1 + + +Expect no errors related to "violates" field. We need to be generic for expect-not verifications. +#EXPECT-NOT: violates + +.. feat_saf_fmea:: This requirement links a feat_arc_sta + :id: feat_saf_fmea__violate__sta + :violates: feat_arc_sta__test_good_1 + +--- feat_saf_fmea violates end --- .. Tests if the attribute `safety` follows the pattern `^(QM|ASIL_B)$`