Sign In
Forgot Password?
Sign In | | Create Account

Aerospace Network Verification

The AeroQ Workflow

AeroQ supports DO-178C certification, is DO-330 compliant, and assists in complying with AC20.156 (Aviation Databus Assurance) certification requirements.

AeroQ is specifically engineered to profile existing networks and characterize their behavior. AeroQ’s performance analysis can identify opportunities for databus optimization during development. The network structure forms the backbone of a distributed system. It is a main architectural element and should be treated as such.

Aerospace customers must have designs that can be proven to meet their requirements. AeroQ calculates end-to-end worst-case latencies spanning heterogeneous networks and gateways. A detailed timing model helps the user partition timing segments correctly within the complex chain. The tool checks the integrity of data describing the communication network and related requirements. Timing analysis results are automatically compared against timing requirements. AeroQ tool implementation combines the latest results from academic research with solid industrial experience and expertise in EDA.

AeroQ targets two different functionality scenarios: Analysis and Verification. Analysis can be performed in any phase of a project - even in the absence of a full design description or in the absence of requirements. This makes AeroQ uniquely useful in early stages of the design process. Early recognition of design faults represents a great value. Cost of fault correction post certification can be as high as 900x compared to doing it during development!

When the design matures close to certification, AeroQ’s full verification capability comes into play. AeroQ performs formal verification of heterogeneous networks in minutes. The generated verification report counts as credit towards DO-178C certification of the communication design.

AeroQ tool implementation combines the latest results from academic research with solid industrial experience and expertise in EDA. A DO-330 qualification data pack is available as an option.

Benefits

  • Assists in complying with AC20.156 (Aviation Databus Assurance) certification requirements
  • Reduces verification cost, effort, and time compared to manual testing
  • Calculates end-to-end worst-case latencies even for gatewayed signals on heterogeneous networks
  • Provides complete network timing performance analysis in all phases of development, all the way to certification
  • In addition to providing error indications, actually provides guidance on how to solve issues
 
Online Chat