Dezvoltarea de software încorporat pentru sisteme de siguranță critice

Recenzii ale cititorilor

Cartea este foarte apreciată pentru abordarea sa practică a dezvoltării de software de siguranță critică, cu un accent puternic pe inginerie, proiectare și implementare. Ea oferă perspective valoroase asupra standardelor, metodelor și instrumentelor legate de siguranța software-ului, ceea ce o face deosebit de utilă pentru inginerii cu unele cunoștințe anterioare în domeniu. Cu toate acestea, s-a confruntat cu critici pentru că nu a fost susținută în mod corespunzător pe dispozitivele Kindle, ceea ce a dezamăgit unii cititori care se așteptau la un format digital accesibil.

⬤ Bine scrisă și captivantă
⬤ exemple practice, hands-on
⬤ îndrumare cuprinzătoare privind verificarea și testarea proiectării
⬤ perspective valoroase asupra standardelor de siguranță software
⬤ include referințe utile
⬤ anecdote care ilustrează punctele cheie
⬤ integrare puternică a practicilor reale de inginerie cu standardele de siguranță.

⬤ Nu este compatibil cu dispozitivele Kindle, deși este etichetat ca ediție Kindle
⬤ unele diagrame sunt greu de citit
⬤ poate să nu fie potrivit pentru începători fără cunoștințe prealabile despre sistemele critice de siguranță.

(pe baza a 5 recenzii ale cititorilor)

Titlul original:

Embedded Software Development for Safety-Critical Systems

Conținutul cărții:

"Recomand cu căldură cartea domnului Hobbs". - Stephen Thomas, PE, fondator și editor al FunctionalSafetyEngineer.com.

Dispozitivele critice din punct de vedere al siguranței, fie ele medicale, auto sau industriale, depind din ce în ce mai mult de funcționarea corectă a unui software sofisticat. În ultimul deceniu au apărut numeroase standarde privind modul în care aceste sisteme ar trebui proiectate și construite. Dezvoltatorii, care înainte trebuiau doar să știe cum să programeze dispozitive pentru industria lor, trebuie acum să înțeleagă practici de dezvoltare extrem de ezoterice și să fie pregătiți să își justifice munca în fața auditorilor externi.

Embedded Software Development for Safety-Critical Systems tratează dezvoltarea sistemelor critice de siguranță în conformitate cu următoarele standarde: IEC 61508; ISO 26262; EN 50128; și IEC 62304. Acesta detaliază avantajele și dezavantajele multor practici arhitecturale și de proiectare recomandate în standarde, de la replicare și diversificare, prin detectarea anomaliilor până la așa-numitele sisteme "sac de siguranță".

Trecând în revistă utilizarea componentelor open-source în sistemele critice de siguranță, această carte a evoluat dintr-un text de curs utilizat de QNX Software Systems pentru un modul de formare privind crearea de software încorporat pentru dispozitive critice de siguranță, inclusiv dispozitive medicale, sisteme feroviare, sisteme industriale și dispozitive de asistență pentru șoferi în automobile.

Deși cartea descrie în cea mai mare parte instrumente open-source, oferă, de asemenea, suficiente informații pentru ca dumneavoastră să căutați furnizori comerciali, dacă aceasta este calea pe care decideți să o urmați. Toate tehnicile descrise în această carte pot fi explorate în continuare prin sute de articole de specialitate. Pentru a vă oferi o cale de acces, autorul furnizează referințe pe care le-a considerat utile în calitate de dezvoltator de software activ. Majoritatea acestor referințe sunt disponibile pentru descărcare gratuită.