Certifierbara System-på-Kisel för Säkerhetskritiska Tillämpningar Inom Industrin

Viktiga resultat som projektet gav

Projektet har utvecklat en hårdvaruplattform med slutgiltigt mål att implementeras på ASIC som utökas med funktioner för att tillhandahålla tidsisolering mellan mjukvaruinstanser. Plattformen har sedan genomgått en utvärdering enligt Common Criteria för att säkerställa att funktionerna på ett tillfredställande sätt tillåter att mjukvaruinstanser partitioneras.

Långsiktiga effekter som förväntas

Resultat och erfarenheter från projektet har använts för att förbättra Gaislers kommande standardprodukter, en IP-kärna utvecklas av Chalmers och låter atsec marknadsföra sin kompetens inom området.

Upplägg och genomförande

Projektet planerades med faserna Specification, Design, Implementation and verification, följt av en Demonstrator-fas. Parallellt med dessa faser löpte en Security Evaluation där designval och dokumentation för designen granskades och kontinuerligt förbättrades. Att etablera den första designen och utökningar för tidsisolering mellan processor förlöpte väl. Utökningar av NoC var mer tidskrävande pga tekniska svårigheter. Projektet borde i detta skede ha prioriterat dokumentationsutökningar för att inte försena arbetet med säkerhetsutvärderingen.

Externa länkar

Webbplats där projektresultat sprids.