KhronosGroup / KSCAF_DocRequirements

Khronos Safety Critical Advisory Forum’s minimum requirements for developing a safety critical technology specification.
3 stars 1 forks source link

System-interaction details #39

Open bnaodovic opened 5 years ago

bnaodovic commented 5 years ago

SC profile shall discuss API system-interaction details as much as needed to ensure safety

Rationale: Safety environment places additional requirements on the interaction between the API implementation and other system components, when compared to non-safety environment. If the impact of these additional requirements is not taken into account and discussed as needed in the SC profile, the profile may inadvertently define functions, data structures or procedures which are infeasible to implement in the safety environment.

Example: Function Handle getObjectHandle(uint16_t i) is defined such that it returns handle to object with index i within a pool of objects. Since safety-critical execution typically requires minimal memory allocation, it is expected that the objects will be allocated before the API implementation is started. To ensure feasible implementation of the mentioned function, API has to specify that the system has to guarantee availability of certain number of objects in the pool at any time during system operation.