Presentation av H ProgSäk 2018

Transkript

1 Presentation av H ProgSäk 2018 Lars Lange lars.lange@fmv.se

2 Handböcker 2

3 H ProgSäk

4 Bakgrund Inga-Lill Bratteby-Ribbing (Strategisk specialist) Svensk utgåva 2001 (Grundutgåva) Engelsk utgåva 2005 (Innehållsmässigt uppdaterad) Handboken ställer krav på programvara, utvecklingsprocess och kompetenskrav på organisation och individ SÄKINSP beställde 2012 uppdatering av H ProgSäk Arbetet med inhämtning av synpunkter påbörjades 2014 Projektet etablerades första kvartalet 2015 Handboken fastställde den 12 december 2017 Översättning klar under hösten

5 Varför revidering? Nuvarande handbok är en utmärkt Teknisk rapport men den är mycket svår att tillämpa i projekt, dvs att ställa krav på leverantör/utvecklande industri Den nya handboken är en FMV-publikation Den ska användas vid all upphandling av programvara för säkerhetskritiska tillämpningar Handboken ska ställa tillräckliga krav på en programvara med låg kritikalitetsnivå För programvara med högre kritikalitet rekommenderar handboken att etablerade programvarustandarder tillämpas 5

6 Kravreducering från befintlig handbok FM 10 förutsättningar FMV 13 krav på VHL 396 krav Industrin 53 krav 6 VHL = Verksamhetsledningssystem

7 Ag ProgSäk Referensgrupp 7

8 8

9 Säkerhet två skilda begrepp Systemsäkerhet Safety Egenskap hos ett system, att inte oavsiktligt orsaka person-, egendoms- eller miljöskada IT-/Informationssäkerhet Security Egenskap hos ett system att kunna motstå intrång, otillbörlig insyn, förlust och påverkan

10 Säkerhetskritiskt datorsystem Datorsystem som direkt eller indirekt styr eller övervakar energier och som vid fel kan orsaka vådahändelse och i förlängningen olyckor.

11 Handbokens inriktning Handbok Systemsäkerhet (H SystSäk) ska alltid tillämpas parallellt med denna handbok

12 Användning Handboken gäller från och med

13 Syfte Syftet med H ProgSäk är att kunna ställa rätt krav på utveckling av programvara för att erhålla säkra tekniska system Handboken innehåller grundläggande krav motsvarande lägsta accepterade kritikalitetsnivå och vägledning för arbetet För samtliga högre kritikalitetsnivåer ska etablerad programvarustandard följas utöver handbokens grundläggande krav

14 Kapitelindelning 1 (3) Kapitel 1 Handbokens inriktning anger syftet med handboken samt hur handboken ska tillämpas Kapitel 2 Lagar, standarder och handböcker omfattar ett urval av användbara programvarustandarder mm Kapitel 3 Arbetsgång mellan Försvarsmakten, FMV och industrin anger övergripande process beskrivning mellan aktörerna Kapitel 4 Säkerhetsarkitektur och metodik beskriver datorsystemets egenskaper, säkerhetsarkitektur och kritikalitetsklassificering av programvara

15 Kapitelindelning 2 (3) Kapitel 5 Livscykelhantering och kvalitetsstyrning anger förhållande till verksamhetsledningssystem, kvalitetsledning av försvarsmateriel, konfigurationsledning samt utvecklingsmiljöer Kapitel 6 Förutsättningar från Försvarsmakten anger FMV:s förväntningar på FM för att kunna genomföra projekt Kapitel 7 Verksamhetskrav på FMV anger krav på FMV:s interna processer Kapitel 8 Grundkrav (GKPS) på utvecklande industrin anger grundkrav för all programvara som industrin alltid ska uppfylla

16 Kapitelindelning 3 (3) Kapitel 9 Beskrivning av dokumentation anger förslag på dokument och vad respektive dokument bör innehålla för information Kapitel 10 CE-märkta produkter samt produkter godkända av annan aktör beskriver möjligheter och förhållningssätt till produkter som redan finns på marknaden eller som ska sättas på marknaden Kapitel 11 Hantering av tidigare utvecklad programvara anger förhållningssätt till tidigare utvecklad programvara (PDS) Kapitel 12 Angränsande metodik- och teknikområden såsom verksamhetssäkerhet, informationssäkerhet, data, användbarhet, programmerbar logik samt metoder för snabb systemutveckling

