We provide independent verification and validation services in accordance with the RTCA DO-178B standard (up to level A) for software companies such as Rockwell Collins, ASELSAN and L3 Avionic Systems.
Depending on the desired safety criticality level, some or all of the following analyses are performed:
AYESAŞ has developed and deploys TRUVA and GMS test tools for the verification and validation of command and control and avionics software.