Skip to content

Update model to cope with upstream changes in TRLC #337

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
LittleHuba wants to merge 1 commit into from
Closed

Update model to cope with upstream changes in TRLC #337

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
13 changes: 8 additions & 5 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 @@ -44,11 +44,14 @@ abstract type RequirementSafety "Extension of Requirement that carries an ASIL c
Asil
}

abstract type CompReqSource "Common base for requirement types that can be used as component requirement sources." extends RequirementSafety {
}

///////////////////////////////
// S-Core Requirements Model
///////////////////////////////

type AssumedSystemReq "System-level requirement received from the wider operational context (e.g. platform)." extends RequirementSafety {
type AssumedSystemReq "System-level requirement received from the wider operational context (e.g. platform)." extends CompReqSource {
rationale "Explanation of why this system-level requirement exists and how it was derived."
String
}
Expand All @@ -59,7 +62,7 @@ tuple AssumedSystemReqId {
version Integer
}

type FeatReq "High-level feature requirement derived from one or more AssumedSystemReq items." extends RequirementSafety {
type FeatReq "High-level feature requirement derived from one or more AssumedSystemReq items." extends CompReqSource {
derived_from "One or more versioned references to the AssumedSystemReq items this feature requirement is derived from."
AssumedSystemReqId[1 .. *]
}
Expand All @@ -71,7 +74,7 @@ tuple FeatReqId {
}

tuple CompReqSourceId {
item [FeatReq, AssumedSystemReq]
item CompReqSource
separator @
version Integer
}
Expand Down Expand Up @@ -159,7 +162,7 @@ type ControlMeasure "A design or operational measure that detects, prevents, or
optional String
}

type PreventiveMeasure "A measure that prevents a failure mode from occurring in the first place." {
type PreventiveMeasure "A measure that prevents a failure mode from occurring in the first place." extends ControlMeasure {
}

type Mitigation "A measure that reduces the severity or probability of a failure mode's effect." extends AssumedSystemReq {
Expand All @@ -171,7 +174,7 @@ type AoU "Assumption of Use — a safety-relevant condition that a user must ful
}

tuple Measure {
item [ControlMeasure, PreventiveMeasure, Mitigation]
item RequirementSafety
separator @
version Integer
}
Expand Down
Loading