Persistency Documentation#
This documentation describes the structure, usage and configuration of the Bazel-based C++/Rust module template according to the SCORE module folder structure and the SCORE building blocks concept.
Overview#
This repository provides a standardized setup for projects using C++ or Rust and Bazel as a build system. It integrates best practices for build, test, CI/CD and documentation.
Module Layout#
The module template includes the following top-level structure:
<module_name>/ # Root folder of the module, subfolder only if more than one module exists in the repository
├── .github/
│ └── workflows/ # CI/CD pipelines
├── docs/ # Global documentation of the module
│ ├── features/ # Feature documentation and architecture
│ │ └── <feature_name>/ # Feature folder parts for each feature which should be in module documentation
│ │ ├── architecture/ # Feature architecture [wp__feature_arch] and of architecture review [wp__sw_arch_verification]
│ │ ├── safety_analysis/ # Feature safety analysis artifacts ([wp__feature_fmea], [wp__feature_dfa], [wp__requirements_feat_aou])
│ │ ├── safety_planning/ # Feature safety planning artifacts
│ │ ├── security_analysis/ # Feature security analysis artifacts [wp__feature_security_analysis]
│ │ └── security_planning/ # Feature security planning artifacts
│ ├── module/ # Module documentation
│ │ ├── manuals/ # Module manual, integration manual, table of assumptions of use,
│ │ │ # safety manual [wp__module_safety_manual],
│ │ │ # needs table of [wp__requirements_feat_aou]
│ │ │ # security manual [wp__module_security_manual]
│ │ ├── release/ # Module release note [wp__module_sw_release_note]
│ │ ├── safety_mgt/ # Module safety plan [wp__module_safety_plan],
│ │ │ # module safety package [wp__module_safety_package],
│ │ │ # formal document and safety analysis reviews [wp__fdr_reports]
│ │ └── security_mgt/ # Module security plan [wp__module_security_plan],
│ │ # module security package [wp__module_security_package],
│ │ # formal document reviews [wp__fdr_reports_security],
│ │ # module SW bill of material [wp__sw_module_sbom]
│ └── verification_report/ # Module verification report,
│ # module verifications [wp__verification_module_ver_report],
├── examples/ # Usage examples for the module / features
├── score/ # Components of the module
│ └── <component_name>/ # Component folder for each component of the module
│ │ ├── docs/ # Documentation of the component
│ │ │ ├── architecture/ # Component architecture [wp__component_arch]
│ │ │ │ # (only if lower level components exist)
| │ | | # architecture review [wp__sw_arch_verification],
│ │ │ ├── detailed_design/ # Detailed design [wp__sw_implementation]
│ │ │ │ # code inspection [wp__sw_implementation_inspection]
│ │ │ ├── requirements/ # Component requirements [wp__requirements_comp],[wp__requirements_inspect]
│ │ │ ├── safety_analysis/ # Safety analysis [wp__sw_component_fmea], [wp__sw_component_dfa], [wp__requirements_comp_aou]
| │ | | # Component classification [wp__sw_component_class] for pre-existing software
│ │ │ │ # (only if component architecture exists)
│ │ │ ├── security_analysis/ # Security analysis [wp__sw_component_security_analysis]
│ │ │ │ # (only if component architecture exists)
│ │ │ └── manuals/ # User documentation (of a single component, e.g., user manual of a library component, optional)
│ │ ├── <pub_interface_files>/ # Public interfaces and implementation files of the component; the optional src/ is omitted
│ │ ├── <lower_level_comp>/ # Lower level component (follows <component_name> structure)
│ │ └── tests/ # Component-level tests (e.g., integration and unit tests)
├── tests/ # Module-level tests (e.g., feature integration tests, system tests) [wp__verification_feat_int_test]
├── MODULE.bazel # Bazel module definition
├── BUILD # Root build rules
├── project_config.bzl # Project metadata used by Bazel macros
└── README.md # Entry point of the repository
Module / Feature Documentation#
Module / Feature documentation overview#
Title |
ID |
Safety |
Security |
Status |
|---|---|---|---|---|
[Feature Name] Requirements Inspection |
ASIL_B |
YES |
draft |
|
[Your Feature Name] |
ASIL_B |
YES |
draft |
|
[Your Feature Name] Architecture |
ASIL_B |
NO |
draft |
|
[Your Feature Name] Requirements |
ASIL_B |
NO |
draft |
|
[Your Platform Name] Security Analysis Checklist |
ASIL_B |
YES |
draft |
|
[Your Platform Name] Security Analysis Checklist |
ASIL_B |
YES |
draft |
|
[Your Platform Name] Security Package Checklist |
ASIL_B |
YES |
draft |
|
AI-Platform |
ASIL_B |
NO |
draft |
|
AI-Platform Architecture |
ASIL_B |
NO |
draft |
|
Base Libraries |
ASIL_B |
YES |
valid |
|
Baselibs Architecture |
ASIL_B |
YES |
valid |
|
Baselibs Architecture Inspection Checklist |
ASIL_B |
YES |
valid |
|
Baselibs Codeowners |
ASIL_B |
YES |
valid |
|
Baselibs DFA |
ASIL_B |
YES |
valid |
|
Baselibs FMEA |
ASIL_B |
YES |
valid |
|
Baselibs Module Architecture |
ASIL_B |
YES |
valid |
|
Baselibs Module Verification Report |
QM |
NO |
valid |
|
Baselibs Release Note |
ASIL_B |
YES |
valid |
|
Baselibs Requirements |
ASIL_B |
YES |
valid |
|
Baselibs Requirements Inspection Checklist |
ASIL_B |
YES |
valid |
|
Baselibs Safety Analysis Checklist |
ASIL_B |
YES |
draft |
|
Baselibs Safety Manual |
ASIL_B |
NO |
draft |
|
Baselibs Safety Package Formal Review |
ASIL_B |
NO |
draft |
|
Baselibs Safety Plan |
ASIL_B |
NO |
valid |
|
Baselibs Safety Plan Formal Review |
ASIL_B |
NO |
draft |
|
Baselibs Safety WPs |
ASIL_B |
YES |
draft |
|
Baselibs Verification Report |
ASIL_B |
YES |
draft |
|
Code-Generation |
ASIL_B |
NO |
draft |
|
Code-Generation Architecture |
ASIL_B |
NO |
draft |
|
Communication |
ASIL_B |
YES |
valid |
|
Communication Codeowners |
ASIL_B |
YES |
valid |
|
Communication IPC Safety WPs |
ASIL_B |
YES |
draft |
|
Communication Release Note |
ASIL_B |
YES |
valid |
|
Communication Requirements |
ASIL_B |
YES |
valid |
|
Communication Safety Package Formal Review |
ASIL_B |
NO |
draft |
|
Communication Safety Plan |
ASIL_B |
NO |
draft |
|
Communication Safety Plan Formal Review |
ASIL_B |
NO |
draft |
|
Communication Verification Report |
ASIL_B |
YES |
draft |
|
Configuration Management |
ASIL_B |
YES |
draft |
|
Configuration Management Architecture |
ASIL_B |
YES |
draft |
|
Configuration Model |
QM |
NO |
draft |
|
Deterministic App Abstraction Layer |
QM |
NO |
valid |
|
Deterministic App Abstraction Layer Architecture |
QM |
NO |
draft |
|
Diagnostics |
QM |
YES |
draft |
|
Diagnostics Architecture |
QM |
YES |
draft |
|
doc__logging |
ASIL_B |
YES |
draft |
|
FEO Assumptions of Use Requirements |
ASIL_B |
NO |
draft |
|
FEO Feature Architecture |
ASIL_B |
NO |
valid |
|
FEO Feature Architecture Inspection Checklist |
ASIL_B |
NO |
draft |
|
FEO Feature DFA |
ASIL_B |
NO |
draft |
|
FEO Feature FMEA |
ASIL_B |
NO |
draft |
|
FEO Feature Requirements |
ASIL_B |
NO |
valid |
|
FEO Feature Requirements Inspection Checklist |
ASIL_B |
NO |
draft |
|
FEO Feature Safety Analysis Inspection Checklist |
ASIL_B |
NO |
draft |
|
FEO Module Release Note |
ASIL_B |
NO |
valid |
|
FEO Module Safety Package Formal Review |
ASIL_B |
NO |
draft |
|
FEO Module Safety Plan |
ASIL_B |
NO |
valid |
|
FEO Module Safety Plan Formal Review |
ASIL_B |
NO |
draft |
|
FEO Module Verification Report |
ASIL_B |
NO |
draft |
|
FEO Safety Work Products |
ASIL_B |
NO |
valid |
|
Fixed execution order framework |
ASIL_B |
NO |
valid |
|
Gen-AI |
QM |
NO |
draft |
|
Gen-AI Architecture |
QM |
NO |
draft |
|
Inter-process Communication |
ASIL_B |
YES |
valid |
|
IPC Architecture |
ASIL_B |
YES |
valid |
|
IPC DFA |
ASIL_B |
NO |
draft |
|
IPC FMEA |
ASIL_B |
NO |
draft |
|
IPC Requirements |
ASIL_B |
YES |
valid |
|
Lifcycle Security Package Formal Review |
ASIL_B |
YES |
draft |
|
Lifecycle |
ASIL_B |
YES |
valid |
|
Lifecycle Architecture |
ASIL_B |
YES |
valid |
|
Lifecycle Architecture Inspection Checklist |
ASIL_B |
YES |
draft |
|
Lifecycle DFA |
ASIL_B |
NO |
draft |
|
Lifecycle Feature AoU |
ASIL_B |
NO |
draft |
|
Lifecycle FMEA |
ASIL_B |
NO |
draft |
|
Lifecycle Module Architecture |
ASIL_B |
YES |
valid |
|
lifecycle Release Note v0.2.0 |
ASIL_B |
NO |
valid |
|
lifecycle Release Note v0.3.0 |
ASIL_B |
NO |
valid |
|
lifecycle Release Note v0.4.0 |
ASIL_B |
NO |
valid |
|
lifecycle Release Note v0.5.0 |
ASIL_B |
NO |
valid |
|
lifecycle Release Note v0.6.0 |
ASIL_B |
NO |
valid |
|
lifecycle Release Note v0.6.1 |
ASIL_B |
NO |
valid |
|
Lifecycle Requirements |
ASIL_B |
YES |
valid |
|
Lifecycle Safety Analysis Checklist |
ASIL_B |
YES |
draft |
|
Lifecycle Safety Manual |
ASIL_B |
NO |
draft |
|
Lifecycle Safety Package Formal Review |
ASIL_B |
NO |
draft |
|
Lifecycle Safety Plan |
ASIL_B |
NO |
draft |
|
Lifecycle Safety Plan Formal Review |
ASIL_B |
NO |
draft |
|
Lifecycle Safety WPs |
ASIL_B |
NO |
draft |
|
Lifecycle Security Manual |
ASIL_B |
YES |
draft |
|
Lifecycle Security Plan |
ASIL_B |
YES |
draft |
|
Lifecycle Security Plan Formal Review |
ASIL_B |
YES |
draft |
|
Lifecycle Security WPs |
ASIL_B |
YES |
draft |
|
Lifecycle Verification Report |
ASIL_B |
YES |
draft |
|
Logging Architecture |
ASIL_B |
YES |
valid |
|
Logging Architecture |
ASIL_B |
NO |
draft |
|
Logging Architecture Inspection Checklist |
ASIL_B |
YES |
draft |
|
Logging Module Safety Plan |
ASIL_B |
NO |
draft |
|
Logging Release Note |
ASIL_B |
NO |
valid |
|
Logging Requirements |
ASIL_B |
YES |
valid |
|
Logging Requirements Inspection Checklist |
ASIL_B |
YES |
draft |
|
Logging Safety Analysis Checklist |
ASIL_B |
YES |
draft |
|
Logging Safety Manual |
ASIL_B |
NO |
draft |
|
Logging Safety WPs |
ASIL_B |
NO |
draft |
|
Logging Verification Report |
ASIL_B |
NO |
draft |
|
Orchestration |
ASIL_B |
YES |
valid |
|
Orchestration Architecture |
ASIL_B |
YES |
draft |
|
Orchestration DFA |
ASIL_B |
YES |
draft |
|
Orchestration FMEA |
ASIL_B |
YES |
draft |
|
Orchestration Requirements |
ASIL_B |
YES |
valid |
|
Orchestration Safety WPs |
ASIL_B |
YES |
draft |
|
Orchestrator Codeowners |
ASIL_B |
YES |
valid |
|
Orchestrator Release Note |
ASIL_B |
YES |
draft |
|
Orchestrator Safety Package Formal Review |
ASIL_B |
YES |
draft |
|
Orchestrator Safety Plan |
ASIL_B |
YES |
draft |
|
Orchestrator Safety Plan Formal Review |
ASIL_B |
YES |
draft |
|
Orchestrator Verification Report |
ASIL_B |
YES |
draft |
|
Persistency |
ASIL_B |
NO |
valid |
|
Persistency Architecture Inspection Checklist |
ASIL_B |
YES |
draft |
|
Persistency Codeowners |
ASIL_B |
YES |
valid |
|
Persistency DFA |
ASIL_B |
NO |
valid |
|
Persistency FMEA |
ASIL_B |
NO |
valid |
|
Persistency KVS Feature Architecture |
ASIL_B |
NO |
valid |
|
Persistency KVS Feature Architecture |
ASIL_B |
NO |
valid |
|
Persistency KVS Security WPs |
ASIL_B |
YES |
valid |
|
Persistency Module Verification Report |
QM |
NO |
valid |
|
Persistency Release Note |
ASIL_B |
NO |
valid |
|
Persistency Requirements |
ASIL_B |
YES |
valid |
|
Persistency Requirements Inspection Checklist |
ASIL_B |
NO |
valid |
|
Persistency Safety Analysis Checklist |
ASIL_B |
YES |
valid |
|
Persistency Safety Analysis Checklist |
ASIL_B |
YES |
valid |
|
Persistency Safety Manual |
ASIL_B |
NO |
valid |
|
Persistency Safety Package Formal Review |
ASIL_B |
NO |
valid |
|
Persistency Safety Plan |
ASIL_B |
NO |
valid |
|
Persistency Safety Plan Formal Review |
ASIL_B |
NO |
valid |
|
Persistency Safety WPs |
ASIL_B |
NO |
valid |
|
Persistency Security Manual |
ASIL_B |
YES |
draft |
|
Persistency Security Package Formal Review |
ASIL_B |
YES |
valid |
|
Persistency Security Plan |
ASIL_B |
YES |
valid |
|
Persistency Security Plan Formal Review |
ASIL_B |
YES |
valid |
|
Persistency Verification Report |
ASIL_B |
NO |
valid |
|
Platform DFA |
ASIL_B |
NO |
draft |
|
Platform Release Note |
ASIL_B |
NO |
draft |
|
Platform Safety Analysis Formal Review Report |
ASIL_B |
YES |
draft |
|
Platform Safety Manual |
ASIL_B |
NO |
draft |
|
Platform Safety Package Formal Review |
ASIL_B |
NO |
draft |
|
Platform Safety Plan |
ASIL_B |
NO |
draft |
|
Platform Safety Plan Formal Review |
ASIL_B |
NO |
draft |
|
Platform Security Analysis |
ASIL_B |
YES |
draft |
|
Platform Security Manual |
ASIL_B |
YES |
draft |
|
Platform Security Plan |
ASIL_B |
YES |
draft |
|
Platform Verification Report |
QM |
YES |
valid |
|
Platform Verification Report |
ASIL_B |
YES |
draft |
|
Process description Release Note v1.5.3 |
ASIL_B |
YES |
valid |
|
Process description Release Note v2.0.0 |
ASIL_B |
YES |
valid |
|
Process description Release Note v2.0.1 |
ASIL_B |
YES |
valid |
|
Process description Release Note v2.1.0 |
ASIL_B |
YES |
valid |
|
Release Management Plan |
ASIL_B |
NO |
draft |
|
S-Core v0.5-alpha release note |
ASIL_B |
YES |
valid |
|
S-Core v0.5-beta release note |
ASIL_B |
YES |
draft |
|
S-CORE v0.6 release note |
QM |
YES |
draft |
|
S-CORE v0.7 release note |
QM |
YES |
valid |
|
S-CORE v0.8 release note |
QM |
YES |
valid |
|
S-CORE v0.9 release note |
QM |
YES |
valid |
|
Security & Crpyto Feature Requirements |
QM |
YES |
valid |
|
Security & Crypto Architecture |
QM |
YES |
draft |
|
SOME_IP-Gateway |
ASIL_B |
YES |
valid |
|
STRIDE |
ASIL_B |
YES |
valid |
|
Time |
ASIL_B |
YES |
valid |
|
Time Architecture |
ASIL_B |
YES |
draft |
|
User Manual Lifecycle |
QM |
NO |
draft |
Component documentation#
See Component documentation for details.
Examples#
No examples yet.
Quick Start#
To build the module:
bazel build --config=per-x86_64-linux -- //score/...
Building without an explicit --config (e.g. per-x86_64-linux, per-x86_64-qnx, per-arm64-qnx) is not supported.
To run all tests:
bazel test //...
To run Unit Tests:
bazel test //:unit_tests
To run Component / Feature Integration Tests:
bazel test //:cit_tests
Module Configuration#
The project_config.bzl file defines metadata used by Bazel macros.
Example:
PROJECT_CONFIG = {
"asil_level": "QM",
"source_code": ["cpp", "rust"]
}
This enables conditional behavior (e.g., choosing clang-tidy for C++ or clippy for Rust).