Sviluppare software critico per la sicurezza: Una guida pratica per il software aeronautico e la conformità alla Do-178c

Recensioni dei lettori

Il libro è molto apprezzato per la sua chiarezza, profondità e guida pratica sulla certificazione DO-178C, che lo rende una lettura essenziale per chiunque sia coinvolto nello sviluppo di software per l'aviazione. È particolarmente apprezzato per il suo stile di facile lettura, la copertura completa e la competenza dell'autore. Tuttavia, l'editore si è lamentato della qualità di stampa, che ostacola l'esperienza complessiva di alcuni lettori.

⬤ Facile da leggere e da capire
⬤ fornisce preziose intuizioni e consigli pratici
⬤ copertura completa del DO-178C e degli argomenti associati
⬤ adatto sia ai principianti che ai professionisti esperti
⬤ include aneddoti tratti dall'esperienza dell'autore
⬤ utile per vari sviluppi di software critici per la sicurezza al di fuori dell'aviazione.

⬤ La scarsa qualità di stampa influisce sulla fruibilità del libro
⬤ alcuni utenti hanno trovato l'organizzazione carente e hanno richiesto maggiori supporti visivi
⬤ alcune informazioni sono state considerate ripetitive rispetto agli standard esistenti.

(basato su 37 recensioni dei lettori)

Titolo originale:

Developing Safety-Critical Software: A Practical Guide for Aviation Software and Do-178c Compliance

Contenuto del libro:

La quantità di software utilizzato nei sistemi critici per la sicurezza sta aumentando rapidamente. Allo stesso tempo, la tecnologia del software sta cambiando, i progetti sono costretti a sviluppare il software in modo più rapido ed economico e il software viene utilizzato in modi sempre più critici. Sviluppare software critico per la sicurezza: A Practical Guide for Aviation Software and DO-178C Compliancefornisce le informazioni necessarie per sviluppare in modo efficace ed efficiente software safety-critical, life-critical e mission-critical per l'aviazione. I principi si applicano anche al software per il settore automobilistico, medico, nucleare e altri settori critici per la sicurezza.

Autorità internazionale in materia di software critico per la sicurezza, l'autrice ha contribuito alla stesura del DO-178C e della politica e della guida della Federal Aviation Administration degli Stati Uniti sul software critico per la sicurezza. In questo libro, attinge a oltre 20 anni di esperienza come autorità di certificazione, produttore di avionica, integratore di aeromobili e sviluppatore di software per presentare le migliori pratiche, esempi reali e raccomandazioni concrete.

Il libro include:

⬤ Una panoramica su come il software si inserisce nei sistemi e nei processi di sicurezza.

⬤ Un esame dettagliato di DO-178C e di come applicare efficacemente la guida.

⬤ Considerazione dei documenti DO-178C relativi alla qualificazione degli strumenti (DO-330), allo sviluppo basato su modelli (DO-331), alla tecnologia orientata agli oggetti (DO-332) e ai metodi formali (DO-333).

⬤ Consigli pratici per il successo dello sviluppo di software critico per la sicurezza e della certificazione.

⬤ Copertura approfondita di alcuni degli argomenti più impegnativi nello sviluppo e nella verifica del software critico per la sicurezza, tra cui i sistemi operativi in tempo reale, il partizionamento, i dati di configurazione, il riutilizzo del software, il software sviluppato in precedenza, il reverse engineering, l'outsourcing e l'offshoring.

Questo libro è un riferimento prezioso per i responsabili dei sistemi e del software, per gli sviluppatori e per il personale addetto all'assicurazione della qualità, e fornisce una grande quantità di informazioni per aiutarvi a sviluppare, gestire e approvare con maggiore sicurezza il software critico per la sicurezza.