Project Portrait

 Information sheet
 

Supported by the Federal Ministry of Education and Research, TraceTronic has launched the TraceSys project in February 2008. The goal of the project is to develop a prototype test framework, which examines test and diagnostic data by analyzing trace information throughout the entire life cycle of a system.

When testing embedded systems a large amount of time-based performance data, called traces, are created in a variety of test environments during the life cycle of an automobile. Data is recorded for test and diagnosis purposes, from the modeling (MiL, model-in-the-loop) to the ECU programming (SiL, Software-in-the-Loop) and ECU implementation, as well as the production and final testing (HIL, hardware-in-the-loop), as far as the periodic vehicle safety inspection ( eg: TüV (D) or MoT (UK)). So far, these traces were only analyzed manually with ordinary methods and tools. Within the research project TraceSys, TraceTronic will develop algorithms that automatically evaluate these traces and identify errors. These algorithms are to be used to analyze stored data efficiently throughout the entire life cycle of the automobile.  The application of formal methods is the first step towards true software verification.