Objective 5.5.4
When needed for design, acceptance criteria shall be specified for event sequence and flow, data and control flow, resource allocation, fault handling, initialization, built-in-test, memory management and boundary conditions [Class C].
Main Description