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

AeroQ is an advanced DO-330-qualified tool for analysis and formal proof of heterogenous aerospace networks.

TTEVerify

TTEVerify is a DO-178B qualified verification tool chain for automating reviews of configuration implementations against their requirements for each level.

TTPTD-COM Verify

This solution speeds up the verification process of parameter design and changes for TTPTD-COM layer and allows lower reconfiguration and certification costs.

TTPVerify

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