+
Skip to content

Correct Baselibs reqs ASIL #1409

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

Merged
merged 5 commits into from
Jul 18, 2025
Merged

Correct Baselibs reqs ASIL #1409

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
eeb3504
Correct Baselibs reqs ASIL - enable check
aschemmel-tech Jul 14, 2025
441a1df
Correct Kvs reqs ASIL
aschemmel-tech Jul 15, 2025
e174ba6
lola: adapt ASIL Level for checks
hoe-jo Jul 15, 2025
2fc0dc4
Update doc-as-code version - better checks
aschemmel-tech Jul 16, 2025
fb84e28
Update FEO requirements ASIL
aschemmel-tech Jul 16, 2025
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
4 changes: 2 additions & 2 deletions MODULE.bazel
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -90,5 +90,5 @@ bazel_dep(name = "score_cr_checker", version = "0.2.2")
bazel_dep(name = "score_starpls_lsp", version = "0.1.0")
# Checker rule for CopyRight checks/fixs

bazel_dep(name = "score_docs_as_code", version = "0.3.3")
bazel_dep(name = "score_process", version = "1.0.1")
bazel_dep(name = "score_docs_as_code", version = "0.4.3")
bazel_dep(name = "score_process", version = "1.0.4")
8 changes: 4 additions & 4 deletions docs/features/baselibs/docs/requirements/index.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -30,17 +30,17 @@ Requirements
:reqtype: Functional
:security: NO
:safety: ASIL_B
:satisfies: stkh_req__functional_req__base_libraries
:satisfies: stkh_req__functional_req__base_libraries, stkh_req__dependability__automotive_safety
:status: valid

The base libraries shall implement functionality necessary to support safety-relevant platform components up to ASIL-B.
The base libraries shall implement functionality necessary to support safety-relevant platform components up to ASIL-B for selected functionalities.
Copy link
Contributor

Choose a reason for hiding this comment

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

Suggested change
The base libraries shall implement functionality necessary to support safety-relevant platform components up to ASIL-B for selected functionalities.
The base libraries shall implement functionality necessary to support safety-relevant platform components up to ASIL-B.

The additional restriction does not really add value.

Copy link
Contributor Author

Choose a reason for hiding this comment

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

without the restriction all libraries functions would need ASIL B implementation and I think this is not planned. Merged nevertheless as this blocks some other PR work.


.. feat_req:: Multi-Language APIs
:id: feat_req__baselibs__multi_language_apis
:reqtype: Functional
:security: NO
:safety: QM
:satisfies: stkh_req__functional_req__base_libraries, stkh_req__dev_experience__prog_languages
:safety: ASIL_B
:satisfies: stkh_req__functional_req__base_libraries, stkh_req__dev_experience__prog_languages, stkh_req__dependability__automotive_safety
:status: valid

The base libraries shall provide APIs for C++, Rust, or both, depending on the requirements of consuming platform components.
Expand Down
54 changes: 27 additions & 27 deletions docs/features/communication/docs/requirements/index.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -22,7 +22,7 @@ Requirements
:reqtype: Functional
:security: NO
:safety: ASIL_B
:satisfies: stkh_req__communication__inter_process, stkh_req__app_architectures__support_time
:satisfies: stkh_req__communication__inter_process, stkh_req__app_architectures__support_time, stkh_req__communication__safe
:status: valid

The communication framework shall provide API to support a time-based architecture.
Expand Down Expand Up @@ -52,7 +52,7 @@ Requirements
:reqtype: Functional
:security: NO
:safety: ASIL_B
:satisfies: stkh_req__communication__inter_process, stkh_req__app_architectures__support_data,stkh_req__app_architectures__support_request
:satisfies: stkh_req__communication__inter_process, stkh_req__app_architectures__support_data,stkh_req__app_architectures__support_time, stkh_req__communication__safe, stkh_req__app_architectures__support_request
:status: valid

A communication interface consists of a combination of any number of the following elements:
Expand All @@ -66,7 +66,7 @@ Requirements
:reqtype: Functional
:security: NO
:safety: ASIL_B
:satisfies: stkh_req__communication__inter_process, stkh_req__app_architectures__support_data
:satisfies: stkh_req__communication__inter_process, stkh_req__app_architectures__support_time
:status: valid

