+
Skip to content

Quality improvement persistency: closes #1805 #1812

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

Open
wants to merge 2 commits into
base: main
Choose a base branch
from
Open

Quality improvement persistency: closes #1805 #1812

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
78aedbb
closes #1805
PandaeDo Sep 25, 2025
d83923c
update links safety plan
PandaeDo Sep 25, 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
2 changes: 1 addition & 1 deletion MODULE.bazel
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -36,7 +36,7 @@ use_repo(python)

# Additional Python rules provided by aspect, e.g. an improved version of
# `py_binary`. But more importantly, it provides `py_venv`.
bazel_dep(name = "aspect_rules_py", version = "1.4.0")
bazel_dep(name = "aspect_rules_py", version = "1.6.3")

###############################################################################
#
Expand Down
4 changes: 3 additions & 1 deletion docs/features/persistency/kvs/architecture/index.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -18,10 +18,12 @@ Architecture
============

.. document:: Persistency KVS Feature Architecture
:id: doc__persistency_kvs_feat_arch
:id: doc__persistency_architecture
:status: valid
:safety: ASIL_B
:security: NO
:realizes: PROCESS_wp__feature_arch
:tags: persistency

Overview
--------
Expand Down
4 changes: 3 additions & 1 deletion docs/features/persistency/kvs/index.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -19,7 +19,9 @@ Key-Value-Storage
:id: doc__persistency_kvs
:status: valid
:safety: ASIL_B
:tags: feature_request, persistency_kvs
:security: NO
:realizes: PROCESS_wp__feat_request
:tags: feature_request, persistency

.. toctree::
requirements/index.rst
Expand Down
200 changes: 101 additions & 99 deletions docs/features/persistency/kvs/requirements/chklst_req_inspection.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -18,106 +18,108 @@ Requirement Inspection Checklist Persistency KVS
================================================

.. document:: Requirements Inspection Checklist Persistency KVS
:id: doc__req_inspection_persistency
:status: valid
:tags: persistency
:id: doc__req_inspection_persistency
:status: valid
:safety: ASIL_B
:security: NO
:tags: persistency

**Purpose**
The purpose of this requirement inspection checklist is to collect the topics to be checked during requirements inspection.
**Purpose**
The purpose of this requirement inspection checklist is to collect the topics to be checked during requirements inspection.

**Checklist**
**Checklist**

.. list-table:: Requirement Inspection Checklist Persistency KVS
:header-rows: 1
:widths: 10,30,50,6,6,8
.. list-table:: Requirement Inspection Checklist Persistency KVS
:header-rows: 1
:widths: 10,30,50,6,6,8

