File tree Expand file tree Collapse file tree 1 file changed +24
-24
lines changed
src/extensions/score_metamodel Expand file tree Collapse file tree 1 file changed +24
-24
lines changed Original file line number Diff line number Diff line change @@ -506,32 +506,32 @@ needs_types:
506506
507507# Safety Analysis DFA
508508feat_saf_dfa :
509- title : DFA
510- prefix : feat_saf_dfa__
511- mandatory_options :
512- verifies : ^feat_arc_sta__[0-9a-z_]*$
513- id : ^feat_saf_dfa__[0-9a-z_]*$
514- violation_id : ^.+$
515- violation_cause : ^(YES|NO)$
516- mitigation : ^.*$
517- mitigation_issue : ^.*$
518- sufficient : ^(yes|no)$
519- argument : ^.+$
520- status : ^(valid|invalid)$
509+ title : DFA
510+ prefix : feat_saf_dfa__
511+ mandatory_options :
512+ verifies : ^feat_arc_sta__[0-9a-z_]*$
513+ id : ^feat_saf_dfa__[0-9a-z_]*$
514+ violation_id : ^.+$
515+ violation_cause : ^(YES|NO)$
516+ mitigation : ^.*$
517+ mitigation_issue : ^.*$
518+ sufficient : ^(yes|no)$
519+ argument : ^.+$
520+ status : ^(valid|invalid)$
521521
522522comp_saf_dfa :
523- title : DFA
524- prefix : comp_saf_dfa__
525- mandatory_options :
526- verifies : ^comp_arc_sta__[0-9a-z_]*$
527- id : ^comp_saf_dfa__[0-9a-z_]*$
528- violation_id : ^.+$
529- violation_cause : ^(YES|NO)$
530- mitigation : ^.*$
531- mitigation_issue : ^.*$
532- sufficient : ^(yes|no)$
533- argument : ^.+$
534- status : ^(valid|invalid)$
523+ title : DFA
524+ prefix : comp_saf_dfa__
525+ mandatory_options :
526+ verifies : ^comp_arc_sta__[0-9a-z_]*$
527+ id : ^comp_saf_dfa__[0-9a-z_]*$
528+ violation_id : ^.+$
529+ violation_cause : ^(YES|NO)$
530+ mitigation : ^.*$
531+ mitigation_issue : ^.*$
532+ sufficient : ^(yes|no)$
533+ argument : ^.+$
534+ status : ^(valid|invalid)$
535535
536536# Safety Analysis FMEA
537537feat_saf_fmea :
You can’t perform that action at this time.
0 commit comments