Requirements

General Requirements

JSON Validation		status: valid security: NO safety: ASIL_B
reqtype: Functional satisfies: feat_req__baselibs__json_library
The JSON-Library shall provide a service to check the well-formedness of JSON data.
comp_req__json__validation		Component Requirement

JSON Deserialization		status: valid security: NO safety: ASIL_B
reqtype: Functional satisfies: feat_req__baselibs__json_library
The JSON-Library shall provide a service to parse JSON data according to RFC8259.
comp_req__json__deserialization		Component Requirement

JSON Serialization		status: valid security: NO safety: ASIL_B
reqtype: Functional satisfies: feat_req__baselibs__json_library
The JSON-Library shall provide a service to serialize user format into JSON data according to RFC8259.
comp_req__json__serialization		Component Requirement

Return data in user format		status: valid security: NO safety: ASIL_B
reqtype: Functional satisfies: feat_req__baselibs__json_library
The JSON-Library shall return parsed data in a compatible user format. Note: The user format shall be a regular type and not defined within the library.
comp_req__json__user_format		Component Requirement

User friendly API for information exchange

Support for programming language idioms		status: valid security: NO safety: ASIL_B
reqtype: Non-Functional satisfies: feat_req__baselibs__json_library, feat_req__baselibs__consistent_apis
The public API shall support the idioms of the programming language it is written in.
comp_req__json__lang_idioms		Component Requirement

Use programming language infrastructure		status: valid security: NO safety: ASIL_B
reqtype: Non-Functional satisfies: feat_req__baselibs__json_library
The public API shall use core infrastructure of its programming language and accompanying standard libraries, whenever possible and meaningful. Note: This includes error handling.
comp_req__json__lang_infra		Component Requirement

Enforce strict type compatibility		status: valid security: NO safety: ASIL_B
reqtype: Functional satisfies: feat_req__baselibs__json_library
The public API shall enforce strict type compatibility. When a user requests a value, the API shall validate that the requested return type is compatible with the type and value of the stored JSON data. Note: This includes checking if the stored value exceeds the range of the expected type.
comp_req__json__type_compatibility		Component Requirement

Full testability for the user facing API

Fully testable public API		status: valid security: NO safety: ASIL_B
reqtype: Non-Functional satisfies: feat_req__baselibs__json_library
The public API of the library shall support dependency injection with test doubles. Note: This enables full testability of the user code.
comp_req__json__full_testability		Component Requirement

Safety Impact

JSON library ASIL level		status: valid security: NO safety: ASIL_B
reqtype: Functional satisfies: feat_req__baselibs__json_library, feat_req__baselibs__safety
The JSON library shall be ASIL-B compliant.
comp_req__json__asil		Component Requirement

AoU Requirements

JSON data integrity		status: valid security: NO safety: ASIL_B
reqtype: Non-Functional
The integrity of input JSON data shall be ensured by the user.
aou_req__json__data_integrity		Assumption of Use Requirement

Access control		status: valid security: NO safety: ASIL_B
reqtype: Non-Functional
Access control and manipulation prevention (e.g. dm-verity) shall be ensured by the hosting process and system configuration.
aou_req__json__access_control		Assumption of Use Requirement