Partitionering av programvara SESAM Rikard Johansson Saab Aerosystems, Programvarupartitionering efter kritikalitet Rikard Johansson, Saab Aerosystems
Partitionering av programvara SESAM Rikard Johansson Saab Aerosystems, S/W Identifiering av felhändelser Vingbalksbrott Förlust av styrförmåga Brand i kabin Förlusta av noshjulsstyrning S/W
Partitionering av programvara SESAM Rikard Johansson Saab Aerosystems, Hazard 1 2 Hazard nameSystem EffectSeverity * Förlust av styrförmåga Förlust av noshjulsstyrning Haveri Skada/dödsfall Ökad förarbelastningMinor Catastrophic * Enligt RTCA/DO-178B Analys av felhändelser
Partitionering av programvara SESAM Rikard Johansson Saab Aerosystems, S/W Delar resurser (minne,CPU, I/O etc).
Partitionering av programvara SESAM Rikard Johansson Saab Aerosystems, Anpassning av utvecklingsmetod mot säkerhetskrav FEL
Partitionering av programvara SESAM Rikard Johansson Saab Aerosystems, S/W
Partitionering av programvara SESAM Rikard Johansson Saab Aerosystems, Partitioneringsproblemet TID RUM Skydd för beräkningar och kommunikation Oändliga loopar Program-stopp Fel i programflöde Överskrivning av stack Skydd för kod/data minne, register och I/O buffrar Överskrivning av data Otillåten påverkan av systemet Överskrivning av stack
Partitionering av programvara SESAM Rikard Johansson Saab Aerosystems, CPU NMI I/O Timer RAM PROM ÖppnaSlut slutenöppenslutenöppen ArkitekturSchemaläggning RAM Öppna och sätt Timer Timer triggar NMI och sluter Öppna och sätt Timer I/O Lösning
Partitionering av programvara SESAM Rikard Johansson Saab Aerosystems, Implementation A0-A14 CPU CS-logic A7-A15 ROMRAM A0-A15 I/O A15 CS
Partitionering av programvara SESAM Rikard Johansson Saab Aerosystems, Andra lösningar Exempel Lynuxworks, LynxOS-178 RTOS Green Hills, INTEGRITY-178B Wind River, VxWorks AE 653 RTOS …
Partitionering av programvara SESAM Rikard Johansson Saab Aerosystems, Summering Partitionering ger : + Minskad totalkostnad/ökad säkerhet + Flexibilitet inför framtiden - Ökad investeringskostnad (RTOS alt. Hårdvara) Partitionering i hårdvara ger : + Oberoende av processortyp + Oberoende av RTOS - Något ökad kostnad för hårdvara