Test & Validation

TCPsi has expertise and capabilities in the field of safety-critical software systems design, qualification (ISVV) and certification.

Specifically within the certification area, TCPsi has certification experience in the RTCA/DO-178B Standard, up to level A. The mainly technologies that we use are:

Programming languages restrictions applications, Static and dynamic code analysis, Worst case run-time analysis, Signal delay analysis, Stack/ROM/RAM usage analysis, Compilation errors analysis.

In addition and since some years ago, TCPsi has developed two solutions for software testing to support different projects related to on-board real-time software:

• Test Harness Generator (THG): is a solution fully developed by TCPsi to perform unitary and integration testing for embedded and real-time software.

• THGMatlabTest:  is a tool for code testing automatic generation tool generated from Matlab models.

TCPsi has become an official integrator of the OPAL-RT solutions: RT-LAB. This simulation platform boosts our activities on real-time simulation and accelerated simulation, allowing the use of own SW modules, third-party SW modules and addition of hardware in the simulation process (hardware in the loop).

Furthermore, we can offer our experience and capacities to provide consultancy on simulation as well as on SW and HW integration in the simulation loop.