Skip to content

feat(trlc): allow CompReq to derive from AoU #411

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
akritisingh1109 wants to merge 1 commit into from
Closed

feat(trlc): allow CompReq to derive from AoU #411

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
18 changes: 9 additions & 9 deletions bazel/rules/rules_score/trlc/config/score_requirements_model.rsl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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
}
Expand Down Expand Up @@ -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." {
}

Expand All @@ -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 @
Expand Down