An event-type is part of a communication interface and has:
Expand All @@ -82,7 +82,7 @@ Requirements
:reqtype: Functional
:security: NO
:safety: ASIL_B
:satisfies: stkh_req__communication__inter_process, stkh_req__app_architectures__support_request
:satisfies: stkh_req__communication__inter_process, stkh_req__app_architectures__support_request, stkh_req__communication__safe
:status: valid

A method is part of a communication interface and has:
Expand All @@ -102,7 +102,7 @@ Requirements
:reqtype: Functional
:security: NO
:safety: QM
:satisfies: stkh_req__communication__inter_process, stkh_req__app_architectures__support_time
:satisfies: stkh_req__communication__inter_process, stkh_req__app_architectures__support_request
:status: valid

A signal is part of a communication interface and has:
Expand All @@ -124,7 +124,7 @@ Requirements
:reqtype: Functional
:security: NO
:safety: ASIL_B
:satisfies: stkh_req__communication__inter_process, stkh_req__app_architectures__support_time
:satisfies: stkh_req__communication__inter_process, stkh_req__app_architectures__support_time, stkh_req__communication__safe
:status: valid

Communication shall be cached based on the producer-consumer pattern.
Expand All @@ -134,7 +134,7 @@ Requirements
:reqtype: Functional
:security: NO
:safety: ASIL_B
:satisfies: stkh_req__communication__inter_process
:satisfies: stkh_req__communication__inter_process, stkh_req__communication__safe
:status: valid

Multiple service instances shall be able to offer the same interface.
Expand All @@ -147,7 +147,7 @@ Requirements
:reqtype: Functional
:security: NO
:safety: ASIL_B
:satisfies: stkh_req__communication__inter_process
:satisfies: stkh_req__communication__inter_process, stkh_req__communication__safe
:status: valid

A service instance is offered under one or more unique names by which it can be discovered.
Expand All @@ -162,7 +162,7 @@ Requirements
:reqtype: Functional
:security: NO
:safety: ASIL_B
:satisfies: stkh_req__communication__inter_process
:satisfies: stkh_req__communication__inter_process, stkh_req__communication__safe
:status: valid

The communication framework shall support versioning of service instances:
Expand All @@ -178,7 +178,7 @@ Requirements
:reqtype: Functional
:security: NO
:safety: ASIL_B
:satisfies: stkh_req__communication__inter_process
:satisfies: stkh_req__communication__inter_process, stkh_req__communication__safe
:status: valid

The interface to access service instances is agnostic to the binding used to communicate with the service.
Expand All @@ -191,7 +191,7 @@ Requirements
:reqtype: Functional
:security: NO
:safety: ASIL_B
:satisfies: stkh_req__communication__inter_process
:satisfies: stkh_req__communication__inter_process, stkh_req__communication__safe
:status: valid

The communication framework shall support stateless communication.
Expand All @@ -205,7 +205,7 @@ Requirements
:reqtype: Functional
:security: NO
:safety: ASIL_B
:satisfies: stkh_req__communication__inter_process
:satisfies: stkh_req__communication__inter_process, stkh_req__communication__safe
:status: valid

The communication framework shall support multiple service instances per software architecture element.
Expand All @@ -218,10 +218,10 @@ Requirements
:reqtype: Functional
:security: NO
:safety: ASIL_B
:satisfies: stkh_req__communication__inter_process
:satisfies: stkh_req__communication__inter_process, stkh_req__communication__safe
:status: valid

The communication framework shall provide service discovery to find available services during runtime. Service discovery shall consider version compatibility. Service discovery shall be handled implicitly (where possible).
The communication framework shall provide service discovery to find available services during runtime. Service discovery shall consider version compatibility. Service discovery shall be handled implicitly (where possible).

.. note::
The service discovery may be restricted/impacted by availability of deployment information.
Expand All @@ -235,7 +235,7 @@ Mixed-Criticality safety systems
:reqtype: Functional
:security: YES
:safety: ASIL_B
:satisfies: stkh_req__communication__inter_process
:satisfies: stkh_req__communication__inter_process, stkh_req__communication__safe
:status: valid

The communication framework shall support safe communication involving communication partners on the same or multiple
Expand All @@ -246,7 +246,7 @@ Mixed-Criticality safety systems
:reqtype: Functional
:security: YES
:safety: ASIL_B
:satisfies: stkh_req__communication__inter_process
:satisfies: stkh_req__communication__inter_process, stkh_req__communication__safe
:status: valid

