Product Highlight TTEthernet®
TTESwitch A664 6U VPX Rugged for Aerospace
AeroQ is an advanced DO-330 qualified tool for formal proof of heterogeneous aerospace networks like ARINC 664 part 7, ARINC 429 and ARINC 825. AeroQ is specifically engineered to profile existing networks and characterize their timing behavior. Results of the tools verification reports will count as credit towards certification per DO-178C and assist in complying with AC20.156 (Aviation Databus Assurance) certification requirements.
The functionality of AeroQ is targeting two different scenarios namely network analysis and verification. Analysis can be performed at any phase of a project, as early as the initial network design and requirement definition period until the final implementation phase. This makes AeroQ highly useful already in initial stages of the design process - as early recognition of design faults is of great value for all customers. When the design is maturing and the project is heading towards certification AeroQ’s verification capabilities are coming into play.
AeroQ performs formal verification of heterogeneous aerospace networks in minutes. The resulting verification report counts as credit towards DO-178C certification. Therefore customers will save time and associated costs during the entire project life cycle by deploying the DO-330 qualified software that comes with tool qualification packages documents signed by an official Designated Engineering Representative (DER).
AeroQ generates a network analysis report in MS Excel format, containing abundant amount of data and information such as worst case latencies and timing margins. Charts and graphs are automatically generated to provide a clear overview.
Formal verification of heterogeneous networks is done in minutes by AeroQ. The resulting Verification Report counts as credit towards DO-178C certification of the communication design. The Verification Report provides detailed timing results (quantifies timing margins) and provides a list of consistency checks performed. A Qualification Data Pack is available as an option for individual aerospace standards.
The Analysis Report highlights critical errors like violations of the requirements and warns about flaws. Warnings and errors come with supplementary advice: guidance is offered for each item. Also, the errors and warnings are aligned by priority: correcting the first error, or warning can solve subsequent errors caused by the first.