Transcript Programvarupartitionering efter kritikalitet Rikard Johansson, Saab Aerosystems

Programvarupartitionering
efter
kritikalitet
Rikard Johansson, Saab Aerosystems
Partitionering av programvara
SESAM
Rikard Johansson Saab Aerosystems, 2004-02-11
Identifiering av felhändelser
Förlust av styrförmåga
S/W
Brand i kabin
S/W
S/W
S/W
Vingbalksbrott
Partitionering av programvara
SESAM
Förlusta av
noshjulsstyrning
Rikard Johansson Saab Aerosystems, 2004-02-11
Analys av felhändelser
Hazard
Hazard name
System Effect
Severity *
1
Förlust av styrförmåga
Haveri
Skada/dödsfall
Catastrophic
2
Förlust av noshjulsstyrning
Ökad förarbelastning
Minor
* Enligt RTCA/DO-178B
Partitionering av programvara
SESAM
Rikard Johansson Saab Aerosystems, 2004-02-11
S/W
S/W
Delar resurser (minne,CPU, I/O etc).
Partitionering av programvara
SESAM
Rikard Johansson Saab Aerosystems, 2004-02-11
Anpassning av utvecklingsmetod mot säkerhetskrav
FEL
FEL
FEL
FEL
FEL
FEL
Partitionering av programvara
SESAM
Rikard Johansson Saab Aerosystems, 2004-02-11
S/W
Partitionering av programvara
SESAM
S/W
Rikard Johansson Saab Aerosystems, 2004-02-11
Partitioneringsproblemet
TID
RUM
Skydd för beräkningar
och kommunikation
Skydd för kod/data minne,
register och I/O buffrar
Oändliga loopar
Överskrivning av data
Program-stopp
Otillåten påverkan av systemet
Fel i programflöde
Överskrivning av stack
Överskrivning av stack
Partitionering av programvara
SESAM
Rikard Johansson Saab Aerosystems, 2004-02-11
Lösning
Arkitektur
Schemaläggning
sluten
öppen
sluten
öppen
NMI
I/O
Öppna
Öppna och
sätt Timer
I/O
Öppna och
sätt Timer
Slut
RAM
Timer
CPU
I/O
RAM
RAM
RAM
RAM
Timer triggar NMI
och sluter
PROM
Partitionering av programvara
SESAM
Rikard Johansson Saab Aerosystems, 2004-02-11
Implementation
I/O
CPU
CS
I/O
CS
CS-logic
RAM
CS
A7-A15
A15
A0-A14
A0-A15
Partitionering av programvara
SESAM
Rikard Johansson Saab Aerosystems, 2004-02-11
ROM
CS
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, 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
Partitionering av programvara
SESAM
Rikard Johansson Saab Aerosystems, 2004-02-11