Telelogic® Statemate® Overview

Telelogic Statemate supports a function-oriented Model-Driven Development approach that allows early error detection and correction, and increases communication between the technical and non-technical parties involved in systems development, enabling a concurrent engineering process. Telelogic Statemate's focus is the System engineer, with the solution allowing the user to create formal requirements and an executable specification while generating system, integration, and unit tests. Providing complete process coverage from concept-to-code, engineers can take advantage of the Telelogic Statemate C code generator.

Additionally, the Telelogic Statemate MicroC Code Generator can automatically generate production quality "micro" C applications from the graphical specification, specifically tuned for automotive ECUs. The generated code is so small and so tight, we call it "MicroC." Telelogic Statemate also offers state of the art, advanced technologies including formal verification. This type of analysis can be performed so engineers can validate their Telelogic Statemate graphical specifications, to ensure that they follow good design practices, and prove that they meet user defined critical properties, such as safety. With advanced technology offered by the Telelogic Statemate Automatic Test Generator, engineers can automatically generate a whole range of test vectors from the graphical specification that can be included in Test Plans. The generated test vectors can be run on the embedded system with a hardware in-the-loop tester to ensure that build meets the specification.

For more information on Telelogic Statemate, please click here.