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

    Sverige är fortfarande bäst

    I media framställs numera alltid Sverige som ”sämst i klassen” när det gäller klimat- och miljöfrågor. Det är ingen ände på eländet och klimatjournalisterna bjuder över varandra när det gäller att klaga på att vi inte når våra mål. Men i den verkliga verkligheten är vi fortfarande klart bäst i klassen både vad gäller miljö och klimat och vi har utsläppsnivåer som andra industriländer bara kan drömma om. Men vad hjälper det att vara dubbelt så bra som de andra när våra politiker lovat att vi skall vara ännu bättre. Vi lyckas med konststycket att vara i särklass bäst och ändå tvingas böta för att vi inte uppfyller våra idiotiska löften. Snacka om ”Die dummen Schweden”.

    Läs hela krönikan

    Bläddra bland mina andra krönikor (810 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.