Analys av säkerhetskritisk programvara Christian Martinsson Systemsäkerhet & Processtöd AT, Växjö - Haft systemsäkerhet som huvuduppgift i snart 10 år - En kraftigt växande verksamhet, vi var 2-3 stycken under 90-talet. Sedan 99 har vi växt från 4 till 13 personer - Förra gången denna kurs hölls höll min kollega Liselotte i Norrköping detta avsnitt. Hon hade dock inte tid denna gången utan bad mig. - Jag arbetar på division ledningssystem, vilket passar bra då det är framförallt sådana system som vi analyserar. Våra huvudkunder är FMV, LFV, Försvarsindustri och Järnvägsinspektionen och givetvis AT internt.

Upplägg Identifiering, Klassificering, Prediktering, Felträd, Säkerhetsbevisning av programvara i teorin Praktiska exempel från lednings-, informations- och kommunikationssystem Det var lite bakgrund. Nu till ämnet för dagen. Jag tänkte jämföra driftsäkerhet med systemsäkerhet. Det finns både likheter och olikheter. Men för att göra det behöver jag först ge er en bakgrund till systemsäkerhet. Jag förutsätter att ni redan känner till en hel del om tillförlitlighet.

Identifiering och klassificering Varför…? Utgå från feltillstånd (identifiering, definition, allvarlighet) Följ kritisk informations väg via SW-moduler (koppla moduler till feltillstånd) Kartlägg s k Safeguards SW-moduler klassificeras utifrån feltillstånd de kan orsaka samt ”tillgången” till safeguards

Prediktering Varför…? Fältdata Utifrån använd SIL/DAL Testresultat Förhållandet hårdvara/programvara

Säkerhetsbevisning Varför…? Utvecklingsnivån har varit adekvat i förhållande till programvarans kritikalitet Inga kända säkerhetsrelaterade programvarufel finns vid driftsättning Säkerhetsrelaterade programvarukrav har verifierats Lågt felutfall i sluttester/provdrift

Identifiering och klassificering Via felträdsanalys Via FMECA/HAZOP

Steg 1; Identifiering & klassificering av feltillstånd No System comp Func Sub- func Guide Word Consequence Potent hazards Safe Guard Hazard Class   Steg 2; Klassificering av programvara No System comp Func Sub- func Softw comp Potent hazards Softw failure Safe Guard  

Prediktering, Fältdata Insamling av felutfall från ett flertal systemindivider, samma version, samma användning. Källa; Uh-kontrakt, loggar etc Nivå på statistiken Addering av fel för att erhålla värde

Prediktering, utvecklingsstandard För att understiga en viss frekvens bör en viss utveckling användas Går ej att hävda det omvända

Prediktering, testresultat Ej samma användning Olika intensiva testperioder Endast modell av miljön

SIL/DAL/Level från början 2 Projekt   Metoder TALK 1 TALK 2 System 2000 SIGMA NUP FV 2000 STRIC Rang FTA Ja FDA Delvis Ja 1 SIL/DAL/Level från början 2 SIL/DAL/Level i efterhand 3 Testresultat statistiskt 4 Förhållandet Hårdvara - Programvara 5 Känslanalys