Consumers with lower criticality shall not be able to corrupt data consumed by partners with higher criticality.
Expand All @@ -256,7 +256,7 @@ Mixed-Criticality safety systems
:reqtype: Functional
:security: YES
:safety: ASIL_B
:satisfies: stkh_req__communication__inter_process
:satisfies: stkh_req__communication__inter_process, stkh_req__communication__safe
:status: valid

Consumers with lower criticality shall not be able to modify the order of data consumed by partners with higher
Expand All @@ -267,7 +267,7 @@ Mixed-Criticality safety systems
:reqtype: Functional
:security: YES
:safety: ASIL_B
:satisfies: stkh_req__communication__inter_process
:satisfies: stkh_req__communication__inter_process, stkh_req__communication__safe
:status: valid

Consumers with lower criticality shall not be able to duplicate data consumed by other communication partners with
Expand All @@ -278,7 +278,7 @@ Mixed-Criticality safety systems
:reqtype: Functional
:security: YES
:safety: ASIL_B
:satisfies: stkh_req__communication__inter_process
:satisfies: stkh_req__communication__inter_process, stkh_req__communication__safe
:status: valid

Consumers with lower criticality shall not be able to drop data before it is consumed by partners with higher
Expand All @@ -293,7 +293,7 @@ Performance
:reqtype: Functional
:security: NO
:safety: QM
:satisfies: stkh_req__communication__inter_process,stkh_req__app_architectures__support_data
:satisfies: stkh_req__communication__inter_process,stkh_req__app_architectures__support_data, stkh_req__app_architectures__support_request
:status: valid

The communication framework shall enable Zero-Copy communication without copying to-be-transferred data.
Expand Down Expand Up @@ -409,7 +409,7 @@ Dynamic deployment at runtime
:reqtype: Functional
:security: YES
:safety: ASIL_B
:satisfies: stkh_req__communication__inter_process
:satisfies: stkh_req__communication__inter_process, stkh_req__communication__safe
:status: valid

Deployment configuration shall be read from an integrity-checked configuration file at runtime.
Expand All @@ -422,7 +422,7 @@ Tracing
:reqtype: Functional
:security: NO
:safety: ASIL_B
:satisfies: stkh_req__dev_experience__tracing_of_comm
:satisfies: stkh_req__dev_experience__tracing_of_comm, stkh_req__communication__safe
:status: valid

The communication framework shall provide infrastructure to enable binding-agnostic, zero-copy, read-only tracing of
Expand All @@ -436,7 +436,7 @@ Security Impact
:reqtype: Functional
:security: YES
:safety: QM
:satisfies: stkh_req__communication__inter_process
:satisfies: stkh_req__communication__inter_process, stkh_req__dependability__security_features
:status: valid

The communication framework shall support an Access Control Lists in the deployment configuration.
Expand All @@ -446,7 +446,7 @@ Security Impact
:reqtype: Functional
:security: YES
:safety: QM
:satisfies: stkh_req__communication__inter_process
:satisfies: stkh_req__communication__inter_process, stkh_req__dependability__security_features
:status: valid

The communication framework shall support an Access Control List per service instance.
Expand All @@ -456,7 +456,7 @@ Security Impact
:reqtype: Functional
:security: YES
:safety: QM
:satisfies: stkh_req__communication__inter_process
:satisfies: stkh_req__communication__inter_process, stkh_req__dependability__security_features
:status: valid

The communication framework shall support an Access Control List for the communication partner offering a service
Expand All @@ -468,7 +468,7 @@ Security Impact
:reqtype: Functional
:security: YES
:safety: QM
:satisfies: stkh_req__communication__inter_process
:satisfies: stkh_req__communication__inter_process, stkh_req__dependability__security_features
:status: valid

The communication framework shall support an Access Control List for the communication partner consuming a service
Expand All @@ -483,7 +483,7 @@ Safety Impact
:reqtype: Functional
:security: YES
:safety: ASIL_B
:satisfies: stkh_req__communication__inter_process
:satisfies: stkh_req__communication__inter_process, stkh_req__communication__safe
:status: valid

The communication framework shall support safe communication up to ASIL-B.
Expand Down
Loading
点击 这是indexloc提供的php浏览器服务，不要输入任何密码和下载