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.

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

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.