From 907477d71f9823217808599795c57820808c5b3e Mon Sep 17 00:00:00 2001 From: akriti Date: Mon, 10 Aug 2026 12:12:18 +0530 Subject: [PATCH] feat(trlc): allow CompReq to derive from AoU Extend CompReqSourceId tuple to accept AoU references in addition to FeatReq and AssumedSystemReq. This allows component requirements to directly derive from Assumptions of Use, enabling traceability from a CompReq to an AoU without requiring an intermediate FeatReq --- .../trlc/config/score_requirements_model.rsl | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) 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 @