SC profile shall specify mode-transition dependencies, if any.
Rationale: This requirement is a specialization of the requirement “SC profile shall discuss API system-interaction details as much as needed to ensure safety.”
Example: The following are dependencies that can be specified:
API implementation requires certain modes to be made available by the system;
API implementation depends on another system component being in a certain mode before the implementation can transition to a mode, such as EGL implementation being in non-safe mode before OpenGL SC implementation can transition from non-safe to safe mode;
API implementation requires means to be notified by the system if a dependency is violated, such as EGL implementation transitioning from non-safe to safe mode before OpenGL SC implementation.
SC profile shall specify mode-transition dependencies, if any.
Rationale: This requirement is a specialization of the requirement “SC profile shall discuss API system-interaction details as much as needed to ensure safety.”
Example: The following are dependencies that can be specified: