Security and dependability of computer systems - esercitazione dependability

Three Primary Flight Computers provide Triple redundant computational channels for the

primary flight control system.

Each PFC channel contains three dissimilar processor lanes

 Each lane contains dissimilar processors and different Ada compilers to provide

triple dissimilarity.

 Each lane contains three modules of ram

Il sistema funziona in modalità TMR finché il Voter da una votazione positiva altrimenti il sistema

effettua un passaggio alla modalità Simplex in modo Hot Spare.

I 3 sistemi del TMR ed il Simplex sono formati da:

1CPU

3 RAM

1 BUS

Software

Ciascuno dei singoli sistemi è considerato funzionante se funzionano contemporaneamente la CPU,

il BUS, almeno 2 delle RAM ed il software non ha generato fallimenti.

Per semplificare l’analisi consideriamo i BUS sempre funzionanti.

Tutti i failure rates sono assunti esponenziali di parametri riportato nella tabella

Componente lambda

CPU Sistema 1 1e^(-9)

CPU Sistema 2 1,1 * e^(-9)

CPU Sistema 3 1,2 * e^(-9)

CPU Simplex 1 * e^(-9)