Embedded Software Development for Safety-Critical Systems, Second Edition

Problema centrală pe care o rezolvă Embedded Software Development for Safety-Critical Systems, Second Edition este tranziția dificilă de la dezvoltarea de software comercial la rigoarea impusă de sistemele critice, unde eșecul nu este o opțiune. Subliniem faptul că Chris Hobbs nu se limitează la o expunere teoretică a standardelor, ci oferă un cadru de lucru pentru implementarea unor soluții care să satisfacă cerințele stricte ale IEC 61508 sau ISO 26262. Reținem organizarea progresivă a materialului: după o clarificare a terminologiei și a peisajului de certificare, autorul trece direct la proiectarea arhitecturală, analizând echilibrul dintre componentele certificate și cele necertificate.

Abordarea diferă de Development of Safety-Critical Systems de Gopinath Karmakar prin focalizarea intensă pe faza de codare și metrici de acoperire, fiind mai puțin abstractă și mult mai aplicabilă în mediul de producție industrial. În timp ce alte lucrări se concentrează pe procese de management, Chris Hobbs detaliază tehnici de design precum replicarea, diversificarea și manipularea erorilor neașteptate. Această ediție a doua consolidează expertiza autorului începută în Embedded Software Development for Safety-Critical Systems (prima ediție), rafinând metodele de verificare prin modele Markov și arbori de defecte.

Structura în șapte părți ghidează cititorul prin întreg ciclul de viață al dezvoltării. Merită menționat capitolul dedicat analizei statice și cel despre validarea designului, elemente esențiale pentru inginerii care activează în domenii precum cel medical, feroviar sau auto. Față de Mission-Critical and Safety-Critical Systems Handbook, volumul de față este mai compact și mai tehnic, oferind instrumente matematice concrete și anexe despre rețelele bayesiene, necesare pentru a susține argumentația în fața organismelor de certificare.