top of page

Software / Firmware Verification

Avionyx uses a variety of COTS and proprietary tools to 

•    Automate tedious verification processes
•    Produce consistent low-maintenance, high quality deliverables 

•    Reduce cost  
Depending on the level of rigor required, Avionyx experts can provide any of the required verification activities needed for compliance with ASTM F3153-15, DO-178C and DO-254
(DAL A – DAL E) including:

•    Requirements Validation
•    Requirements-based testing
•    Static Analysis/Code Reviews
•    Unit Testing / Stress testing
•    Structural Coverage Analysis/Elemental Analysis
•    Timing, Memory, Stack, Performance Analysis

•    FPGA & board-level bench test

•    FPGA simulation

bottom of page