Safety Manual#

Orchestrator Safety Manual		status: draft security: YES safety: ASIL_B
tags: orchestrator realizes: wp__module_safety_manual

doc__orchestrator_safety_manual		Generic Document

Introduction/Scope#

This safety manual covers the orchestrator module.

Assumed Platform Safety Requirements#

For the orchestrator module name the following safety related stakeholder requirements are assumed to define the top level functionality (purpose) of the module. I.e. from these all the feature and component requirements implemented are derived.

Processes and thread manage... (stkh_req__execution_model__processes) - this requirement is QM and not fully covered as ASIL, only combined with the following requirements
Automotive Safety Integrity... (stkh_req__dependability__automotive_safety)
Support for Time-based Arch... (stkh_req__app_architectures__support_time)

The user needs to check orchestration feature level requirements to see which functionalities are provided as ASIL B.

Assumptions of Use#

Assumptions on the Environment#

Generally the assumption of the project platform SEooC is that it is integrated in a safe system, i.e. the POSIX OS it runs on is qualified and also the HW related failures are taken into account by the system integrator, if not otherwise stated in the module’s safety concept.

List of AoUs expected from the environment the platform / module runs on:

Title	ID	Status
Application execution	aou_req__persistency__appl_exec	valid
External Health Management	aou_req__platform__external_health_management	valid
OS safety functions	aou_req__platform__os_safety_functions	valid
Persistency Error handling	aou_req__persistency__error_handling	valid
POSIX Operating System	aou_req__platform__posix_operating_system	valid
Process Isolation	aou_req__platform__process_isolation	valid
Safe HW platform	aou_req__platform__hardware_safety	valid

Assumptions on the User#

As there is no assumption on which specific OS and HW is used, the integration testing of the stakeholder and feature requirements is expected to be performed by the user of the platform SEooC. Tests covering all stakeholder and feature requirements performed on a reference platform (tbd link to reference platform specification), reviewed and passed are included in the platform SEooC safety case.
Additionally the components of the platform may have additional specific assumptions how they are used. These are part of every module documentation: <link to add>. Assumptions from components to their users can be fulfilled in two ways:
1. There are assumption which need to be fulfilled by all SW components, e.g. “every user of an IPC mechanism needs to make sure that he provides correct data (including appropriate ASIL level)” - in this case the AoU is marked as “platform”.
2. There are assumption which can be fulfilled by a safety mechanism realized by some other project platform component and are therefore not relevant for an user who uses the whole platform. But those are relevant if you chose to use the module SEooC stand-alone - in this case the AoU is marked as “module”. An example would be the “JSON read” which requires “The user shall provide a string as input which is not corrupted due to HW or QM SW errors.” - which is covered when using together with safe project platform persistency feature.

List of AoUs on the user of the platform features or the module of this safety manual:

