Product Highlight TTEthernet®
TTESwitch A664 6U VPX Rugged for Aerospace
AeroQ is an advanced DO-330-qualified tool for analysis and formal proof of heterogenous aerospace networks.
TTEVerify is a DO-178B qualified verification tool chain for automating reviews of configuration implementations against their requirements for each level.
This solution speeds up the verification process of parameter design and changes for TTPTD-COM layer and allows lower reconfiguration and certification costs.