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