Reliability modelling of complez systems: an adaptive transition system approach to match accuracy and efficiency

Abstract

In questa tesi è introdotto un linguaggio di modellizzazione per la valutazione di misure di affidabilità di sistemi complessi. Adaptive Transition Systems (ATS) è un linguaggio di modellizzazione basato su macchine di stato interdipendenti dotate di variabili che sono inputs e outputs di un set di funzoni di comunicazione che permettono l'adattamento delle prprietà legate alle transizioni delle macchine di stato rispetto all'evoluzione del sistema. Le funzioni di comunicazione sono il mezzo per modellizzare le dipendenze tra le parti del sistema. Gli algoritmi per la risoluzione simulativa ed analitica del modello ATS sono definiti. Un applicazione per la risoluzione di alberi di guasto dinamici con componenti riparabili è anche riportata.