La modellizzazione di sistemi tolleranti ai guasti con Gspn e Uml e sua applicazione nel progetto Tiran
Autore
Carlo Martini - Università degli Studi di Torino - [1999-00]
Documenti
Abstract
Il lavoro presentato vuole essere un esempio di come le tecniche di modellizzazione e calcolo delle performance, attraverso il formalismo delle Stochastic Wellformed Nets siano utili alla progettazione di meccanismi di fault tolerance, meccanismi cioè che rendono i sistemi automatici tolleranti ai guasti.
Allo scopo di rendere omogenea la descrizione del modello sviluppato con la descrizione dei requisiti espressi nei documenti ufficiali del progetto TIRAN, si è formalizzato il modello attraverso l'Uniform Modeling Language; in particolare è stato utilizzato il Rational Rose.
Allo scopo di rendere omogenea la descrizione del modello sviluppato con la descrizione dei requisiti espressi nei documenti ufficiali del progetto TIRAN, si è formalizzato il modello attraverso l'Uniform Modeling Language; in particolare è stato utilizzato il Rational Rose.
Questa tesi è correlata alla categoria