Skip to content

[rules score] adapt rsl for safety analysis#309

Merged
hoe-jo merged 1 commit into
mainfrom
joho_update_metamodel
Jul 2, 2026
Merged

[rules score] adapt rsl for safety analysis#309
hoe-jo merged 1 commit into
mainfrom
joho_update_metamodel

Conversation

@hoe-jo

@hoe-jo hoe-jo commented Jul 2, 2026

Copy link
Copy Markdown
Contributor

No description provided.

@github-actions

github-actions Bot commented Jul 2, 2026

Copy link
Copy Markdown

Coverage Report

Coverage report was generated.

Full report can be downloaded from the CI artifacts (expand Artifacts at the bottom of the run).

Overall coverage rate:

lines......: 84.1%
functions......: 50.3%

}

type Mitigation "A measure that reduces the severity or probability of a failure mode's effect." extends Measure {
type AoU "Assumption of Use — a safety-relevant condition that a caller must fulfil when using this component." extends ControlMeasure {

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

A user must not necessarily be a caller.

Suggested change
type AoU "Assumption of Use — a safety-relevant condition that a caller must fulfil when using this component." extends ControlMeasure {
type AoU "Assumption of Use — a safety-relevant condition that a user of this component must fulfil." extends ControlMeasure {

@hoe-jo hoe-jo force-pushed the joho_update_metamodel branch from 791fb7b to 18457eb Compare July 2, 2026 10:23
@github-actions

github-actions Bot commented Jul 2, 2026

Copy link
Copy Markdown

Coverage Report

Coverage report was generated.

Full report can be downloaded from the CI artifacts (expand Artifacts at the bottom of the run).

Overall coverage rate:

lines......: 84.1%
functions......: 50.3%

@hoe-jo hoe-jo force-pushed the joho_update_metamodel branch from 18457eb to f8bf7c8 Compare July 2, 2026 10:40
@github-actions

github-actions Bot commented Jul 2, 2026

Copy link
Copy Markdown

Coverage Report

Coverage report was generated.

Full report can be downloaded from the CI artifacts (expand Artifacts at the bottom of the run).

Overall coverage rate:

lines......: 84.1%
functions......: 50.3%

@hoe-jo hoe-jo merged commit 7099e27 into main Jul 2, 2026
12 checks passed
@hoe-jo hoe-jo deleted the joho_update_metamodel branch July 2, 2026 11:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants