The joint EUROCAE ED-12B / RTCA DO-178B standard, Software considerations in airborne systems and equipment certification, is recognised as an acceptable mean of compliance for the certification of safety critical software on-board large aircraft (EASA CS-25). However, this standard does not fully encompass several new technologies and methods that have been developed since its publication and are currently used by aircraft and equipment manufacturers.
The SOMCA study assesses the application of Model-based software development techniques to perform structural coverage analysis at model level, with a focus on the detection and characterisation of unintended functions. The assessment covers as well the pre-requisites, the recommended acceptance criteria and practices to use model coverage analysis in relation to certification activities.
