JavaScript is currently disabled.Please enable it for a better experience of Jumi. Svenska bidrag huserade hos franska Esterel
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
MER LÄSNING:
 
KOMMENTARER
Kommentarer via Disqus

Anne-Charlotte Lantz

Anne-Charlotte
Lantz

+46(0)734-171099 ac@etn.se
(sälj och marknads­föring)
Per Henricsson

Per
Henricsson
+46(0)734-171303 per@etn.se
(redaktion)

Jan Tångring

Jan
Tångring
+46(0)734-171309 jan@etn.se
(redaktion)