Lifecycle Documentation#

Portable and high-performance implementation of the Lifecycle feature for the S-CORE project, consisting of the Launch Manager and the Health Monitor.

Feature Documentation#

The Feature documentation covers the feature-level definition of Lifecycle, including architecture and safety planning artifacts.

Title

ID

Safety

Security

Status

Lifecycle Architecture Inspection

doc__lifecycle_arc_inspection

ASIL_B

YES

draft

Lifecycle DFA

doc__lifecycle_dfa

ASIL_B

NO

draft

Lifecycle Feature AoU

doc__lifecycle_feat_aou

ASIL_B

NO

draft

Lifecycle Feature Security AoU

doc__lifecycle_sec_feat_aou

QM

YES

draft

Lifecycle FMEA

doc__lifecycle_fmea

ASIL_B

NO

draft

Lifecycle Module Architecture

doc__lifecycle_module_architecture

ASIL_B

YES

valid

Lifecycle Safety WPs

doc__lifecycle_safety_wp

ASIL_B

NO

draft

Lifecycle Security WPs

doc__lifecycle_security_planning_wp

ASIL_B

YES

draft

Module Documentation#

The Module documentation covers the module-level view, including architecture, safety management documents, and the user manual.

Title

ID

Safety

Security

Status

Lifcycle Security Package Formal Review

doc__lifecycle_sec_pkg_fdr

ASIL_B

YES

draft

Lifecycle Safety Analysis Checklist

doc__lifecycle_safety_analysis_fdr

ASIL_B

YES

draft

Lifecycle Safety Manual

doc__lifecycle_safety_manual

ASIL_B

NO

draft

Lifecycle Safety Package Formal Review

doc__lifecycle_safety_package_fdr

ASIL_B

NO

draft

Lifecycle Safety Plan

doc__lifecycle_safety_plan

ASIL_B

NO

draft

Lifecycle Safety Plan Formal Review

doc__lifecycle_safety_plan_fdr

ASIL_B

NO

draft

Lifecycle Security Manual

doc__lifecycle_security_manual

ASIL_B

YES

draft

Lifecycle Security Plan

doc__lifecycle_security_plan

ASIL_B

YES

draft

Lifecycle Security Plan Formal Review

doc__lifecycle_security_plan_fdr

ASIL_B

YES

draft

Lifecycle User Manual

doc__lifecycle_user_manual

QM

NO

draft

Component Documentation#

The Components documentation provides detailed documentation for each individual component, including requirements, architecture, and design decisions:

Title

ID

Safety

Security

Status

Health Monitor Architecture Inspection

doc__health_monitor_arc_inspection

ASIL_B

YES

draft

Health Monitor DFA

doc__health_monitor_dfa

ASIL_B

NO

draft

Health Monitor FMEA

doc__health_monitor_fmea

ASIL_B

NO

draft

Health Monitor Implementation Inspection Checklist

doc__health_monitor_impl_inspection

ASIL_B

YES

draft

Health Monitor Requirements Inspection Checklist

doc__health_monitor_req_inspection

ASIL_B

YES

draft

HealthMonitor

doc__health_monitor

ASIL_B

NO

draft

HealthMonitor Architecture

doc__health_monitor_architecture

ASIL_B

NO

draft

HealthMonitor Component AoU

doc__health_monitor_comp_aou

ASIL_B

NO

draft

HealthMonitor Component Security AoU

doc__health_monitor_comp_sec_aou

QM

YES

draft

HealthMonitor Detailed Design

doc__health_monitor_detailed_design

ASIL_B

NO

draft

HealthMonitor Requirements

doc__health_monitor_requirements

ASIL_B

NO

draft

Launch Manager Architecture

doc__launch_manager_architecture

ASIL_B

YES

draft

Launch Manager Architecture Inspection

doc__launch_manager_arc_inspection

ASIL_B

YES

draft

Launch Manager Component AoU

doc__launch_manager_comp_aou

ASIL_B

NO

draft

Launch Manager Component Security AoU

doc__launch_manager_comp_sec_aou

QM

YES

draft

Launch Manager Detailed Design

doc__launch_manager_detailed_design

ASIL_B

NO

draft

Launch Manager DFA

doc__launch_manager_dfa

ASIL_B

NO

draft

Launch Manager FMEA

doc__launch_manager_fmea

ASIL_B

NO

draft

Launch Manager Implementation Inspection Checklist

doc__launch_manager_impl_inspection

ASIL_B

YES

draft

Launch Manager Requirements

doc__launch_manager_requirements

ASIL_B

YES

valid

Launch Manager Requirements Inspection Checklist

doc__launch_manager_req_inspection

ASIL_B

YES

draft

Release Notes#

The Release Notes document the changes, known issues and compatibility information of each module release.

Quick Start - Building and Testing#

For further platforms (e.g. QNX) see the repository’s README.

To build the entire module:

bazel build --config=x86_64-linux //score/... //examples/...

To run all tests:

bazel test --config=x86_64-linux //...

To run only the unit and component tests:

bazel test --config=x86_64-linux //score/...

To run only the integration tests:

bazel test --config=x86_64-linux //tests/integration/...

Module Build Configuration#

The project_config.bzl file at the root of the module defines metadata used by Bazel macros. This file controls build behavior and project-specific settings. It should follow the S-CORE definition. See S-CORE user guide for project_config.bzl for details.

The configuration enables conditional build behavior:

  • Language-specific tools: For C++ code, tools like clang-tidy are used; for Rust code, clippy is used

  • Safety level: The ASIL level affects safety-related build settings and validation

  • Source code languages: The build system optimizes for the configured languages