Förra året köpte Esterel den division av svenska Telelogic som utvecklat Scade, och nu presenterades det första gemensamma resultatet. Scades hjälpmedel för utveckling av säkra programtillämpningar fungerar nu i Esterels miljö. Med Scade kan användaren utveckla en formell specifikation och sedan automatiskt generera C-kod.
I nya Scade har Esterel även integrerat bevismotorn Prover SL, som hanterar sekventiell logik. Denna har parallellt byggts in i Esterels egna programvara Esterel Studio. I båda fallen ger bevismotorn större möjligheter att identifiera fel tidigt i processen. Esterel har tidigare använt en egen bevismotor, men enligt vd Eric Bantégnie är Provers teknik betydligt snabbare.
Adam Edström