* - Review ID
- Acceptance Criteria
- Guidance
- Passed
- Remarks
- Issue link
* - REQ_01_01
- Is the requirement sentence template used?
- see :need:`PROCESS_gd_temp__req_formulation`, this includes the use of "shall".
- Yes
- No remarks
- https://github.com/eclipse-score/score/issues/960
* - REQ_02_01
- Is the requirement description *comprehensible* ?
- If you think the requirement is hard to understand, comment here.
- Yes
- No remarks
- https://github.com/eclipse-score/score/issues/960
* - REQ_02_02
- Is the requirement description *unambiguous* ?
- Especially search for "weak words" like "about", "etc.", "relevant" and others (see the internet documentation on this). This check shall be supported by tooling.
- Yes
- No remarks
- https://github.com/eclipse-score/score/issues/960
* - REQ_02_03
- Is the requirement description *atomic* ?
- A good way to think about this is to consider if the requirement may be tested by one (positive) test case or needs more of these. The sentence template should also avoid being non-atomic already. Note that there are cases where also non-atomic requirements are the better ones, for example if those are better understandable.
- Yes
- No remarks
- https://github.com/eclipse-score/score/issues/960
* - REQ_02_04
- Is the requirement description *feasible* ?
- Expectation is that at the time of the inspection the requirement has already some implementation. This can be checked via traces, but also :need:`PROCESS_gd_req__req_attr_impl` shows this. In case the requirement is not mature enough at the time of inspection (i.e. not implemented at least as "proof-of-concept"), a development expert should be invited to the Pull-Request review to explicitly check this item.
- Yes
- No remarks
- https://github.com/eclipse-score/score/issues/960
* - REQ_02_05
- Is the requirement description *independent from implementation* ?
- This checkpoint should improve requirements definition in the sense that the "what" is described and not the "how" - the latter should be described in architecture/design derived from the requirement. But there can also be a good reason for this, for example we would require using a file format like JSON and even specify the formatting standard already on stakeholder requirement level because we want to be compatible. A finding in this checkpoint does not mean there is a safety problem in the requirement.
- Yes
- No remarks
- https://github.com/eclipse-score/score/issues/960
* - REQ_03_01
- For stakeholder requirements: Is the *rationale* correct?
- Rationales explain why the top level requirements were invented. Do those cover the requirement?
- N/A
- No stakeholder requirements for Persistency KVS needed.
- https://github.com/eclipse-score/score/issues/960
* - REQ_03_02
- For other requirements: Is the *linkage to the parent requirement* correct?
- Linkage to correct levels and ASIL attributes is checked automatically, but it needs checking if the child requirement implements (at least) a part of the parent requirement.
- Yes
- No remarks
- https://github.com/eclipse-score/score/issues/960
* - REQ_04_01
- Is the requirement *internally and externally consistent*?
- Does the requirement contradict other requirements within the same or higher levels? One may restrict the search to the feature for component requirements, for features to other features using same components.
- Yes
- No remarks
- https://github.com/eclipse-score/score/issues/960
* - REQ_05_01
- Do the software requirements consider *timing constraints of the parent requirement*?
- This bullet point encourages to think about timing constraints even if those are not explicitly mentioned in the parent requirement. If the reviewer of a requirement already knows or suspects that the implementation will be time consuming, one should think of the expectation of a "user".
- Yes
- No remarks
- https://github.com/eclipse-score/score/issues/960
* - REQ_06_01
- Does the Requirement consider *external interfaces*?
- The SW platform's external interfaces (to the user) are defined in the Feature Architecture, so the Feature and Component Requirements should determine the data consumed and set on these interfaces. Are output values completely defined?
- Yes
- No remarks
- https://github.com/eclipse-score/score/issues/960
* - REQ_07_01
- Is the *ASIL Attribute* set correctly?
- Derived requirements are checked automatically, see :need:`PROCESS_gd_req__req_linkage_safety`. But for the top level requirements this needs to be checked for correctness. Also AoU from external components need check for correct ASIL as those are the "origin" of safety requirements towards the SW platform.
- Yes
- No remarks
- https://github.com/eclipse-score/score/issues/960
* - REQ_07_02
- Is the attribute *security* set correctly?
- Stakeholder requirements security attribute should be set based on Threat Analysis and Risk Assessment (TARA) (process is TBD). Checklist item is supported by automated check: "Every requirement which satisfies a requirement with security attribute set to YES inherits this". Expectation is that the feature/component requirements/architecture may also be subject to a Software Security Criticality Analysis (process is TBD).
- Yes
- No remarks
- https://github.com/eclipse-score/score/issues/960
* - REQ_08_01
- Is the requirement *verifiable*?
- Expectation is that at the time of the inspection already tests are created for the requirement. This can be checked via traces, but also :need:`PROCESS_gd_req__req_attr_test_covered` shows this. In case the requirement is not mature enough at the time of inspection (i.e. missing test cases), a test expert should be invited to the Pull-Request review to explicitly check this item.
- Yes
- No remarks
- https://github.com/eclipse-score/score/issues/960
* - Review ID
- Acceptance Criteria
- Guidance
- Passed
- Remarks
- Issue link
* - REQ_01_01
- Is the requirement sentence template used?
- see :need:`PROCESS_gd_temp__req_formulation`, this includes the use of "shall".
- Yes
- No remarks
- https://github.com/eclipse-score/score/issues/960
* - REQ_02_01
- Is the requirement description *comprehensible* ?
- If you think the requirement is hard to understand, comment here.
- Yes
- No remarks
- https://github.com/eclipse-score/score/issues/960
* - REQ_02_02
- Is the requirement description *unambiguous* ?
- Especially search for "weak words" like "about", "etc.", "relevant" and others (see the internet documentation on this). This check shall be supported by tooling.
- Yes
- No remarks
- https://github.com/eclipse-score/score/issues/960
* - REQ_02_03
- Is the requirement description *atomic* ?
- A good way to think about this is to consider if the requirement may be tested by one (positive) test case or needs more of these. The sentence template should also avoid being non-atomic already. Note that there are cases where also non-atomic requirements are the better ones, for example if those are better understandable.
- Yes
- No remarks
- https://github.com/eclipse-score/score/issues/960
* - REQ_02_04
- Is the requirement description *feasible* ?
- Expectation is that at the time of the inspection the requirement has already some implementation. This can be checked via traces, but also :need:`PROCESS_gd_req__req_attr_impl` shows this. In case the requirement is not mature enough at the time of inspection (i.e. not implemented at least as "proof-of-concept"), a development expert should be invited to the Pull-Request review to explicitly check this item.
- Yes
- No remarks
- https://github.com/eclipse-score/score/issues/960
* - REQ_02_05
- Is the requirement description *independent from implementation* ?
- This checkpoint should improve requirements definition in the sense that the "what" is described and not the "how" - the latter should be described in architecture/design derived from the requirement. But there can also be a good reason for this, for example we would require using a file format like JSON and even specify the formatting standard already on stakeholder requirement level because we want to be compatible. A finding in this checkpoint does not mean there is a safety problem in the requirement.
- Yes
- No remarks
- https://github.com/eclipse-score/score/issues/960
* - REQ_03_01
- For stakeholder requirements: Is the *rationale* correct?
- Rationales explain why the top level requirements were invented. Do those cover the requirement?
- N/A
- No stakeholder requirements for Persistency KVS needed.
- https://github.com/eclipse-score/score/issues/960
* - REQ_03_02
- For other requirements: Is the *linkage to the parent requirement* correct?
- Linkage to correct levels and ASIL attributes is checked automatically, but it needs checking if the child requirement implements (at least) a part of the parent requirement.
- Yes
- No remarks
- https://github.com/eclipse-score/score/issues/960
* - REQ_04_01
- Is the requirement *internally and externally consistent*?
- Does the requirement contradict other requirements within the same or higher levels? One may restrict the search to the feature for component requirements, for features to other features using same components.
- Yes
- No remarks
- https://github.com/eclipse-score/score/issues/960
* - REQ_05_01
- Do the software requirements consider *timing constraints of the parent requirement*?
- This bullet point encourages to think about timing constraints even if those are not explicitly mentioned in the parent requirement. If the reviewer of a requirement already knows or suspects that the implementation will be time consuming, one should think of the expectation of a "user".
- Yes
- No remarks
- https://github.com/eclipse-score/score/issues/960
* - REQ_06_01
- Does the Requirement consider *external interfaces*?
- The SW platform's external interfaces (to the user) are defined in the Feature Architecture, so the Feature and Component Requirements should determine the data consumed and set on these interfaces. Are output values completely defined?
- Yes
- No remarks
- https://github.com/eclipse-score/score/issues/960
* - REQ_07_01
- Is the *ASIL Attribute* set correctly?
- Derived requirements are checked automatically, see :need:`PROCESS_gd_req__req_linkage_safety`. But for the top level requirements this needs to be checked for correctness. Also AoU from external components need check for correct ASIL as those are the "origin" of safety requirements towards the SW platform.
- Yes
- No remarks
- https://github.com/eclipse-score/score/issues/960
* - REQ_07_02
- Is the attribute *security* set correctly?
- Stakeholder requirements security attribute should be set based on Threat Analysis and Risk Assessment (TARA) (process is TBD). Checklist item is supported by automated check: "Every requirement which satisfies a requirement with security attribute set to YES inherits this". Expectation is that the feature/component requirements/architecture may also be subject to a Software Security Criticality Analysis (process is TBD).
- Yes
- No remarks
- https://github.com/eclipse-score/score/issues/960
* - REQ_08_01
- Is the requirement *verifiable*?
- Expectation is that at the time of the inspection already tests are created for the requirement. This can be checked via traces, but also :need:`PROCESS_gd_req__req_attr_test_covered` shows this. In case the requirement is not mature enough at the time of inspection (i.e. missing test cases), a test expert should be invited to the Pull-Request review to explicitly check this item.
- Yes
- No remarks
- https://github.com/eclipse-score/score/issues/960
4 changes: 3 additions & 1 deletion docs/features/persistency/kvs/requirements/index.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -19,10 +19,12 @@ Requirements
############

.. document:: Persistency KVS Feature Requirements
:id: doc__persistency_kvs_feat_reqs
:id: doc__persistency_requirements
:status: valid
:safety: ASIL_B
:security: NO
:realizes: PROCESS_wp__requirements_feat
:tags: persistency

.. feat_req:: C++ & Rust Interoperability
:id: feat_req__persistency__cpp_rust_interop
Expand Down
Loading
点击 这是indexloc提供的php浏览器服务，不要输入任何密码和下载