JavaScript is currently disabled.Please enable it for a better experience of Jumi.
 Annonsera Utgivningsplan Månadsmagasinet Prenumerera Konsultguide Om oss  About / Advertise
onsdag 20 november 2019 VECKA 47
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:
 
Branschens egen tidning
För dig i branschen kostar det inget att prenumerera på vårt snygga pappers­magasin.

Klicka här!
SENASTE KOMMENTARER
Kommentarer via Disqus

Vi gör Elektroniktidningen

Anne-Charlotte Sparrvik

Anne-Charlotte
Sparrvik

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

Anna Wennberg

Anna
Wennberg
+46(0)734-171311 anna@etn.se
(redaktion)

Jan Tångring

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