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.
Affidabilità e sicurezza del software
| Titolo | Affidabilità e sicurezza del software |
| Autore | Giuseppe Iazeolla |
| Argomento | Informatica Programmazione e sviluppo del software |
| Collana | Informatica, 85 |
| Editore | Franco Angeli |
| Formato |
Libro: Libro in brossura |
| Pagine | 240 |
| Pubblicazione | 07/2013 |
| ISBN | 9788820420734 |
Libri dello stesso autore
Chi ha cercato questo ha cercato anche...
Sviluppare applicazioni con GPT-4 e ChatGPT. Costruire Chatbot intelligenti, generatori di contenuti e molto altro
Olivier Caelen, Marie-Alice Blete
Hoepli
Algoritmi per la nostra vita. Alla scoperta della logica informatica che ci aiuta nelle decisioni quotidiane
Brian Christian, Tom Griffiths
Apogeo
Sviluppare applicazioni con PHP e MySQL. Guida per imparare la programmazione web lato server
Tom Butler, Kevin Yank
Apogeo
Sviluppare applicazioni Web3. Creare DApp con blockchain, smart contract, Solidity, web3.js
Alessandro Baldini
Apogeo