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:
AYESAŞ developed her own testing tools for avionics and command and control software. These are namely TRUVA, GMS.
Software development, Independent Verification & Validation, and Coverage Analysis services for Rockwell Collins’ MFD device used in S-70A/B and S/H-92 helicopters, have being provided for over 15 years.
Following software development and Independent Verification & Validation services were provided for L-3 Avionics Systems;
- Moving Map software: in accordance with DO-257A, DO-276, DO-283 and ARINC-424 standards
- Map preparation software: in accordance with DO-200A
- Reverse engineering for OpenGL, 1394 driver software
- AWM (Aural Warning Management) software MFD System Pages sofware
- Independent Verification & Validation of whole SmartDeck software
Software Development for CAS subsystem of TCAS 3000 in accordance with RTCA DO-185 A and DO-178B Level B for ACSS.
Transponder Software to be used in Airbus A320, A330/A340 platforms was developed in accordance with ADSB (DO-260A), DO-178B Level B for ACSS.
Various software packages including OpenGL, windowing system and communications were developed. Independent Verification & Validation activity in accordance withRTCA DO-178B Level A was also performed.
BSP and Driver Software for the mission computer were developed in accordance withDO-178B Level A including Graphics/OpenGL, ARINC 429, ARINC 708, MIL-STD-1553, Ethernet, Serial Communication (RS-232, RS-422, RS-485), ADC/DAC/Discrete/Synchro drivers.