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.
FOUNDATION SOFTWARESoftware 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.
SMARTDECK - INTEGRATED COCKPIT SYSTEMFollowing software development and Independent Verification & Validation services were provided forL-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
TRAFFIC COLLISION AVOIDANCE SYSTEM 3000Software Development for CAS subsystem of TCAS 3000 in accordance with RTCA DO-185 A and DO-178B Level B for ACSS.
T3CAS TRANSPONDERTransponder Software to be used in Airbus A320, A330/A340 platforms was developed in accordance with ADSB (DO-260A), DO-178B Level B for ACSS.
F-35 (JSF) PANORAMIC COCKPIT DISPLAY (PCD)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.
C-130 MODERNIZATIONBSP 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