TTEVerify - Verifying TTEthernet Networks

With TTEVerify TTTech provides a DO-178B qualified verification tool chain for automating reviews of configuration implementations against their requirements for each level of the tool chain. TTEVerify is divided into the three verification steps: TTEVerify, TTEVerify Device Configuration and TTEVerify Network Configuration.

Basic Verification

TTEVerify makes sure that the binary configuration file has been assembled exactly according to the bit-level specification found in the device configuration XML file. A traceability report is generated, which is sufficient to satisfy automation of DO-178B "code review" requirements for the configuration files. The tool is applicable to both, switch as well as end system configurations.

TTEVerify Device Configuration Plug-In

TTEVerify Device Configuration Plug-In ensures, that the device configuration has been correctly derived from the schedule and dataflow requirements specification found in the network configuration XML file. A traceability report is generated, which is sufficient to satisfy automation of DO-178B "code review" requirements for the configuration files. The tool is applicable to both switch as well as end system configurations.

TTEVerify Network Configuration Plug-In

TTEVerify Network Configuration Plug-In makes sure, that the schedule and data flow requirements described in the network configuration XML have been correctly derived from the system requirements found in the system specification XML. A traceability report is generated, which is sufficient to satisfy automation of DO-178B "code review" requirements for the configuration files.

Key Benefits

  • Modeling of real-time communication requirements
  • Modeling of network and topology
  • Support for manual and automated design steps
  • Based on open XML databases for flexible exchange with 3rd party tools
  • Specialized editors for each design step
Request Quote

More Information

TTEVerify  is currently under development. If you need more information, please contact us at 

products@tttech.com.