Esterel Technologies is to supply German manufacturer Audi with software to help it design safety and mission-critical in-car electronics. Audi has adopted the company's SCADE Suite and Esterel Studio products.
The SCADE suite is used to create a formal specification and to automatically generate embeddable software that meets it.
Traditionally systems are verified only after design is complete but Esterel Studio creates a design flow, which has verification automatically built into the process. It gives the design team a correct-by-construction way to get from a specification to an RTL or C code description of an electronic system.