Requirements

JSON Requirements		status: draft safety: ASIL_B
realizes: wp__requirements_comp
doc__json_requirements		Generic Document

General Requirements

JSON Deserialization		status: valid security: NO safety: ASIL_B
tags: baselibs reqtype: Functional satisfies: feat_req__baselibs__json_library fulfilled by: comp_arc_sta__baselibs__json, comp_arc_dyn__baselibs__json_dynamic_view, comp_arc_sta__baselibs__nlohman_json
The JSON-Library shall provide a service to deserialize JSON data according to RFC8259, i.e. parse and check for well-formedness.
comp_req__json__deserialization		Component Requirement

JSON Serialization		status: valid security: NO safety: ASIL_B
tags: baselibs reqtype: Functional satisfies: feat_req__baselibs__json_library fulfilled by: comp_arc_sta__baselibs__json, comp_arc_dyn__baselibs__json_dynamic_view, comp_arc_sta__baselibs__json_wrapper
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
tags: baselibs reqtype: Functional satisfies: feat_req__baselibs__json_library fulfilled by: comp_arc_sta__baselibs__json, comp_arc_dyn__baselibs__json_dynamic_view, comp_arc_sta__baselibs__json_wrapper
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
tags: baselibs reqtype: Non-Functional satisfies: feat_req__baselibs__json_library, feat_req__baselibs__consistent_apis fulfilled by: comp_arc_sta__baselibs__json, comp_arc_dyn__baselibs__json_dynamic_view, comp_arc_sta__baselibs__json_wrapper
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
tags: baselibs reqtype: Non-Functional satisfies: feat_req__baselibs__json_library fulfilled by: comp_arc_sta__baselibs__json, comp_arc_dyn__baselibs__json_dynamic_view, comp_arc_sta__baselibs__json_wrapper
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
tags: baselibs reqtype: Functional satisfies: feat_req__baselibs__json_library fulfilled by: comp_arc_sta__baselibs__json, comp_arc_dyn__baselibs__json_dynamic_view, comp_arc_sta__baselibs__json_wrapper
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
tags: baselibs reqtype: Non-Functional satisfies: feat_req__baselibs__json_library fulfilled by: comp_arc_sta__baselibs__json, comp_arc_dyn__baselibs__json_dynamic_view, comp_arc_sta__baselibs__json_wrapper
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
tags: baselibs reqtype: Functional satisfies: feat_req__baselibs__json_library, feat_req__baselibs__safety fulfilled by: comp_arc_sta__baselibs__json, comp_arc_dyn__baselibs__json_dynamic_view, comp_arc_sta__baselibs__json_wrapper, comp_arc_sta__baselibs__nlohman_json
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
tags: baselibs reqtype: Non-Functional
The user shall provide a string as input which is not corrupted due to HW or QM SW errors. Note: This could be achieved by using a safe read-only filesystem for JSON file storage or a checksum protection on the JSON file content.
aou_req__json__data_integrity		Assumption of Use Requirement

Access control		status: valid security: NO safety: ASIL_B
tags: baselibs reqtype: Non-Functional
The user shall ensure access control and manipulation prevention on the JSON files. Note: This can be done by the hosting process and system configuration (e.g. by using dm-verity).
aou_req__json__access_control		Assumption of Use Requirement