JavaScript is currently disabled.Please enable it for a better experience of Jumi. Sex miljoner euro till säkerhetsforskning

Högre abstraktionsnivåer ska ge pålitligare programvara. Det är förhoppningen med det EU-finansierade projektet Hats som har sitt kickoff idag.
Hats (Highly Adaptable and Trustworthy Software using formal models) ska ta fram ett nytt modelleringsspråk för programvara avsedd för säkerhetskritiska applikationer som bilar, banker och medicinska journaler.

Språket ska vara vara precist men kortfattat. Sida vid sida med språket tar projektet fram verktyg för automatiserad analys. I projektet deltar experter på programspråk, distribuerade system, produktlinjer för programvara, formell verifiering, och typteori.

Chalmers är koordinator för projektet som sorterar under "Future and Emerging Technologies" – en EU-satsning på informations- och kommunikationsteknologi. Det har en budget på 6 miljoner euro och kommer att pågå i fyra år.

Prenumerera på Elektroniktidningens nyhetsbrev eller på vårt magasin.


MER LÄSNING:
 
KOMMENTARER
Kommentarer via Disqus

Rainer Raitasuo

Rainer
Raitasuo

+46(0)734-171099 rainer@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)