TTEVerify

DO-330 qualified verification tool chain

Request Quote

TTEVerify is a DO-330 qualified verification tool chain for automating reviews of configuration implementations against requirements for each level of the tool chain. TTEVerify has three verification steps: TTEVerify, TTEVerify Device Configuration and TTEVerify Network Configuration.

Basic Verification

TTEVerify ensures that the binary configuration file has been assembled exactly according to the bit-level specification of the device configuration XML file. It generates a traceability report that is sufficient to satisfy the automation of review requirements for the configuration files. TTEVerify can be used for switch as well as end system configurations.

TTEVerify Device Configuration Plug-In

The TTEVerify Device Configuration Plug-In makes sure the device configuration has been correctly derived from the schedule and data flow requirements specification in the network configuration XML file. It generates a traceability report that is sufficient to satisfy the automation of review requirements for the configuration files. The tool can be used both for switch and end system configurations.

TTEVerify Network Configuration Plug-In

TTEVerify Network Configuration Plug-In ensures that the schedule and data flow requirements described in the network configuration XML file have been correctly derived from the system requirements in the system specification XML. It generates a traceability report that is sufficient to satisfy the automation of 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 third-party tools
  • Specialized editors for each design step

TTEVerify is currently under development. If you need more information, please contact our team at products@tttech.com.