Baselibs Module Verification Report#
Baselibs Module Verification Report
|
status: valid
security: NO
safety: QM
|
||||
Baselibs#
Name |
Id |
Safety |
Security |
Status |
|---|---|---|---|---|
Baselibs |
ASIL_B |
YES |
valid |
Requirements Statistics#
Show requirements table
ID |
Title |
Safety |
Status |
Testlink |
|---|---|---|---|---|
ABI-Compatible Containers |
ASIL_B |
valid |
||
Bit Manipulation Library |
ASIL_B |
valid |
||
Concurrency Library |
ASIL_B |
valid |
||
Container Library |
ASIL_B |
valid |
||
Filesystem Library |
ASIL_B |
valid |
||
FlatBuffers Library |
QM |
valid |
||
Hash Library |
ASIL_B |
valid |
||
JSON Library |
ASIL_B |
valid |
||
Memory Library |
ASIL_B |
valid |
||
Multi-Language APIs |
ASIL_B |
valid |
||
Panic-Free Development Support |
ASIL_B |
valid |
||
Result Library |
ASIL_B |
valid |
||
Static Reflection Library |
ASIL_B |
valid |
||
Utils Library |
ASIL_B |
valid |
Architecture Statistics#
Show architectural elements table
ID |
Title |
Safety |
Status |
Tags |
|---|---|---|---|---|
Baselibs Dynamic View |
ASIL_B |
valid |
||
Baselibs Static View |
ASIL_B |
valid |
inspected |
Inspection Statistics#
Presence of the feature-level inspection work products.
Show work products table
Work Product |
Kind |
Realized by |
Status |
||
|---|---|---|---|---|---|
Requirements Inspection |
|
||||
Architecture Inspection |
|
Components#
Component Overview#
Component |
Safety |
Security |
Status |
|---|---|---|---|
ASIL_B |
NO |
valid |
|
ASIL_B |
YES |
valid |
|
ASIL_B |
YES |
valid |
|
ASIL_B |
YES |
valid |
|
ASIL_B |
YES |
valid |
|
ASIL_B |
YES |
valid |
|
ASIL_B |
YES |
valid |
|
ASIL_B |
YES |
valid |
|
ASIL_B |
YES |
valid |
JSON#
Component Requirements Statistics#
Component Architecture Statistics#
Requirements Traceability#
The following table lists all requirements of this component together with their verification status and the tests that (fully or partially) verify them:
Show requirements table
ID |
Title |
Safety |
Status |
Testlink |
|---|---|---|---|---|
JSON library ASIL level |
ASIL_B |
valid |
||
JSON Deserialization |
ASIL_B |
valid |
||
Fully testable public API |
ASIL_B |
valid |
||
Support for programming language idioms |
ASIL_B |
valid |
||
Use programming language infrastructure |
ASIL_B |
valid |
||
JSON Serialization |
ASIL_B |
valid |
||
Enforce strict type compatibility |
ASIL_B |
valid |
||
Return data in user format |
ASIL_B |
valid |
Test Coverage#
Per-source-file line and branch coverage aggregated from the LCOV report
produced by bazel coverage.
Show test coverage table
Note
No coverage data available for this component. Run bazel coverage
with the corresponding targets and rebuild the docs to populate this
table.
Architectural Elements#
The following table lists the architectural elements of this component
together with their inspection status. Elements that have been formally
inspected carry the inspected tag; elements without that tag have not
yet been inspected.
Show architectural elements table
ID |
Title |
Safety |
Status |
Tags |
|---|---|---|---|---|
JSON dynamic arch |
ASIL_B |
invalid |
||
JSON Static view |
ASIL_B |
valid |
Verification & Safety Analysis Documents#
Presence of the standard verification and safety analysis work products for
this component. A dash (—) means the corresponding document is missing.
Show work products table
Work Product |
Kind |
Realized by |
Status |
||
|---|---|---|---|---|---|
Requirements Inspection |
|
||||
Architecture Inspection |
|
||||
Implementation Inspection (wp__sw_implementation_inspection) |
Implementation Inspection |
|
|||
DFA |
|
||||
FMEA |
|
Memory Shared#
Component Requirements Statistics#
Component Architecture Statistics#
Requirements Traceability#
The following table lists all requirements of this component together with their verification status and the tests that (fully or partially) verify them:
Show requirements table
ID |
Title |
Safety |
Status |
Testlink |
|---|---|---|---|---|
Process Address Space Independence |
ASIL_B |
valid |
||
Atomic Operations in Shared Memory |
ASIL_B |
valid |
||
Memory Region Bounds Checking |
ASIL_B |
valid |
||
Deterministic Memory Allocation |
ASIL_B |
valid |
||
Endianness Conversion |
ASIL_B |
valid |
||
Inter-Process Synchronization |
ASIL_B |
valid |
||
Polymorphic OffsetPtr Allocator |
ASIL_B |
valid |
||
Memory Resource Registry |
ASIL_B |
valid |
||
Sealed Shared Memory |
ASIL_B |
valid |
||
Shared Memory Container |
ASIL_B |
valid |
||
Shared Memory Management |
ASIL_B |
valid |
||
String Utilities |
ASIL_B |
valid |
||
Typed Memory |
ASIL_B |
valid |
Test Coverage#
Per-source-file line and branch coverage aggregated from the LCOV report
produced by bazel coverage.
Show test coverage table
Note
No coverage data available for this component. Run bazel coverage
with the corresponding targets and rebuild the docs to populate this
table.
Architectural Elements#
The following table lists the architectural elements of this component
together with their inspection status. Elements that have been formally
inspected carry the inspected tag; elements without that tag have not
yet been inspected.
Show architectural elements table
ID |
Title |
Safety |
Status |
Tags |
|---|---|---|---|---|
Memory Shared Static view |
ASIL_B |
valid |
Verification & Safety Analysis Documents#
Presence of the standard verification and safety analysis work products for
this component. A dash (—) means the corresponding document is missing.
Show work products table
Work Product |
Kind |
Realized by |
Status |
|---|---|---|---|
Requirements Inspection |
No needs passed the filters |
No needs passed the filters |
|
Architecture Inspection |
No needs passed the filters |
No needs passed the filters |
|
Implementation Inspection (wp__sw_implementation_inspection) |
Implementation Inspection |
No needs passed the filters |
No needs passed the filters |
DFA |
No needs passed the filters |
No needs passed the filters |
|
FMEA |
No needs passed the filters |
No needs passed the filters |
Result#
Component Requirements Statistics#
Component Architecture Statistics#
Requirements Traceability#
The following table lists all requirements of this component together with their verification status and the tests that (fully or partially) verify them:
Show requirements table
ID |
Title |
Safety |
Status |
Testlink |
|---|---|---|---|---|
Deterministic Behavior |
ASIL_B |
valid |
||
Domain-Specific Error Information |
ASIL_B |
valid |
||
Result-Based Error Handling |
ASIL_B |
valid |
||
Exception-Free Operation |
ASIL_B |
valid |
||
Set Result |
ASIL_B |
valid |
||
Standard Library Integration |
ASIL_B |
valid |
||
Type-Safe Error Handling |
ASIL_B |
valid |
Test Coverage#
Per-source-file line and branch coverage aggregated from the LCOV report
produced by bazel coverage.
Show test coverage table
Note
No coverage data available for this component. Run bazel coverage
with the corresponding targets and rebuild the docs to populate this
table.
Architectural Elements#
The following table lists the architectural elements of this component
together with their inspection status. Elements that have been formally
inspected carry the inspected tag; elements without that tag have not
yet been inspected.
Show architectural elements table
ID |
Title |
Safety |
Status |
Tags |
|---|---|---|---|---|
Result Dynamic view |
ASIL_B |
valid |
||
Result Static view |
ASIL_B |
valid |
Verification & Safety Analysis Documents#
Presence of the standard verification and safety analysis work products for
this component. A dash (—) means the corresponding document is missing.
Show work products table
Work Product |
Kind |
Realized by |
Status |
||
|---|---|---|---|---|---|
Requirements Inspection |
|
||||
Architecture Inspection |
|
||||
Implementation Inspection (wp__sw_implementation_inspection) |
Implementation Inspection |
|
|||
DFA |
|
||||
FMEA |
|
Bit Manipulation#
Component Requirements Statistics#
Component Architecture Statistics#
Requirements Traceability#
The following table lists all requirements of this component together with their verification status and the tests that (fully or partially) verify them:
Show requirements table
Test Coverage#
Per-source-file line and branch coverage aggregated from the LCOV report
produced by bazel coverage.
Show test coverage table
Note
No coverage data available for this component. Run bazel coverage
with the corresponding targets and rebuild the docs to populate this
table.
Architectural Elements#
The following table lists the architectural elements of this component
together with their inspection status. Elements that have been formally
inspected carry the inspected tag; elements without that tag have not
yet been inspected.
Show architectural elements table
ID |
Title |
Safety |
Status |
Tags |
|---|---|---|---|---|
Bit Manipulation Static view |
ASIL_B |
valid |
Verification & Safety Analysis Documents#
Presence of the standard verification and safety analysis work products for
this component. A dash (—) means the corresponding document is missing.
Show work products table
Work Product |
Kind |
Realized by |
Status |
||
|---|---|---|---|---|---|
Requirements Inspection |
|
||||
Architecture Inspection |
|
||||
Implementation Inspection (wp__sw_implementation_inspection) |
Implementation Inspection |
|
|||
DFA |
|
||||
FMEA |
|
Containers#
Component Requirements Statistics#
Component Architecture Statistics#
Requirements Traceability#
The following table lists all requirements of this component together with their verification status and the tests that (fully or partially) verify them:
Show requirements table
ID |
Title |
Safety |
Status |
Testlink |
|---|---|---|---|---|
Deterministic Behavior |
ASIL_B |
valid |
||
Dynamic Array |
ASIL_B |
valid |
||
Intrusive List |
ASIL_B |
valid |
||
Non-Relocatable Vector |
ASIL_B |
valid |
||
Type Safety |
ASIL_B |
valid |
Test Coverage#
Per-source-file line and branch coverage aggregated from the LCOV report
produced by bazel coverage.
Show test coverage table
Note
No coverage data available for this component. Run bazel coverage
with the corresponding targets and rebuild the docs to populate this
table.
Architectural Elements#
The following table lists the architectural elements of this component
together with their inspection status. Elements that have been formally
inspected carry the inspected tag; elements without that tag have not
yet been inspected.
Show architectural elements table
ID |
Title |
Safety |
Status |
Tags |
|---|---|---|---|---|
Containers Static view |
ASIL_B |
valid |
Verification & Safety Analysis Documents#
Presence of the standard verification and safety analysis work products for
this component. A dash (—) means the corresponding document is missing.
Show work products table
Work Product |
Kind |
Realized by |
Status |
||
|---|---|---|---|---|---|
Requirements Inspection |
|
||||
Architecture Inspection |
|
||||
Implementation Inspection (wp__sw_implementation_inspection) |
Implementation Inspection |
|
|||
DFA |
|
||||
FMEA |
|
Filesystem#
Component Requirements Statistics#
Component Architecture Statistics#
Requirements Traceability#
The following table lists all requirements of this component together with their verification status and the tests that (fully or partially) verify them:
Show requirements table
ID |
Title |
Safety |
Status |
Testlink |
|---|---|---|---|---|
Standard Filesystem Abstraction |
ASIL_B |
valid |
||
Directory Iterators |
ASIL_B |
valid |
||
File I/O Operations |
ASIL_B |
valid |
||
File Utility Functions |
ASIL_B |
valid |
||
Fully testable public API |
ASIL_B |
valid |
||
Mock and Fake Implementations |
ASIL_B |
valid |
||
Path Manipulation Utilities |
ASIL_B |
valid |
Test Coverage#
Per-source-file line and branch coverage aggregated from the LCOV report
produced by bazel coverage.
Show test coverage table
Note
No coverage data available for this component. Run bazel coverage
with the corresponding targets and rebuild the docs to populate this
table.
Architectural Elements#
The following table lists the architectural elements of this component
together with their inspection status. Elements that have been formally
inspected carry the inspected tag; elements without that tag have not
yet been inspected.
Show architectural elements table
ID |
Title |
Safety |
Status |
Tags |
|---|---|---|---|---|
Filesystem Static view |
ASIL_B |
valid |
Verification & Safety Analysis Documents#
Presence of the standard verification and safety analysis work products for
this component. A dash (—) means the corresponding document is missing.
Show work products table
Work Product |
Kind |
Realized by |
Status |
||
|---|---|---|---|---|---|
Requirements Inspection |
|
||||
Architecture Inspection |
|
||||
Implementation Inspection (wp__sw_implementation_inspection) |
Implementation Inspection |
|
|||
DFA |
|
||||
FMEA |
|
Utils#
Component Requirements Statistics#
Component Architecture Statistics#
Requirements Traceability#
The following table lists all requirements of this component together with their verification status and the tests that (fully or partially) verify them:
Show requirements table
ID |
Title |
Safety |
Status |
Testlink |
|---|---|---|---|---|
Base64 Decoding |
ASIL_B |
valid |
||
Base64 Encoding |
ASIL_B |
valid |
||
Thread-Safe Singleton Instance Creation |
ASIL_B |
valid |
Test Coverage#
Per-source-file line and branch coverage aggregated from the LCOV report
produced by bazel coverage.
Show test coverage table
Note
No coverage data available for this component. Run bazel coverage
with the corresponding targets and rebuild the docs to populate this
table.
Architectural Elements#
The following table lists the architectural elements of this component
together with their inspection status. Elements that have been formally
inspected carry the inspected tag; elements without that tag have not
yet been inspected.
Show architectural elements table
ID |
Title |
Safety |
Status |
Tags |
|---|---|---|---|---|
Utils Static view |
ASIL_B |
valid |
Verification & Safety Analysis Documents#
Presence of the standard verification and safety analysis work products for
this component. A dash (—) means the corresponding document is missing.
Show work products table
Work Product |
Kind |
Realized by |
Status |
||
|---|---|---|---|---|---|
Requirements Inspection |
|
||||
Architecture Inspection |
|
||||
Implementation Inspection (wp__sw_implementation_inspection) |
Implementation Inspection |
|
|||
DFA |
|
||||
FMEA |
|
Concurrency#
Component Requirements Statistics#
Component Architecture Statistics#
Requirements Traceability#
The following table lists all requirements of this component together with their verification status and the tests that (fully or partially) verify them:
Show requirements table
ID |
Title |
Safety |
Status |
Testlink |
|---|---|---|---|---|
Interruptible Condition Variable |
ASIL_B |
valid |
||
Delayed Task Execution |
ASIL_B |
valid |
||
Future Error Handling |
ASIL_B |
valid |
||
Executor Interface |
ASIL_B |
valid |
||
Interruptible Wait Utilities |
ASIL_B |
valid |
||
Long-Running Threads Container |
ASIL_B |
valid |
||
Memory Reservation |
ASIL_B |
valid |
||
Memory Usage Control |
ASIL_B |
valid |
||
Notification Mechanism |
ASIL_B |
valid |
||
Operation Timeout Protection |
ASIL_B |
valid |
||
Periodic Task Execution |
ASIL_B |
valid |
||
Simple Task Implementation |
ASIL_B |
valid |
||
Synchronized Queue |
ASIL_B |
valid |
||
Task Cancellation |
ASIL_B |
valid |
||
Asynchronous Task Execution |
ASIL_B |
valid |
||
Task Result Management |
ASIL_B |
valid |
||
Thread Count Reporting |
ASIL_B |
valid |
||
Thread Pool Implementation |
ASIL_B |
valid |
Test Coverage#
Per-source-file line and branch coverage aggregated from the LCOV report
produced by bazel coverage.
Show test coverage table
Note
No coverage data available for this component. Run bazel coverage
with the corresponding targets and rebuild the docs to populate this
table.
Architectural Elements#
The following table lists the architectural elements of this component
together with their inspection status. Elements that have been formally
inspected carry the inspected tag; elements without that tag have not
yet been inspected.
Show architectural elements table
ID |
Title |
Safety |
Status |
Tags |
|---|---|---|---|---|
Concurrency Static view |
ASIL_B |
valid |
Verification & Safety Analysis Documents#
Presence of the standard verification and safety analysis work products for
this component. A dash (—) means the corresponding document is missing.
Show work products table
Work Product |
Kind |
Realized by |
Status |
||
|---|---|---|---|---|---|
Requirements Inspection |
|
||||
Architecture Inspection |
|
||||
Implementation Inspection (wp__sw_implementation_inspection) |
Implementation Inspection |
|
|||
DFA |
|
||||
FMEA |
|
SafeCpp#
Component Requirements Statistics#
Component Architecture Statistics#
Requirements Traceability#
The following table lists all requirements of this component together with their verification status and the tests that (fully or partially) verify them:
Show requirements table
ID |
Title |
Safety |
Status |
Testlink |
|---|---|---|---|---|
C++ Exception Abort |
ASIL_B |
valid |
||
Code Coverage Termination |
ASIL_B |
valid |
||
Null-Terminated String |
ASIL_B |
valid |
||
Safe Atomic operations |
ASIL_B |
valid |
||
Safe Arithmetic Operations |
ASIL_B |
valid |
||
Scoped Guards |
ASIL_B |
valid |
Test Coverage#
Per-source-file line and branch coverage aggregated from the LCOV report
produced by bazel coverage.
Show test coverage table
Note
No coverage data available for this component. Run bazel coverage
with the corresponding targets and rebuild the docs to populate this
table.
Architectural Elements#
The following table lists the architectural elements of this component
together with their inspection status. Elements that have been formally
inspected carry the inspected tag; elements without that tag have not
yet been inspected.
Show architectural elements table
ID |
Title |
Safety |
Status |
Tags |
|---|---|---|---|---|
Safecpp Static view |
ASIL_B |
valid |
safecpp |
Verification & Safety Analysis Documents#
Presence of the standard verification and safety analysis work products for
this component. A dash (—) means the corresponding document is missing.
Show work products table
Work Product |
Kind |
Realized by |
Status |
||
|---|---|---|---|---|---|
Requirements Inspection |
|
||||
Architecture Inspection |
|
||||
Implementation Inspection (wp__sw_implementation_inspection) |
Implementation Inspection |
|
|||
DFA |
|
||||
FMEA |
|
This report is generated from baselibs’ own needs data. It uses the module verification report template introduced by docs-as-code. It complements baselibs’ own hand-written verification report, Baselibs Verification Report (doc__baselibs_manual_verification_report).