17 Kravnumrering

18 Handbokens omfattning

19 Tillämpning H ProgSäk är vägledande för programvara i säkerhetskritiska tillämpningar och utgör stöd för FMV i roll som DesignA vid kravställning Handboken är i sig inte ett styrande dokument vilket betyder att de krav som redovisas i handboken utgör underlag för kravspecifikationer I det enskilda projektet måste alltid anpassning göras efter aktuellt tekniskt systems art, komplexitet och bedömda riskinnehåll. Det kan därför finnas sådana förutsättningar som medför att visst krav enligt handboken inte är tillämpbart i en beställning Kravställningen är ytterst DesignA/projektets ansvar och vilka krav som ska gälla för ett specifikt tekniskt system ska framgå av kravspecifikation i beställning/kontrakt.

20 Närslutna områden

21 Aktörer

22 Lagar, standarder och handböcker Obs! Handboken gör inte anspråk på att redovisade programvarustandarder utgör en fullständig jämförelse mellan dessa. Refererade standarder är de som var aktuella vid handbokens färdigställande. Läsaren rekommenderas att alltid själv identifiera tillämpliga standarder och aktuella utgåvor.

23 Förhållande mellan programvarustandarder IEC / ISO / EN Inom FM och FMV hanteras standarder via FSD-funktionen!

24 Förenklad processbild

25 Principiellt upplägg av kapitel 6 8 Utveckling Anskaffning Användning/underhåll Avveckling FM FMV Industrin

26 Krav i kapitel 6-8 Uppbyggnad Inledande text Krav Kommentar Alla krav ska tillämpas Omformulera krav Skrivna som skall-krav

27 Förbättringsförslag

28 FMV:s hemsida

29

30 Förutsättningar från Försvarsmakten, kapitel 6 Fordonssäkerhetskurs

31 Förutsättningar från Försvarsmakten, kapitel 6 Fordonssäkerhetskurs

32 Förutsättningar från Försvarsmakten, kapitel 6 Fordonssäkerhetskurs

33 Verksamhetskrav på FMV, kapitel 7 Fordonssäkerhetskurs

34 Verksamhetskrav på FMV, kapitel 7 Fordonssäkerhetskurs

35 FMV:s initiala kritikalitetsklassificering Om det tekniska systemets topphändelser kan leda till konsekvenser som är Hög, Allvarlig eller Medel för person, egendom och/eller yttre miljö, enligt tillämpningsmatrisen i tabell 4.1, blir resultatet av FMV:s initiala kritikalitetsklassificering HÖG. Detta medför att det av FMV:s förfrågningsunderlag ska framgå att industrin ska uppfylla både kraven i en valfri etablerad programvarustandard och Grundkrav för programvarusäkerhet (GKPS) i kapitel 8. Om konsekvenser av det tekniska systemets topphändelser enbart kan resultera i konsekvenser som är Låg eller Ingen blir resultatet av FMV:s initiala kritikalitetsklassificering LÅG. Detta medför att det av FMV:s förfrågningsunderlag ska framgå att industrin enbart behöver uppfylla Grundkrav för programvarusäkerhet (GKPS) i kapitel 8. 35

36 FMV:s initiala kritikalitetsklassificering FMV initiala kritikalitetsklassificering av tekniska system (person, egendom, yttre miljö) 36

37 FMV:s initiala kritikalitetsklassificering FMV initiala kritikalitetsklassificering av tekniska system (person, egendom, yttre miljö) 37

38 Industrins mottagning av förfrågningsunderlag Utöver FMV systemsäkerhetskrav ska följande framgå av förfrågningsunderlag: Exempel: Krav på tolerabel risknivå för enstaka dödsfall (skadeklass I, H SystSäk) får vara maximalt 1*10-5 per systemindivid under livslängden 30 år Grundkrav för programvarusäkerhet (GKPS) i H ProgSäk 2018 ska uppfyllas Valfri etablerad programvarustandard ska anges Driftprofilen motsvarar en kontinuerlig drifttid om minst timmar för det tekniska systemet. 38

