With TTEVerify TTTech Aerospace provides a DO-330 TQL-4 qualified verification tool chain. TTEVerify enables automated reviews of data network configuration implementations against their requirements on different configuration levels: from low-level device parameter values to network-wide configuration options.
Network Verification
A typical TTEthernet or ARINC 664 Part 7 data network for modern avionics has thousands of configuration parameters. Thorough network verification (exhaustive configuration parameter verification) is a prerequisite to smooth integration of distributed systems, and formally required for flight certification or system qualification. To speed up the integration process, reduce efforts in system testing, find inconsistencies early and provide qualified, traceable evidence of thorough verification, TTTech’s automated software tools process and check the network configuration before it is loaded into the network devices. This makes TTEVerify a useful extension in the design and verification phase of the network and its attached systems.
TTEVerify Device Configuration
TTEVerify on the device configuration level is available for TTTech’s Switch and End System flight products. The tool ensures that the loadable binary configuration file has been assembled exactly according to the bit-level specification found in the device configuration XML file. The binary configuration files are checked against hundreds of configuration requirements derived from the design of the DO-254 qualified Switch and End System flight products. A review report is generated, which is sufficient to satisfy review objectives for the configuration files.
TTEVerify Network
TTEVerify Network makes sure that the device configurations have been correctly derived from the dataflow and schedule requirements, as specified by the network architect in a Network Description, and checks consistency of (multiple) device configurations for the network.
Key benefits
- Automated verification of TTEthernet configuration files
- Complete DO-330 TQL-4 Tool Qualification data package is available
- Complements the TTETools design tool chain with verification for formal credit
- Command Line Interface that can be integrated in continuous integration pipelines
TTEVerify is available in various editions specific to our A664 and TTEthernet Switch and End System products. To select the suitable variant or if you need more information, please contact us at products@tttech.com.