Sviluppo di software embedded per sistemi critici per la sicurezza

Recensioni dei lettori

Il libro è molto apprezzato per le sue intuizioni pratiche e la copertura approfondita della sicurezza del software per i sistemi critici. Combina principi, standard ed esempi reali, rendendolo adatto sia agli ingegneri alle prime armi che a quelli più esperti. Tuttavia, alcuni utenti hanno riscontrato problemi di compatibilità con il Kindle, con conseguente insoddisfazione.

⬤ Ben scritto e avvincente
⬤ esempi pratici
⬤ copertura completa di standard e metodi
⬤ riferimenti utili
⬤ aneddoti interessanti
⬤ adatto a lettori di livello intermedio e avanzato
⬤ spunti pratici per applicazioni reali.

⬤ Non è supportato da Kindle nonostante sia pubblicizzato come tale
⬤ alcuni diagrammi sono difficili da leggere
⬤ potrebbe non essere adatto ai principianti della sicurezza del software.

(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.