Thesis etd-11162004-142541 |
Link copiato negli appunti
Thesis type
Tesi di laurea vecchio ordinamento
Author
Moretto, Marco
email address
marcomoretto77@aliceposta.it
URN
etd-11162004-142541
Thesis title
Progettazione, realizzazione ed utilizzo di un generatore di simulatori per sistemi a fasi multiple
Department
INGEGNERIA
Course of study
INGEGNERIA INFORMATICA
Supervisors
relatore Simoncini, Luca
relatore Bondavalli, Andrea
relatore Di Giandomenico, Felicita
relatore Lopriore, Lanfranco
relatore Bondavalli, Andrea
relatore Di Giandomenico, Felicita
relatore Lopriore, Lanfranco
Keywords
- dependability
- fasi
- MPS
- Petri
- simulatore
- simulazione
Graduation session start date
15/12/2004
Availability
Full
Summary
Presso l'istituto ISTI del CNR di Pisa, il gruppo di ricerca DCG (Dependability Computing Group), in collaborazione con l'Università di Firenze, ha realizzato uno strumento automatico specifico per la modellizzazione e la valutazione di sistemi a fasi multiple. Lo strumento in questione, DEEM (DEpendability Evaluation of Multiple-phased system), utilizza un formalismo descrittivo basato sulle Deterministic and Stochastic Petri Nets (DSPN) ed un algoritmo di risoluzione analitica basato sui Markov Regenerative Processes. Con questo tool è possibile valutare dal punto di vista statistico il grado di affidabilità dell'hardware o del software di un sistema a fasi multiple in relazione con i requisiti e con le risorse definite per il sistema.
Questa tesi ha l'obiettivo di estendere le potenzialità del tool introducendo la possibilità di risolvere il modello di un sistema con un approccio simulativo. Il simulatore si presenta come uno strumento complementare che affianca il solutore analitico per risolvere modelli di sistema per cui imporre assunzioni, che ne permettano la risoluzione analitica, porterebbero a risultati troppo poco accurati (o perfino fuorvianti) per essere utili in pratica. L'introduzione di questo strumento arricchisce quindi la gamma di problemi che è possibile analizzare con il tool DEEM.
L'approccio simulativo consiste nell'analisi del modello (descritto con l'interfaccia grafica del tool) e nella costruzione di un simulatore ad hoc per effettuare tutte le analisi richieste dall'utente. Per questo motivo, il lavoro di tesi consiste nella progettazione e nella realizzazione di un "generatore" di simulatori, piuttosto che di un singolo simulatore per uno specifico problema.
Questa tesi ha l'obiettivo di estendere le potenzialità del tool introducendo la possibilità di risolvere il modello di un sistema con un approccio simulativo. Il simulatore si presenta come uno strumento complementare che affianca il solutore analitico per risolvere modelli di sistema per cui imporre assunzioni, che ne permettano la risoluzione analitica, porterebbero a risultati troppo poco accurati (o perfino fuorvianti) per essere utili in pratica. L'introduzione di questo strumento arricchisce quindi la gamma di problemi che è possibile analizzare con il tool DEEM.
L'approccio simulativo consiste nell'analisi del modello (descritto con l'interfaccia grafica del tool) e nella costruzione di un simulatore ad hoc per effettuare tutte le analisi richieste dall'utente. Per questo motivo, il lavoro di tesi consiste nella progettazione e nella realizzazione di un "generatore" di simulatori, piuttosto che di un singolo simulatore per uno specifico problema.
File
Nome file | Dimensione |
---|---|
Frontespizio.pdf | 76.85 Kb |
tesi_Moretto.pdf | 2.76 Mb |
Contatta l’autore |