Sviluppo di software embedded per sistemi critici per la sicurezza

Recensioni dei lettori

Il libro è molto apprezzato per il suo approccio pratico allo sviluppo di software critico per la sicurezza, con una forte enfasi sull'ingegneria, la progettazione e l'implementazione. Fornisce preziose informazioni sugli standard, i metodi e gli strumenti relativi alla sicurezza del software, rendendolo particolarmente utile per gli ingegneri con qualche conoscenza pregressa del settore. Tuttavia, è stato criticato perché non è supportato correttamente dai dispositivi Kindle, il che ha deluso alcuni lettori che si aspettavano un formato digitale accessibile.

⬤ Ben scritto e coinvolgente
⬤ esempi pratici e praticabili
⬤ guida completa alla verifica e al collaudo dei progetti
⬤ approfondimenti preziosi sugli standard di sicurezza del software
⬤ include riferimenti utili
⬤ aneddoti che illustrano i punti chiave
⬤ forte integrazione delle pratiche ingegneristiche reali con gli standard di sicurezza.

⬤ Non supportato dai dispositivi Kindle nonostante sia etichettato come edizione Kindle
⬤ alcuni diagrammi sono difficili da leggere
⬤ potrebbe non essere adatto ai principianti senza una precedente conoscenza dei sistemi critici di sicurezza.

(basato su 5 recensioni dei lettori)

Titolo originale:

Embedded Software Development for Safety-Critical Systems

Contenuto del libro:

"Raccomando vivamente il libro del signor Hobbs". - Stephen Thomas, PE, fondatore ed editore di FunctionalSafetyEngineer.com.

I dispositivi critici per la sicurezza, siano essi medici, automobilistici o industriali, dipendono sempre più dal corretto funzionamento di un software sofisticato. Nell'ultimo decennio sono stati pubblicati molti standard sulle modalità di progettazione e costruzione di tali sistemi. Gli sviluppatori, che prima dovevano solo sapere come programmare i dispositivi per il loro settore, ora devono comprendere pratiche di sviluppo notevolmente esoteriche ed essere pronti a giustificare il loro lavoro a revisori esterni.

Embedded Software Development for Safety-Critical Systems tratta lo sviluppo di sistemi critici per la sicurezza in base ai seguenti standard: IEC 61508; ISO 26262; EN 50128 e IEC 62304. Illustra i vantaggi e gli svantaggi di molte pratiche architettoniche e di progettazione raccomandate dagli standard, che vanno dalla replica e dalla diversificazione, al rilevamento delle anomalie, fino ai cosiddetti sistemi "safety bag".

Questo libro, che esamina l'uso di componenti open-source nei sistemi critici per la sicurezza, è nato da un testo utilizzato da QNX Software Systems per un modulo di formazione sulla creazione di software embedded per dispositivi critici per la sicurezza, tra cui dispositivi medici, sistemi ferroviari, sistemi industriali e dispositivi di assistenza alla guida nelle automobili.

Sebbene il libro descriva strumenti open-source per la maggior parte, fornisce anche informazioni sufficienti per cercare fornitori commerciali se si decide di seguire questa strada. Tutte le tecniche descritte in questo libro possono essere approfondite attraverso centinaia di articoli. Per fornire una via d'accesso, l'autore fornisce i riferimenti che ha trovato utili come sviluppatore di software. La maggior parte di questi riferimenti è disponibile per il download gratuito.