Nya verktyg för utveckling av säkerhetskritisk programvara
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.