Skip to content

FTA for failure mode regarding code and mw::config out of sync - #1143

Merged
crimson11 merged 1 commit into
eclipse-score:mainfrom
SebSparrowHawk:ssp_fta_code_config
Oct 16, 2026
Merged

crimson11 merged 1 commit into
eclipse-score:mainfrom
SebSparrowHawk:ssp_fta_code_config

Conversation

@SebSparrowHawk

Copy link
Copy Markdown
Contributor

No description provided.

@SebSparrowHawk
SebSparrowHawk force-pushed the ssp_fta_code_config branch 2 times, most recently from 4ae1e07 to 442a16d Compare September 24, 2026 07:02
@SebSparrowHawk
SebSparrowHawk force-pushed the ssp_fta_code_config branch 2 times, most recently from d9459bd to c7b5ee0 Compare October 6, 2026 13:10
@SebSparrowHawk
SebSparrowHawk marked this pull request as ready for review October 6, 2026 13:39
@SebSparrowHawk
SebSparrowHawk force-pushed the ssp_fta_code_config branch 2 times, most recently from 3d5e744 to 2f67157 Compare October 7, 2026 11:01
// mitigates = "GeneratedCodeDoesNotMatchGenerationInputs"
description = "Input artifacts shall be manually reviewed for correctness"
ScoreReq.AoU ArtifactsRequireManualReview {
description = "Input artifacts (proxy/skeleton code and mw::config) shall be manually reviewed for correctness"

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.

The input artefacts (which aragen generated) is the C++ service-interface definition. (not proxy/skeleton).
So - I guess regarding the config, we already have AoU?

So here you should just talk about the service-interface definition.

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

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

I checked and there is no dedicated AoU for the configuration (review).
I would therefore keep this AoU for both parts.
I adapted the description so that it's not calling it proxy/skeleton code but C++ service-interface definitions.

Since this AoU is also not aragen (or code generators in general) specific, I think it can handle all input artifacts.

ScoreReq.FailureMode CodeDoesNotMatchConfiguration {
guidewords = [ ScoreReq.Guideword.UnintendedFunction ]
description = "Proxys and Skeletons as data-types are generated using the aragen and not handwritten, may not match to the input (Meta-Model)."
description = "Definitions of proxies, skeletons and data-types may not match the given mw::com configuration."

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.

see above -> service-.interface definition may not match ...

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

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

Adapted this part.

@SebSparrowHawk
SebSparrowHawk force-pushed the ssp_fta_code_config branch 3 times, most recently from 7ab1511 to 65598b6 Compare October 14, 2026 08:00
crimson11
crimson11 previously approved these changes Oct 14, 2026
@SebSparrowHawk
SebSparrowHawk force-pushed the ssp_fta_code_config branch 2 times, most recently from 5097d03 to b1067e0 Compare October 15, 2026 06:50
@crimson11
crimson11 added this pull request to the merge queue Oct 16, 2026
Merged via the queue into eclipse-score:main with commit 4076fbd Oct 16, 2026
19 checks passed
@github-project-automation github-project-automation Bot moved this from Backlog to Done in COM - Communication FT Oct 16, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

2 participants