Universitatea Tehnica Gh.

Asachi Facultatea de Automatica si Calculatoare

SISTEME DE TIMP REAL

Tema nr. 2

Student: Apostol George-Lucian Grupa: 1405A

Structura TMR reconfigurabila

Fie 3 module identice cu rata de defectare care functioneaza in paralel intr-un aranjament initial de tip TMR.Dupa defectarea unui modul,in functie de obiectivul urmarit,o mai mare fiabilitate si securitate,se poate alege continuarea functiei sistemului in una din urmatoarele variante: Varianta 1: Continuarea functionalitatii cu un singur modul in varianta nerendundanta fara autotestare (TMR/Simplex); Varianta 2: Continuarea functionalitatii cu cele 2 module ramase functionale in duplex,in regim de mare siguranta,-raspunsurile celor 2 module sunt comparate continuu si la aparitia unei diferente intre cele 2 raspunsuri se genereaza un semnal de control pentru oprirea sistemului(TMR/Duplex).

Cerinte: a) Sinteza logicii de control si reconfigurare pentru structura TMR Simplex; b) Sa se compare fiabilitatea si securitatea sistemelor in cele doua variante. c) Care logica combinattionala pentru detectarea primei detectari este mai simpla? Cea din figura 1 Curs sau cea din figura 2 Curs? Rezolvare: a) Sinteza logicii de control si de configurare pentru varianta TMR/Duplex. Inainte de a sintetiza logica de control si de configurare , sa stabilim modul in care poate fi detectata automat defectarea unui modul.In acest scop trebuie sa tinem cont de faptul ca la prima defectare sistemul functioneaza corect ,deci iesirile voterului sunt corecte. Prin compararea celor 3 iesiri a modulelor cu voterul poate fi detectata prima defectare si identificat modulul defect. Sa consideram circuite logice cu o singura iesire. In figura urmatoare modulul care se defecteaza mai intai se considera M2,lucru reflectat in bistabilul de stare corespunzatoare. Valoarea 0 in bistabilul de stare conduce la blocarea propagarii iesirii modulului defect.

Fig1. Logica de control si de cinfigurare pentru structura TMR/Duplex. Sinteza logicii de control si de configurare pentru varianta TMR/Simplex. Logica de configurare este aceeasi ca la varianta duplex cu diferenta ca in acest caz dupa ce s-a defectat un modul,acesta va fi oprit iar in continuare va functiona doar unul din cele 2 module.Aceasta alegere este mai eficienta deoarece rata de defectare a sistemului este mult mai mica.

Fig2. Logica de control si de configurare pentru structura TMR/Simplex.

b) Analiza comparativa a fiabilitatii si securitatii sistemului pentru varianta Duplex. Luand in considerare faptul ca probabilitatea de defectarea c << , vom considera c=0; Pentru calculare fiabilitatii sistemului vom folosi schema Markov.

Fig 3. Modelul Markov pentru varianta TMR/Duplex. RTMR/Duplex=P1(t) +P2(t) P`(t)=A*P(t)

3 0 2 2 0 0 0

A= 3
0

P`1(t)=-3 * P1(t) P`2(t)=3 * P1(t) - 2 P2(t) P`3(t)=3 * P2(t) Probabilitatile initiale: P1(0)=1; P2(0)=0; P3(0)=0; Aplicam transformata Laplace pentru a rezolva sistemul.Acesta devine: sP1(s) 1 = -3 * P1(s) sP2(s) 0 = 3 * P1(s) -2 P2(s) sP3(s) 0 = 3 * P2(s) P1(s) =
1 s + 3

P2(s) =

1 * s + 2

1 1 3 1 = s + 3 s + 2 s + 3

Folosim inversa functiei Laplace pentru revenirea in domeniul timp: P1(t) =e-3 t P2(t) = 3(e-2 t - e-3 t ) RTMR/Duplex = P1(t)+ P2(t) = 3 (e-2 t - e-3 t ) + e-3 t = 3 e-2 t -2 e-3 t STMR/Duplex = P1(t)+ P2(t)= RTMR/Duplex RTMR/Duplex = prob{st() {S1,S2}, [0,t] } Analiza comparativa a fiabilitatii si securitatii sistemului pentru varianta Simplex.

Fig 4. Modelul Markov pentru varianta TMR/Simplex RTMR/Simplex=P1(t) +P2(t) P`(t)=A*P(t)

3 0 0 0 0

A=

3 0

P`1(t)=-3 * P1(t) P`2(t)=3 * P1(t) - P2(t) P`3(t)=3 * P2(t) Probabilitatile initiale: P1(0)=1; P2(0)=0;

P3(0)=0;

Aplicam transformata Laplace pentru a rezolva sistemul: sP1(s) 1 = -3 * P1(s) sP2(s) 0 = 3 * P1(s) - P2(s) sP3(s) 0 = 3 * P2(s) P1(s) = P2(s) =
1 s + 3

1 * s+

1 3 = s + 3 2

1 1 s + s + 3

Folosim inversa functiei Laplace pentru revenirea in domeniul timp: P1(t) =e-3 t P2(t) =
3 - t -3 t (e -e ) 2 3 - t -3 t (e -e ) + e-3 t = 1,5 e- t + e-3 t 2

RTMR/Simplex = P1(t)+ P2(t) =

STMR/Duplex = P1(t)+ P2(t)+ P3(t) s=1 Simularea functiilor R nerendundant, RTMR/Duplex si RTMR/Simplex: Rnr negru; RTMR/Duplex albastru; RTMR/Simplex rosu.

Codul sursa in matlab: clear; l=10^(-5); p=0:3/l/50:3/l; %impart intervalul[0,3/lamda] in 50 de pasi R=exp(-l*p); Rtrmdup=3*R.^2-2*R.^3; Rtrmsim=1.5*R-0.5*R.^3; plot(R,'k'); hold on; grid on; plot(Rtrmdup,'b'); plot(Rtrmsi,'r'); legend('R','Rtrm','Rtrmsi'); Concluzii: 1) TRM/Duplex si nerendundant se intersecteaza in 50%, pana acolo fiabiliatea TRM/Duplex este mai buna apoi observam ca dupa 50% scade mai mult de cat nerendundant,deci e mai edicient sa folosim TRM/Duplex pana scade la 50%. 2) TRM/Simplex are o fiabilitatea cea mai mare fiind cel mai fiabil sistem.

c) Pentru detectarea primei defectari complexitatea este: 3x(4+1.5)=16.5 considerand complexitatea unei porti si-nu cu 3 intrari 2 si a unei porti sinu cu 2 intrari 1.5. Daca consideram o poarta XOR ca avand complexitatea 4 pentru TMR/D logica de control va avea complexitatea 3x4+complexitatea lui unde complexitatea lui U este egala cu complexitatea cealalta de mai sus =>complexitatea totala este 28.5. Reiese ca in cazul TMR/D complexitatea logicii de control aproape se dubleaza.