Affidabilità e sicurezza del software

Prezzo
32,00 €
Nessuna tassa
Franco Angeli
Iazeolla Giuseppe
Informatica
Libro in brossura
29 Luglio 2013
240
Nuovo
Quantità

E-Book non acquistabile
Il software traduce il pensiero umano in azioni di macchinari. Senonché il pensiero può contenere errori, così come errori possono essere commessi nella traduzione del pensiero in mosse di macchinari. Pensiamo, ad esempio, a un terminale bancomat. Cosa fa chi sviluppa il software per la sua guida? Mette innanzitutto giù il suo pensiero, nelle cosiddette specifiche o lista delle azioni da far compiere al terminale. Successivamente, consegna le specifiche a chi produce il programma di guida. Tuttavia, le specifiche possono contenere errori, così come errori possono essere commessi dal programmatore. Con la conseguenza di imprevedibili malfunzionamenti e perdite economiche. Pertanto, la Banca che commissioni il software imporrà, al produttore, un requisito di affidabilità (ad esempio, che esista una probabilità di malfunzionamento non superiore a uno su centomila nelle 24 ore). Quel che vale per un bancomat vale anche per il servosterzo di un'automobile, l'autopilota di una metropolitana, quello di un aereo o di un vettore satellitare. In questi casi, un malfunzionamento produrrebbe perdite anche umane. Pertanto, chi commissioni il software imporrà ora sia un requisito di affidabilità sia uno di safety, cioè di sicurezza contro eventi catastrofici. Come deve operare, chi produce software, perché esso non infranga i requisiti di affidabilità e safety? È la domanda a cui questo testo intende rispondere.
THEME OPTIONS

Panel Tool

Full Width Boxed Large
Yes No
Font Base
Font Heading
Font Slider
Font Senary
Font Septenary
Color Default
Headings Color
Link Color
Link Hover Color
Text Color
Price Color
Button Background
Button Hover Background
Button Color
Button Hover Color
Product Background
Product Name Color
Product Name Hover Color
Product Price Color
Product Regular Price Color
Product Button Background
Product Button Hover Background
Product Button Color
Product Button Hover Color
On Sale Badge Background
On Sale Badge Color
New Badge Background
New Badge Color
Sale Badge Background
Sale Badge Color
Online Only Background
Online Only Color
Pack Badge Background
Pack Badge Color
Block Background
Block Inner Background
Block Heading Background
Block Heading Color