Skip to main content

Nya verktyg för utveckling av säkerhetskritisk programvara

Pressmeddelande   •   Aug 20, 2015 09:03 CEST

Den programvara som styr säkerhetskritiska system blir allt mer komplex, och utvecklingen är tidskrävande. Med verktyget SafetyADD, som utvecklats av SP, använder man säkerhetskontrakt för att automatiskt kontrollera att programvarukomponenter uppfyller säkerhetskraven. På så vis kan man på ett effektivt och säkert sätt lägga till, byta ut och återanvända programvarukomponenter i ett större system, samt förenkla säkerhetsgranskningar och certifiering.

– Idéerna bakom SPs säkerhetskontrakt och SafetyADD har använts i kunduppdrag. De kommer att vidareutvecklas tillsammans med våra kunder och i framtida forskningsprojekt, säger Jonny Vinter, biträdande sektionschef för pålitliga system på SP Sveriges Tekniska Forskningsinstitut.

SafetyADD har utvecklats som en del i ARTEMIS-projektet SafeCer (Safety Certification of Software-Intensive Systems with Reusable Components – www.safecer.eu) med 27 partners från industri och forskare från Europa. Volvo Technology har koordinerat.

För mer information, kontakta:

Jonny Vinter, SP Sveriges Tekniska Forskningsinstitut, 010-516 53 59, jonny.vinter@sp.se

SP Sveriges Tekniska Forskningsinstitut är en internationellt ledande institutskoncern med ca 1 500 medarbetare. Vi skapar värde i samverkan och erbjuder kvalitet i hela innovationskedjan, vilket har stor betydelse för näringslivets konkurrenskraft och hållbara utveckling. Läs mer på www.sp.se