Verification Tools

Verification Tools

TTTech’s verification tools for the aerospace market are based on our core-technologies, the time-triggered Ethernet TTEthernet and the time-triggered protocol TTP.


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.


TTTech’s TTPVerify enables automatic verification of system and network design parameters and is designed as DO-178B Level A verification tool.