Skip to content

Comments

OS module requirements and AoU#2515

Merged
aschemmel-tech merged 5 commits intomainfrom
aschemmel-tech-add-os-integration
Feb 19, 2026
Merged

OS module requirements and AoU#2515
aschemmel-tech merged 5 commits intomainfrom
aschemmel-tech-add-os-integration

Conversation

@aschemmel-tech
Copy link
Contributor

Resolves: #536

@github-actions
Copy link

⚠️ Docs-as-Code version mismatch detected
Please check the CI build logs for details and align the documentation version with the Bazel dependency.

@aschemmel-tech aschemmel-tech requested a review from odra January 28, 2026 13:45
@aschemmel-tech aschemmel-tech force-pushed the aschemmel-tech-add-os-integration branch from 2c74181 to 778b891 Compare January 28, 2026 13:55
@github-actions
Copy link

The created documentation from the pull request is available at: docu-html

@aschemmel-tech aschemmel-tech marked this pull request as ready for review January 28, 2026 14:26
:id: doc__os_aou
:status: draft
:safety: ASIL_B
:security: NO
Copy link
Contributor

Choose a reason for hiding this comment

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

Requirements have security set, but not the document header?

Copy link
Contributor Author

Choose a reason for hiding this comment

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

corrected

Copy link
Contributor

Choose a reason for hiding this comment

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

I see same for libc

Copy link
Contributor Author

Choose a reason for hiding this comment

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

fixed

:status: valid
:safety: ASIL_B
:implements: logic_arc_int__os__libcpp
:security: NO
Copy link
Contributor

Choose a reason for hiding this comment

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

here security no

Copy link
Contributor Author

Choose a reason for hiding this comment

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

fixed

Its components are modelled in S-CORE to be able to describe dependencies of S-CORE features to
this external component.
As it is external to S-CORE, the (folder/file) structure of the documentation may be different from the other modules.
Its main content is the POSIX operating system environment (sometimes also already called a "SW platform").
Copy link
Contributor

Choose a reason for hiding this comment

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

POSIX is not an environment, but an interface.

Copy link
Contributor Author

Choose a reason for hiding this comment

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

removed here, added reference to POSIX in os/docs/requirements/index.rst

:safety: ASIL_B
:status: valid

If the system using the SW-platform has safety goals, the used os module shall offer the following functions in a safe way:
Copy link
Contributor

Choose a reason for hiding this comment

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

What means "safe way" ?

Copy link
Contributor Author

Choose a reason for hiding this comment

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

tried a reformulation

- filesystem access (data integrity of read-only-memory)
- DMA
- IPC communication primitives (shared memory and message passing)
- C++ standard library (according to Iso 14882)
Copy link
Contributor

Choose a reason for hiding this comment

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

Iso -> ISO

Copy link
Contributor Author

Choose a reason for hiding this comment

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

fixed

- C++ standard library (according to Iso 14882)
- C library
- math library
- time source
Copy link
Contributor

Choose a reason for hiding this comment

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

time source is unclear. It could be an hardware clock or date/time ... Is this monotonic ?

Copy link
Contributor Author

Choose a reason for hiding this comment

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

reformulated

@pahmann
Copy link
Member

pahmann commented Feb 11, 2026

It says that it resolves #536, but I am not sure if we also handle the fact that the Operating System will put requirements and assumptions of use to the platform and the modules. How do we handle this. To my perspective when we put AoUs on the OS and the OS fulfills it, it may indicate wrong impression that we are "safe" as we actually miss the AoUs in the other direction.

@aschemmel-tech
Copy link
Contributor Author

It says that it resolves #536, but I am not sure if we also handle the fact that the Operating System will put requirements and assumptions of use to the platform and the modules. How do we handle this. To my perspective when we put AoUs on the OS and the OS fulfills it, it may indicate wrong impression that we are "safe" as we actually miss the AoUs in the other direction.

The "expected" generic AoU from any OS to S-CORE are documented in https://eclipse-score.github.io/score/pr-2515/modules/os/docs/requirements/aou_req.html. As we cannot provide the "specific" ones (at least for QNX), this is an AoU to the user: https://eclipse-score.github.io/score/pr-2515/requirements/platform_assumptions/index.html#aou_req__platform__safety_integration

@aschemmel-tech aschemmel-tech force-pushed the aschemmel-tech-add-os-integration branch from 3e8b2b3 to f970bfc Compare February 16, 2026 15:13
@aschemmel-tech aschemmel-tech force-pushed the aschemmel-tech-add-os-integration branch from f970bfc to bd20942 Compare February 16, 2026 15:27
@aschemmel-tech
Copy link
Contributor Author

aschemmel-tech commented Feb 16, 2026

PR was presented and accepted in the architecture and process community - improvement proposal see next commit

Copy link
Contributor

@qor-lb qor-lb left a comment

Choose a reason for hiding this comment

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

LGTM

@aschemmel-tech aschemmel-tech merged commit b670fe6 into main Feb 19, 2026
8 checks passed
@aschemmel-tech aschemmel-tech deleted the aschemmel-tech-add-os-integration branch February 19, 2026 12:26
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.

Epic: OS / QNX integration process

6 participants