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.
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)