Från systemsäkerhet till kritikalitet i programvara Hur vi arbetar på flygsidan på FMV 1
Krav på säkerheten ÖB Ansvarar för säkerheten inom Försvaret Krav på säkerhetsnivån på materielen FlygI Militära Flyginspektionen SjöI MarkI Nationella lagar H-Syst Säk inkl bl a H Prog Säk TTEM Taktisk teknisk ekonomisk målsättning RML Regler för militär luftfart RMS Regler för militär sjöfart RMM Regler för militär markfart FMV RFP Industri 2
RFP Enligt H Syst Säk utg 1,1 2005.02.18 SSPP Systemsäkerhetsplan Identifiera vådahändelser + utvärdera de fkn riskerna med dessa PHL Prel riskkällelista PHA Prel riskkälleanalys SRP Industrins säkerhetskrav SRCA identifiera relevanta säkerhetskrav FRACAS Felrapporteringssystem Metod för undersökning av presumtiv vådahändelse. Uppifrån och ner. FTA Felträdsanalys Driftåtermatning Feleffektsanalys som görs nerifrån komponenter och delsystem och upp på hela systemet FMEA Feleffektsanalys tex MIL-STD-489 och DOD-STD-2168 HAZOP and Operability Study En formell metod för analys av programvara Funktionellt inriktade Analysen Analys inriktad på Handhavande, underhåll och avveckling Säkerhetsanalys för yttre miljö ETA Event Tree Analysis Händelseträd SHA System Analysis SSHA Sub System Analysis O&SHA Opperating and Support Analysis, inkl HHA Health Analysis EHA Environmental Analysis 3
Enligt H Syst Säk, del 2 utg 1,0 2005.02.15 SSPP Systemsäkerhetsplan, forts Ställningstagande att överväganden om främst materielens personsäkerhet gjorts, inkl ev restriktion Hanteringsgodkännande FRACAS Felrapporteringssystem SRS Användningsrestriktioner en del av underlaget för måste finnas före SCA och SAR Underlag till SR Beslut om Användning SS Säkerhetsgodkännande SCA Säkerhetsutlåtande SAR Säkerhetsrapport Krävs för materiel som ska överlämnas till FM TES Provvärdighet Krävs innan provning på industrin eller på FMV PHST Hanterings- och förvaringsbestämmelser TSR Användarmanualer och utbildning 4
Nedbrytning av kritikaliteten per delsystem Risk = Sannolikhet/frekvens * Konsekvens/Kritikalitet System Kritikalitet x Apparat Kritikalitet y Programvara Kritikalitet z 5
Nedbrytning av kritikaliteten på delsystem utg 1,0 2005.02.15 Risk = probability * consequence (of a ous event) personal injury (Sv. Risk) (tex vass kant) ous event (occours unintentaionally) (Sv. Olycklig omständighet?) may lead to Accident (Sv. Olycka) leads to damage to property Undesirable event Mishap (mindre olycka?) damage to the external environment unacceptable personal injury 6
Kritikalitetsnivåer, generellt utg 1,0 2005.02.21 Severity levels Flight Safety Severity Levels Probability Levels MIL-STD-882A (Gammla std) MIL-STD-882C (Nya std) RTCA/DO-178 / 178A (Gammla std) Software level RTCA/DO-178A (Gammla std) RTCA/DO-178B (Nya std) Software level RTCA/DO-178B (Nya std) Får inträffa hur många gånger per flygtimme(fh) (per MMS system): Severity Levels Flight safety severity levels category I category I category II category III category IV Catastrophic (1a) Catastrophic (1b) Critical (2) Marginal (3) Negligible (4) Critical Essential Essential Non-essential Non-essential I II II III III Catastrophic (Katastrofal) (1 / CAT) ous / Severe-Major Kritisk / Allvarlig) (HAZ) Major (Kritisk) (MAJ) Minor (Marginell) (MIN) No Effect (Försumbar) A B C D E (E) Extremly improbable < 10E-9 /FH (D) Extremly remote 10E-7-10E-9 /FH (C) Remote 10E-5-10E-7 /FH (B) Probably 10E-3-10E-5 /FH (A) Frequent > 10E-3 /FH Death system loss severe environmental damage see above som ovan severe injury and illness, major damage syst + env svårt skadade svårt illamående Minor injury and illness + minor damage syst+env mindre skador mindre illamående Less than minor injury / illness and damage to system/ environm. (blessyrer) (Death) serious + potential fatal injuries to small numer of occupants discomfort to passengers, possibly including injuries some inconvienience to occupants, but no injuries Systemsäkerhet Programvarukritikalitet Frekvens Konsekvens 7
Täckning programvara RTCA-DO/178B Personskada / egendom Tredje part (Tekniker/ folk på marken) Miljö i Fred H Syst Säk Personskada / egendom Tredje part (Tekniker/ folk på marken) Miljö i Kris Personskada / egendom Tredje part (Tekniker/ folk på marken) Miljö i Krig 8
Täckning programvara AQAP-150 Komplex hårdvara (inkl FPGA) Programmerade apparater, typ ventiler, givare Runtime Library (inkl OS mattebiblotek) Applikations programvara Firmware inkl Boot, debuggers drivers Inlänkade OS och bibliotek COTS Marksystem, inkl utvecklingssystem för programvara och för framtagning och test av data Andra RTCA RTCA-DO/178B 9
Kritikalitetsnivåer, civila std SS-EN 954-1 IEC 61508 IEC 62061 SIL definition Elektriska/elektroniska/programmerbara utr IEC 61508-3 motsvarar RTCA-DO-178B "Maskinsäkerhet" Säkerhet i maskinstyrningar 10
Kritikalitetsnivåer, RTCA-DO-178B 1 2 Table A-4 Verification of outputs of Software Design Process Objective Description Low-level requirements comply with high-level requirements Low-level requirements are accurate and consistent. Ref. Applicability by SW Level A B C D Output Control Category by SW level Description Ref. A B C D 6.3.2a Software Verification Results 11.14 2 2 2 6.3.2b Software Verification Results 11.14 2 2 2 11