39 Beställning till utvecklande industri FMV tecknar kontrakt med industrin utifrån ställda krav i förfrågningsunderlaget Industrin förbereder inför den formella kontraktsgenomgången Säkerhetsarkitektur 39

40 Inför kontraktsgenomgång och redovisning av säkerhetsarkitektur Industrin identifierar lämplig säkerhetsarkitektur för dimensionerande vådahändelserna Olycka A P1 & Vådahändelse A P2 Exponering P3 Fel i säkerhetsfunktion P5 & Oberoende viktigt! Fel i säkerhetskritisk funktion A P4 40

41 Kritikalitetsnivåer för olika programvarustandarder En direkt jämförelse mellan de olika standardernas kritikalitetsnivåer kan inte göras.

42

43 Tidigare utvecklad programvara (PDS) Previously Developed Software (PDS) är programvara som redan finns färdigutvecklad då det tekniska systemet ska utvecklas Free software Copy today Pay tomorrow

44 Tidigare utvecklad programvara PDS måste uppfylla samma krav som övrig nyutvecklad programvara avseende olika aspekter såsom systemsäkerhet, IT-säkerhet, testning, dokumentation, kvalitet, konfigurationsledning

45 Varianter av tidigare utvecklad programvara Utvecklad inom företaget / Utvecklad externt Gratis / Anskaffningskostnad Kräver användarlicens / Kräver inte licens

46 Tankar kring användning av PDS Planerar man att själv ändra koden i PDS eller önskar man få ett avtal med leverantören av PDS för framtida underhåll, uppdateringar och testning? Finns PDS i andra liknande tekniska system där man kan visa att den fungerar, så kallad Proven in use med referenser?

47

48 Fristående CE-märkta produkter Upphandling av fristående CE-märkta produkter samt av andra aktörer godkända produkter 10.1 Allmänt om CE-märkta produkter 10.2 CE-märkta produkter som redan finns på marknaden 10.3 CE-märkta produkter som inte finns på marknaden 10.4 Produkter certifierade eller godkända av annan part

49 Produkter som REDAN finns på marknaden Produkter som redan finns på marknaden och som innehåller säkerhetskritisk programvara men man planerar inte att genomföra egna uppdateringar eller andra ändringar Produkten avses enbart användas fristående och ska inte integreras i ett tekniskt system Eventuella uppdateringar av programvaran genomförs uteslutande av leverantören

50 CE-märkta produkter som REDAN finns på marknaden

51 CE-märkta produkter som REDAN finns på marknaden

52 Produkter som INTE finns på marknaden FMV ställer krav på användningsmiljö, operationsbetingelser och utbildning mm Produkten CE-märks före leverans till FMV Produkten avses att användas fristående eller integreras i ett tekniskt system, allt inom leverantörens anvisningar Eventuella uppdateringar av programvaran genomförs av industrin och/eller FM/FMV

53 CE-märkta produkter som INTE finns på marknaden

54 Produkter certifierade eller godkända av annan part

55

56 FMV Generell grundkurs på uppdrag av FM SÄKINSP Deltagare ur FM, FMV och industrin/konsulter 56

57 Kursmål Kursen avser att: definiera begreppet: Programvara i säkerhetskritiska tillämpningar medvetandegöra behovet av programvarusäkerhetsverksamhet i tekniska system informera om den metodik och de verktyg som kan användas för kritikalitetsklassificering informera om olika programvarustandarder klargöra rollspelet/regelverket (FM-FMV-utvecklande industri) för att åstadkomma säker programvara i tekniska system samt ge inriktning för användning av tidigare utvecklad programvara (PDS) 57

58 Vilka är vi? Svante Wåhlin, FMV SPL Stab S&D Peter Djervbrant, konsult Björn Koberstein, FMV Gripen Mikael Lindbergh, FMV SPL Flyg Lars Lange, FMV SPL Stab S&D 58