Partitionering av programvara SESAM Rikard Johansson Saab Aerosystems, 2004-02-11 Programvarupartitionering efter kritikalitet Rikard Johansson, Saab Aerosystems.

En presentation över ämnet: "Partitionering av programvara SESAM Rikard Johansson Saab Aerosystems, 2004-02-11 Programvarupartitionering efter kritikalitet Rikard Johansson, Saab Aerosystems."— Presentationens avskrift:

1 Partitionering av programvara SESAM Rikard Johansson Saab Aerosystems, 2004-02-11 Programvarupartitionering efter kritikalitet Rikard Johansson, Saab Aerosystems

2 Partitionering av programvara SESAM Rikard Johansson Saab Aerosystems, 2004-02-11 S/W Identifiering av felhändelser Vingbalksbrott Förlust av styrförmåga Brand i kabin Förlusta av noshjulsstyrning S/W

3 Partitionering av programvara SESAM Rikard Johansson Saab Aerosystems, 2004-02-11 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

4 Partitionering av programvara SESAM Rikard Johansson Saab Aerosystems, 2004-02-11 S/W Delar resurser (minne,CPU, I/O etc).

5 Partitionering av programvara SESAM Rikard Johansson Saab Aerosystems, 2004-02-11 Anpassning av utvecklingsmetod mot säkerhetskrav FEL

6 Partitionering av programvara SESAM Rikard Johansson Saab Aerosystems, 2004-02-11 S/W

7 Partitionering av programvara SESAM Rikard Johansson Saab Aerosystems, 2004-02-11 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

8 Partitionering av programvara SESAM Rikard Johansson Saab Aerosystems, 2004-02-11 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

9 Partitionering av programvara SESAM Rikard Johansson Saab Aerosystems, 2004-02-11 Implementation A0-A14 CPU CS-logic A7-A15 ROMRAM A0-A15 I/O A15 CS

10 Partitionering av programvara SESAM Rikard Johansson Saab Aerosystems, 2004-02-11 Andra lösningar Exempel Lynuxworks, LynxOS-178 RTOS Green Hills, INTEGRITY-178B Wind River, VxWorks AE 653 RTOS …

11 Partitionering av programvara SESAM Rikard Johansson Saab Aerosystems, 2004-02-11 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