diff --git a/bazel/rules/rules_score/trlc/config/score_requirements_model.rsl b/bazel/rules/rules_score/trlc/config/score_requirements_model.rsl index 3a2d44ce..26a8e3ae 100644 --- a/bazel/rules/rules_score/trlc/config/score_requirements_model.rsl +++ b/bazel/rules/rules_score/trlc/config/score_requirements_model.rsl @@ -70,8 +70,16 @@ tuple FeatReqId { version Integer } +type ControlMeasure "A design or operational measure that detects, prevents, or limits a failure mode." extends RequirementSafety { + mitigates "Reference to the FailureMode or safety concern that this requirement mitigates." + optional String +} + +type AoU "Assumption of Use — a safety-relevant condition that a user must fulfil." extends ControlMeasure { +} + tuple CompReqSourceId { - item [FeatReq, AssumedSystemReq] + item [FeatReq, AssumedSystemReq, AoU] separator @ version Integer } @@ -154,11 +162,6 @@ type FailureMode "A potential failure of a system function, described using one optional String } -type ControlMeasure "A design or operational measure that detects, prevents, or limits a failure mode." extends RequirementSafety { - mitigates "Reference to the FailureMode or safety concern that this requirement mitigates." - optional String -} - type PreventiveMeasure "A measure that prevents a failure mode from occurring in the first place." { } @@ -167,9 +170,6 @@ type Mitigation "A measure that reduces the severity or probability of a failure optional String } -type AoU "Assumption of Use — a safety-relevant condition that a user must fulfil." extends ControlMeasure { -} - tuple Measure { item [ControlMeasure, PreventiveMeasure, Mitigation] separator @