mw/com: expose public assumptions_of_use target for safety analysis AoUs - #937
Open
akritisingh1109 wants to merge 1 commit into
Open
mw/com: expose public assumptions_of_use target for safety analysis AoUs#937akritisingh1109 wants to merge 1 commit into
akritisingh1109 wants to merge 1 commit into
Conversation
akritisingh1109
requested review from
LittleHuba,
bemerybmw,
castler,
crimson11,
hoe-jo and
limdor
as code owners
August 17, 2026 06:06
limdor
reviewed
Aug 17, 2026
| ) | ||
|
|
||
| assumptions_of_use( | ||
| name = "assumptions_of_use", |
Contributor
There was a problem hiding this comment.
This feels wrong. With this change we have the file aou.trlc in two targets, fmea target and the assumptions_of_use target.
If the problem is that aou.trlc contains AoUs and control measures, we should just split it first.
I cannot see the AoUs linked in the fmea in https://eclipse-score.github.io/tooling/latest/user_guide/dependability_analysis.html#fmea, is this correct? Are AoUs not linked to an fmea? I would have expected that the AoUs that are the result of hte FMEA they are linked also to the fmea.
limdor
requested changes
Aug 17, 2026
akritisingh1109
force-pushed
the
add-mw-com-assumptions-of-use
branch
7 times, most recently
from
August 31, 2026 04:46
57a826e to
45bb1a7
Compare
Adds a public assumptions_of_use Bazel target wrapping aou.trlc under score/mw/com/dependability/safety_analysis, following the existing message_passing pattern. This enables downstream typed derived_from traceability references to mw::com AoUs without a local patch.
akritisingh1109
force-pushed
the
add-mw-com-assumptions-of-use
branch
from
August 31, 2026 05:35
45bb1a7 to
2739193
Compare
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Adds a public assumptions_of_use Bazel target wrapping aou.trlc under score/mw/com/dependability/safety_analysis