Systems Dependability Assessment

Autorii Jean-Francois Aubry, Nicolae Brinzei și Mohammed-Habib Mazouni aduc în această lucrare publicată de Wiley o expertiză consolidată în modelarea sistemelor cu evenimente discrete. Aceștia propun o abordare riguroasă a siguranței de funcționare, concentrându-se pe adecvarea diferitelor tipuri de rețele Petri (PN) la analiza riscurilor și evaluarea probabilistică, un domeniu în care literatura tehnică actuală prezintă adesea lacune de specificitate. Remarcăm structura tripartită a volumului, care ghidează cititorul de la fundamentele teoretice către aplicații industriale complexe. Prima parte recapitulează extensiile utile ale rețelelor Petri, în timp ce a doua secțiune utilizează aceste rețele ca model formal pentru procesele de evoluție a sistemelor critice, dintr-o perspectivă ontologică. Nucleul analitic al cărții se regăsește în a treia parte, dedicată rețelelor Petri stocastice (SPN). Descoperim aici o prezentare formală a semanticii și regulilor de evoluție, autorii demonstrând echivalența acestora cu clasele corespunzătoare de procese Markov pentru a obține o evaluare analitică precisă a siguranței. Această monografie extinde cadrul propus de Modeling and Analysis of Dependable Systems de Luigi Portinale prin înlocuirea modelelor grafice probabiliste cu rigoarea formală a rețelelor Petri stocastice. În timp ce Portinale se concentrează pe rețele Bayesiene, Systems Dependability Assessment introduce metode de simplificare esențiale pentru reducerea dimensiunii modelelor matematice, făcându-le calculabile pentru sisteme de înalt nivel. Putem afirma că relevanța lucrării este demonstrată prin studiile de caz aplicate în sistemele de instrumentație și control (I&C), oferind inginerilor instrumente concrete pentru gestionarea sistemelor integrate de siguranță (SIS).