Nya verktyg för säkerhetskritisk programvara

Posted on augusti 20th, 2015 by Jonas Karlsson

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 enligt SP 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 i ett pressmeddelande.

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.

Filed under: SvenskTeknik

« »

Comments are closed.

  •

  • Kommentaren

    Lätt att förstöra infrastruktur

    Både klimataktivister och politiker är rörande överens om att vi måste byta till elbilar (eller helst sluta köra bil) och sluta att flyga inrikes. Men förvånansvärt få verkar fundera på vad som händer när fungerande infrastrukturer inte längre är lönsamma. Kan vi klara oss utan inrikesflyg, postbefordran och bensinstationer? Finns det ett vettigt alternativ när den gamla infrastrukturen inte längre finns? Och finns det till och med en risk att vi tappar bort hela elnätet när anslutningen blir alltför dyr?

    Läs hela krönikan

    Bläddra bland mina andra krönikor (814 stycken)

  • Gästkommentaren



    Ramine Roane, Xilinx
    Pandemin tar fortfarande mycket av vår uppmärksamhet, men samtidigt förändrar AI hur vi arbetar, hela vägen från molnet till Edge och slutpunkter.
    Ramine Roane, vice president of software and AI product marketing, Xilinx, gör här en prognos för elektronikåret 2022.
    .

    I periferin

    Gunnar Englund
    1940 – 2021
    Om strömtänger för AC och DC kan sägas vara väl utredda och kända av alla så är det kanske inte så vanligt att rogowskispolar är riktigt lika välkända. Väl utredda kan man utan vidare säga att de är men ändå är principen för hur de faktiskt fungerar och vilka begränsningar de har inte alls välkända. Det har gjort att totalt felaktiga mätningar med rogowskispolar har lett till likaledes totalt felaktiga och ineffektiva ”lösningar” på det förmodade problemet.
    Gunnar Englund gick bort 14 juni 2021. Läs mer om det här. Men hans krönikor lever och kommer förhoppningsvis att uppdateras med några till.