File tree Expand file tree Collapse file tree 1 file changed +36
-3
lines changed
src/extensions/score_metamodel Expand file tree Collapse file tree 1 file changed +36
-3
lines changed Original file line number Diff line number Diff line change @@ -654,17 +654,50 @@ needs_extra_links:
654654# req- Id: gd_req__req__linkage_safety
655655graph_checks :
656656 # req- Id: gd_req__req__linkage_safety
657- req_safety_linkage :
657+ #
658+ # If need-req is `QM`, parent must be `QM`.
659+ req_safety_linkage_qm :
658660 needs :
659661 include : comp_req, feat_req
660662 condition :
661663 and :
662- - safety != QM
664+ - safety == QM
665+ - status == valid
666+ check :
667+ satisfies :
668+ and :
669+ - safety == QM
670+ - status == valid
671+ # req- Id: gd_req__req__linkage_safety
672+ #
673+ # If need-req is `ASIL_B`, parent can be `QM` or `ASIL_B`.
674+ req_safety_linkage_asil_b :
675+ needs :
676+ include : comp_req, feat_req
677+ condition :
678+ and :
679+ - safety == ASIL_B
680+ - status == valid
681+ check :
682+ satisfies :
683+ or :
684+ - safety == QM
685+ - safety == ASIL_B
686+ and :
687+ - status == valid
688+ # req- Id: gd_req__req__linkage_safety
689+ #
690+ # If need-req is `ASIL_D`, parent can be anything.
691+ req_safety_linkage_asil_d :
692+ needs :
693+ include : comp_req, feat_req
694+ condition :
695+ and :
696+ - safety == ASIL_D
663697 - status == valid
664698 check :
665699 satisfies :
666700 and :
667- - safety != QM
668701 - status == valid
669702 req_linkage :
670703 needs :
You can’t perform that action at this time.
0 commit comments