Libri di Giuseppe Iazeolla
Bibliografia di Giuseppe Iazeolla: tutti i libri in vendita online con argomento Programmazione Informatica
Affidabilità e sicurezza del software Iazeolla Giuseppe - Franco Angeli, 2013 - Informatica
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.
Principi e metodi di simulazione discreta. Simulazione sequenziale, parallela, distribuita, simulazione web. Metodi di analisi dell'output Iazeolla Giuseppe - Franco Angeli, 2010 - Informatica
Sigmund Freud affermava che ci sono due cose che tutti credono di poter fare: la psicanalisi e l'equitazione e che soltanto il cavallo si ribella. Agli studenti dico sempre che c'è una terza cosa che tutti credono di poter fare, ed è la simulazione. Nemmeno qui c'è un cavallo che si ribelli, ma questo può avere costi umani e sociali. Ci si riferisce alla simulazione digitale (cioè col calcolatore). Si possono con essa simulare sistemi stradali, di traffico aereo e di telecomunicazione, impianti chimici e nucleari, sistemi di produzione industriale, sistemi di produzione e distribuzione dell'energia, sistemi militari, bancari e finanziari, di emergenza e di pubblico soccorso. Aziende piccole e grandi, enti pubblici e militari, enti economici e di ricerca tendono sempre più a fondare le proprie scelte sui risultati di simulazioni. Ma scelte approssimative possono avere costi ingenti. La simulazione digitale è una disciplina e, come tutte le discipline, se non applicata professionalmente, diventa uno strumento che produce masse ingenti di dati cui non si sa che significato dare. È la disciplina della costruzione dei modelli e dell'interpretazione dei risultati (analisi dell'output). Questo volume ne copre entrambi gli aspetti e guida lo studioso al passaggio dai più tradizionali metodi di simulazione sequenziale, ai più moderni di simulazione parallela e distribuita, includendo internet e simulazione web. Ampio spazio è dato ai metodi statistici per l'analisi dell'output.