AYESAŞ - INDEPENDENT VALIDATION & VERIFICATION

INDEPENDENT VALIDATION & VERIFICATION

AYESAŞ provides independent verification and validation services for software companies such as Rockwell Collins, ASELSAN and L3 Avionic Systems, in accordance with the RTCA DO-178B (up to Level A) standard.

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. 
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

AYESAŞ developed her own testing tools for avionics and command and control software. These are namely TRUVA, GMS.

SOLUTIONS