Programmet Scade som utvecklats av Telelogic och bevismotorn Prover SL har integrerats i franska Esterels utbud av verktyg för formellt korrekt konstruktion av programvara och hårdvara.
Det fanns inga svenska verktygsföretag med egna montrar på Date. Det svenska inslaget fanns i stället hos franska Esterel, specialist på verktyg för stora säkerhetskritiska konstruktioner.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