1.1 Scopul lucrării.
Sa se calculeze fiabilitatea software a unui sistem automat.
1.2 Noţiuni.
Studiul fiabilității software a unui PLC se bazează pe eroarea de eșantionare a aceastuia, care
are loc atunci când la intrarea exactă este 1(0), dar senzorul PLC-ului citește ca 0(1) în imaginea
I/O corespunzătoare. Eroarea de procesare aritmetică se întâmplă atunci când ieșirea exactă a
instrucțiunii condiționale și speciale este 1(0), dar ieșirea efectivă a instrucțiunii se dovedește a fi
0(1).
Figura 1.1. Fazele ciclice a unui PLC.
Pentru efectuarea studiului fiabilității software este necesar o modelare probabilistică a unui
sistem PLC încorporat cu limbajul de programare “Ladder”. Considerăm probabilitatea de eroare a
eșantionării de intrare primară ale senzorilor și, de asemenea, a fiecărei unități de operare a
procesorului. Un algoritm este prezentat pentru modelarea unui program Ladder ca expresie
structurată a unității de operare.
Figura 1.2. Exemplu de o schemă Ladder.
1.2.1. Modelarea probabilistică a eșantionării unui senzor.
Înregistrăm contactul scării j ca intrare principală pentru Ij în limbajul Ladder. Fiecare Ij are
probabilitatea statică și probabilitatea de eșantionare. Probabilitate statică înseamnă probabilitatea
că o anumită intrare Ij să fie 1(0) la un moment dat, notată de .
Probabilitatea de eșantionare este probabilitatea unei anumite intrări Ij, fiind
ceea ce înseamnă că intrarea efectivă este 0(0, 1, 1), dar intrarea de eșantionare a senzorului
se dovedește a fi 1(0, 0, 1), notată cu .
Probabilitatea este decisă de fiabilitatea componentei senzorului. Schema poate fi definită în
felul următor:
T - ciclul de execuție al programului Ladder
- reprezintă valoarea inițială a contactului j în timpul ciclului T.
- reprezintă valoarea de eșantionare a senzorului a contactului corespunzător pentru
ciclul T, care este valoarea reală a intrării primare pentru participarea la etapa de procesare.
Acesta denotă faptul că intrarea inițială din mediu este iar această intrare va fi
eșantionată, în timp ce stadiul de eșantionare poate introduce unele erori. Ca urmare, intrarea
finală trecută la stadiul de procesare a PLC este intrare prelevată .
Motivele pentru care crează astfel de erori sunt zgomotele, mediul sau hardware-ul.
Analiza de caracterizare a fiabilității unui program Ladder PLC se referă la evaluarea efectelor
erorilor cauzate atât de abaterea eșantionării primare de intrare, cât și de abaterile procesării
instrucțiunilor. Prin urmare, funcția de caracterizare a fiabilității unui pas poate fi exprimată ca:
- Valoarea inițială a tuturor contactelor la ciclu T.
- Rezultatul original al programului pentru introducerea inițială.
- Introducerea principală a eșantionării contactelor.
- Ieșire reală pentru intrarea reală de eșantionare.
Ieșirea primului pas este apoi calculată ca:
În urma determinării a datelor necesare, am obținut o funcție mai extinsă:
Rezultatul final obținut:
Figura 1.3. Reprezentarea grafică, probabilitatea erorii.