Title	ID	Status
Access control	aou_req__json__access_control	valid
aragen not safe	aou_req__communication__27	valid
Avoidance of Exceptions	aou_req__platform__no_exceptions	valid
Avoidance of heap allocations after initialization	aou_req__platform__no_heap_alloc_after_init	valid
Bazel tooling	aou_req__platform__bazel_tooling	valid
Bitmask Enum Value Constraints	aou_req__bitmanipulation__enum_constraints	valid
Bug fixing	aou_req__platform__bug_fixing	valid
Bug interface	aou_req__platform__bug_interface	valid
C++ Library Preference	aou_req__os__cxx_preference	valid
Check Capacity	aou_req__containers__capacity_management	valid
Check for nullptr on Allocate()	aou_req__communication__14	valid
Checking for possible message overflow	aou_req__communication__8	valid
Config on a safe filesystem	aou_req__communication__10	valid
Container State Verification	aou_req__containers__state_verification	valid
Cooperative Cancellation Handling	aou_req__concurrency__coop_cancellation	valid
Correctly configured ASIL Level	aou_req__communication__4	valid
Correctly configured events/fields per service type	aou_req__communication__34	valid
Correctly configured maximum number of maximum elements per subscriber	aou_req__communication__3	valid
Correctly Configured Maximum Number of Subscribers	aou_req__communication__2	valid
Different user for ASIL and QM processes	aou_req__communication__9	valid
Element Lifetime and Ownership	aou_req__containers__element_lifetime	valid
Element Type Requirements	aou_req__containers__ele_type_requirements	valid
Error Domain Implementation	aou_req__result__error_domain_implementation	valid
Error Handling	aou_req__filesystem__error_handling	valid
Error Reaction	aou_req__platform__error_reaction	valid
Error Reaction and Safe State	aou_req__result__error_reaction	valid
Event or Field reception via GenericProxy needs specific care	aou_req__communication__32	valid
Event Subscription active while holding SamplePtr	aou_req__communication__19	valid
External Synchronization Required for Concurrent Access	aou_req__bitmanipulation__concurrent_access	valid
FEO something	aou_req__feature_feo__something	invalid
FEO something	aou_req__component_feo__anything	invalid
FlatBuffers access control	aou_req__flatbuffers__access_control	valid
FlatBuffers buffer verification before access	aou_req__flatbuffers__verify_structure	valid
FlatBuffers buffer version check before access	aou_req__flatbuffers__verify_version	valid
FlatBuffers data integrity	aou_req__flatbuffers__data_integrity	valid
Index Bounds Checking	aou_req__containers__bounds_checking	valid
Integral Type Constraints	aou_req__bitmanipulation__type_constraints	valid
Integration assistance	aou_req__platform__integration_assistance	valid
Integration levels	aou_req__platform__levels	valid
Integration manual	aou_req__platform__os_integration_manual	valid
Integrator safety anomaly reporting	aou_req__platform__integration_safety_anomaly	valid
Iterator Validity	aou_req__containers__iterator_validity	valid
JSON data integrity	aou_req__json__data_integrity	valid
LoLa Memory only accessed through LoLa	aou_req__communication__24	valid
LoLa specific QNX Messaging End-Points only accessed through LoLa	aou_req__communication__26	valid
Low-Level Use Only	aou_req__filesystem__low_level_use_only	valid
Memory Management on Task Submission Failure	aou_req__concurrency__memory_management	valid
Memory Resource Management	aou_req__containers__memory_management	valid
Minimal Process Privileges	aou_req__os__minimal_privileges	valid
Monotonic Semi-Dynamic Memory Allocation	aou_req__communication__1	valid
No APIs from Implementation Namespace	aou_req__communication__6	valid
No Copy-Send() while holding AllocateePtr.	aou_req__communication__16	valid
No guarantee in availability of services	aou_req__communication__12	valid
No guarantee on execution time	aou_req__communication__29	valid
No guarantees for notifications	aou_req__communication__7	valid
No mixed ASIL	aou_req__platform__no_mixed_asil	valid
No notification on termination of producer	aou_req__communication__13	valid
No Root Privileges	aou_req__os__nonroot	valid
No shared memory allocation in namespace lola	aou_req__communication__25	valid
No static context support	aou_req__communication__11	valid
Non-Terminating callbacks	aou_req__communication__20	valid
None reentrant methods per event instance	aou_req__communication__17	valid
on_target_crates	aou_req__feo__on_target_crates	invalid
One producer only one AllocateePtr	aou_req__communication__15	valid
Only LoLa supported types	aou_req__communication__5	valid
OS Public API Use	aou_req__os__public_api	valid
Path Validation	aou_req__filesystem__path_validation	valid
Performance	aou_req__filesystem__performance	valid
Program Flow Monitoring	aou_req__platform__flow_monitoring	valid
Quality of data is dependent on producer	aou_req__communication__22	valid
Resource Lifetime	aou_req__result__resource_lifetime	valid
Result Value Handling	aou_req__result__value_handling	valid
RST-0001	aou_req__os__rst0001	valid
RST-0002	aou_req__os__rst0002	invalid
rust_core_lib	aou_req__feo__rust_core_lib	valid
rust_std_lib_modules	aou_req__feo__rust_std_lib_modules	invalid
Safe OS Function Use	aou_req__os__safe_fctn_use	valid
Safety anomaly reporting	aou_req__platform__safety_anomaly	valid
Safety AoU	aou_req__platform__safety_aou	valid
Safety functions	aou_req__platform__safety_functions	valid
Safety integration	aou_req__platform__safety_integration	valid
Safety matching	aou_req__platform__safety_matching	valid
Same compiler settings for provider and consumer side	aou_req__communication__31	valid
Skeleton alive while its AllocateePtr being used	aou_req__communication__18	valid
Supported Path Formats	aou_req__filesystem__supported_path_formats	valid
SW-platform integration bug reporting	aou_req__platform__bug_report	valid
SW-platform test completion	aou_req__platform__test_completion	valid
SW-platform testing	aou_req__platform__testing	valid
Thread Pool Sizing	aou_req__concurrency__thread_pool_sizing	valid
Thread Safety	aou_req__result__thread_safety	valid
Thread Safety	aou_req__filesystem__thread_safety	valid
Thread Safety	aou_req__concurrency__thread_safety	valid
Thread Safety	aou_req__containers__thread_safety	valid
unsupported data-types	aou_req__communication__28	valid
Usage of configuration "oversubscription"	aou_req__communication__30	valid
Valid callbacks while proxy alive	aou_req__communication__21	valid
Validity of pointer on LoLa pointer	aou_req__communication__23	valid

Safety concept of the SEooC#

Safety Anomalies#

Anomalies (bugs in ASIL SW, detected by testing or by users, which could not be fixed) known before release are documented in the platform/module release notes <add link to release note>.

References#