Everyone wants the highest level of quality in their embedded software, but in reality, many applications do not justify the cost of the exhaustive verification and validation (V&V) necessary to achieve it.

In order to support embedded systems of varying criticality and economic constraints, Avionyx has adopted a software engineering process that is completely scalable to meet the rigorous needs of the most safety-critical airborne systems, including those requiring DO-178B Level A compliance, to those systems that require only minimal requirements-based testing such as DO-178B Level D or Level E projects.

Depending on your application and needs, Avionyx can provide an array of independent V&V services, including:

• Requirements Validation
• Model-based Verification and Coverage Analysis
• Requirements-based Software Verification
  • Analysis, Inspection
  • Black Box Testing (manual and automated)
  • White Box Testing (manual and automated)
• Static Analysis such as Code Reviews
• Unit Testing / Stress testing
• Structural Coverage Analysis
• Timing, Memory, Stack, Performance Analysis

These services can be performed according to the specific needs of each project and in extensive collaboration with our team of DO-178B experts, both outsourced in our Costa Rica engineering facilities or at your location. 

For more information on how we can help with your software verification and validation needs, contact us at This e-mail address is being protected from spambots. You need JavaScript enabled to view it or 321-821-2365 x404.