Fondamenti di informatica affidabile per ingegneri del software

Recensioni dei lettori

Il libro fornisce una panoramica completa dell'affidabilità e della sicurezza del software, evidenziando l'importanza di questi argomenti in varie applicazioni critiche. È scritto da uno stimato esperto del settore, il dottor John C. Knight, e costituisce un riferimento prezioso per chi è interessato all'informatica affidabile. Sebbene il libro copra ampiamente i concetti fondamentali e le metodologie avanzate, il suo approccio di alto livello può rappresentare una sfida per i professionisti nell'applicazione dei concetti in scenari reali.

⬤ Eccellente copertura dell'affidabilità e della sicurezza del software.
⬤ Contenuti completi e aggiornati.
⬤ Esame di alto livello dei concetti fondamentali e delle metodologie avanzate.
⬤ Materiale di riferimento di buon livello, data la scarsità di letteratura sull'argomento.
⬤ Scritto da un esperto di fama, che fornisce approfondimenti autorevoli.

⬤ La presentazione di alto livello può essere difficile da applicare nella pratica per molti professionisti.
⬤ Capacità limitata di implementare i metodi discussi a causa di vincoli nella scelta della lingua, delle risorse e degli strumenti.
⬤ Alcuni potrebbero trovare il design della copertina del libro poco attraente.

(basato su 5 recensioni dei lettori)

Titolo originale:

Fundamentals of Dependable Computing for Software Engineers

Contenuto del libro:

Fundamentals of Dependable Computing for Software Engineers" presenta gli elementi essenziali dell'affidabilità dei sistemi informatici. Il libro descrive un processo completo di progettazione della dipendenza e spiega il ruolo del software e degli ingegneri del software nell'affidabilità dei sistemi informatici.

I lettori impareranno:

⬤ Perché l'affidabilità è importante.

⬤ Cosa significa per un sistema essere affidabile.

⬤ Come costruire un sistema software affidabile.

⬤ Come valutare se un sistema software è adeguatamente affidabile.

L'autore si concentra sulle azioni necessarie per ridurre il tasso di guasto a un livello accettabile, trattando materiale essenziale per gli ingegneri che sviluppano sistemi con conseguenze estreme di guasto, come i sistemi critici per la sicurezza, i sistemi critici per la protezione e i sistemi di infrastrutture critiche. Il testo esplora gli aspetti di ingegneria dei sistemi dell'affidabilità e fornisce agli ingegneri un quadro di riferimento per ragionare e prendere decisioni sul software e sulla sua affidabilità. Offre inoltre un approccio completo per ottenere l'affidabilità del software e include una bibliografia della letteratura più rilevante.

Ponendo l'accento sugli elementi di ingegneria software dell'affidabilità, questo libro aiuta gli ingegneri informatici e del software nei settori che richiedono livelli altissimi di affidabilità, come l'avionica, i dispositivi medici, l'elettronica automobilistica, i sistemi d'arma e i sistemi informativi avanzati, a costruire sistemi software che siano affidabili e che rispettino i vincoli di tempo e di budget.