Verification and Validation

TES is one of few small companies that can develop and verify safety–critical and flight-critical software per the Federal Aviation Administration’s (FAA) guidelines.  TES can custom build an automated Test suite to meet any customer’s needs. Automating test procedures can reduce cost, schedule and risk to any program.

Design and/or development verification may include activities such as:

• performing alternative calculations,
• comparing the new design with a similar proven design, if available,
• undertaking tests and demonstrations, and
• reviewing the design stage documents before release

Wherever practicable, validation is completed prior to the delivery or implementation of the product. Records of the results of validation and any necessary actions are maintained. At the completion of design and/or development, TES ensures that reports, calculations, test results, etc., demonstrate that the product definition meets the specification requirements for all identified operational conditions.

TES has a great record for testing systems, especially safety critical systems such as aviation systems

• TES has been testing embedded systems for over 13 years
• Since 1997, with just one customer alone we have completed over 130 testing projects accumulating over 325,000 hours
• TES developed their own Programmable Control Test System (PCTS) to fulfill the needs of the modern embedded controller developer

Example TES Verification and Validation Projects

Some of the systems we have conducted verification and validation testing for are:

• Full Authority Digital Engine Controllers (FADECs) used to control jet engines
• Cabin Pressure Control Systems
• Smoke Detection and Suppression Systems used in aircraft
• Emergency Oxygen Systems
• Auxiliary Power Unit
• Military Communications
• Mesh Network RF systems
• Green Energy

Technologies employed for safety-critical applications include:

• ARINC 653 – Published standard for software partitioning through time and memory space
• ARINC 429, Mil STD-1553, ARINC 664 – deterministic and fault tolerant communication protocols