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 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

Contact Us for a Free Consultation

America Free Trade Zone, San Jose, Costa Rica

US +1 (321) 821-2365

© 2020 by Avionyx