@@ -124,8 +124,8 @@ needs_types:
124124 mandatory_options :
125125 content : ^[\s\S]+$
126126 optional_links :
127- # req-Id: tool_req__docs_req_link_satisfies_allowed
128- # TODO: fix once process_description is fixed
127+ # req-Id: tool_req__docs_req_link_derived_from_allowed
128+ derived_from : workflow
129129 satisfies : workflow
130130 complies : std_req
131131 tags :
@@ -286,7 +286,9 @@ needs_types:
286286 status : ^(valid|invalid)$
287287 content : ^[\s\S]+$
288288 mandatory_links :
289- # req-Id: tool_req__docs_req_link_satisfies_allowed
289+ # req-Id: tool_req__docs_req_link_derived_from_allowed
290+ derived_from : stkh_req
291+ optional_links :
290292 satisfies : stkh_req
291293 optional_options :
292294 codelink : ^.*$
@@ -320,9 +322,11 @@ needs_types:
320322 status : ^(valid|invalid)$
321323 content : ^[\s\S]+$
322324 mandatory_links :
323- # req-Id: tool_req__docs_req_link_satisfies_allowed
324- satisfies : feat_req
325+ # req-Id: tool_req__docs_req_link_derived_from_allowed
326+ derived_from : feat_req
325327 belongs_to : comp
328+ optional_links :
329+ satisfies : feat_req
326330 optional_options :
327331 codelink : ^.*$
328332 testlink : ^.*$
@@ -342,8 +346,9 @@ needs_types:
342346 mandatory_options :
343347 content : ^[\s\S]+$
344348 optional_links :
345- # req-Id: tool_req__docs_req_link_satisfies_allowed
349+ # req-Id: tool_req__docs_req_link_derived_from_allowed
346350 # TODO: make it mandatory
351+ derived_from : gd_req, stkh_req
347352 satisfies : gd_req, stkh_req
348353 optional_options :
349354 codelink : ^.*$
@@ -430,8 +435,10 @@ needs_types:
430435 status : ^(valid|invalid)$
431436 mandatory_links :
432437 includes : ^logic_arc_int(_op)*__.+$
433- fulfils : feat_req
438+ satisfies : feat_req
434439 belongs_to : feat # make it mandatory for evaluation
440+ optional_links :
441+ fulfils : feat_req
435442 tags :
436443 - architecture_element
437444 - architecture_view
@@ -451,8 +458,10 @@ needs_types:
451458 # req-Id: tool_req__docs_common_attr_status
452459 status : ^(valid|invalid)$
453460 mandatory_links :
454- fulfils : feat_req
461+ satisfies : feat_req
455462 belongs_to : feat
463+ optional_links :
464+ fulfils : feat_req
456465 tags :
457466 - architecture_view
458467 - architecture_element
@@ -474,6 +483,7 @@ needs_types:
474483 status : ^(valid|invalid)$
475484 optional_links :
476485 includes : logic_arc_int_op
486+ satisfies : feat_req
477487 fulfils : feat_req
478488 tags :
479489 - architecture_element
@@ -578,9 +588,10 @@ needs_types:
578588 status : ^(valid|invalid)$
579589 mandatory_links :
580590 belongs_to : comp
581- fulfils : comp_req
591+ satisfies : comp_req
582592 optional_links :
583593 uses : logic_arc_int, real_arc_int_op
594+ fulfils : comp_req
584595 tags :
585596 - architecture_view
586597 parts : 3
@@ -600,6 +611,8 @@ needs_types:
600611 status : ^(valid|invalid)$
601612 mandatory_links :
602613 belongs_to : comp
614+ satisfies : comp_req
615+ optional_links :
603616 fulfils : comp_req
604617 tags :
605618 - architecture_view
@@ -621,6 +634,7 @@ needs_types:
621634 status : ^(valid|invalid)$
622635 language : ^(cpp|rust)$
623636 optional_links :
637+ satisfies : comp_req
624638 fulfils : comp_req
625639 tags :
626640 - architecture_element
@@ -920,9 +934,9 @@ needs_extra_links:
920934 # S-CORE Metamodel
921935 # #############################################################
922936 # Requirements
923- satisfies :
924- incoming : satisfied by
925- outgoing : satisfies
937+ derived_from :
938+ incoming : derives
939+ outgoing : derived from
926940
927941 # Architecture
928942 consists_of :
@@ -933,6 +947,11 @@ needs_extra_links:
933947 incoming : has
934948 outgoing : belongs to
935949
950+ satisfies :
951+ incoming : satisfied by
952+ outgoing : satisfies
953+
954+ # kept for backward compatibility - old name for satisfies
936955 fulfils :
937956 incoming : fulfilled by
938957 outgoing : fulfils
@@ -996,15 +1015,17 @@ graph_checks:
9961015 include : stkh_req, feat_req, comp_req, aou_req, gd_req, tool_req
9971016 condition : safety == QM
9981017 check :
1018+ derived_from : safety == QM
9991019 satisfies : safety == QM
1000- explanation : QM requirements cannot satisfy ASIL requirements.
1020+ explanation : QM requirements cannot be derived from ASIL requirements.
10011021
10021022 # req-Id: tool_req__docs_arch_link_qm_to_safety_req
10031023 tool_req__docs_arch_link_qm_to_safety_req :
10041024 needs :
10051025 include : feat_arc_sta, logic_arc_int, logic_arc_int_op, comp_arc_sta, real_arc_int, real_arc_int_op
10061026 condition : safety == QM
10071027 check :
1028+ satisfies : safety != QM
10081029 fulfils : safety != QM
10091030 explanation : An QM architecture element cannot implement ASIL requirements.
10101031
0 commit comments