Software lifecycle activities change depending on the safety level of the developed system. The “verification” activities that are applicable to the safety critical systems include reviews and analysis activities in addition to requirement-based tests. In particular, “Structural Coverage Analysis” offers proof that the tested software executed all possible conditions that the system may produce, thus eliminating the possibility of the end user facing an unexpected situation. Depending on the safety criticality level of the system this analysis may be performed as:

• Statement coverage
• Decision coverage
• Modified condition / decision coverage (MC/DC)
• Object code coverage

AYESAS has been performing independent verification and validation activities for foreign companies such as Rockwell Collins and L3 Avionic Systems, in accordance with the RTCA DO-178B (up to Level A) standard, since 1999. AYESAS has the capability to perform Independent Validation and Verification (IV&V) per DO-178B for COTS products.