Audi chooses Esterel to design-in safety -

Audi chooses Esterel to design-in safety

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.

Leave a Reply

This site uses Akismet to reduce spam. Learn how your comment data is processed.