La modellizzazione di sistemi tolleranti ai guasti con Gspn e Uml e sua applicazione nel progetto Tiran

2 
generale, [5] e [6], mentre alla fine del capitolo si focalizza l'attenzione sui concetti che 
interessano direttamente il meccanismo il progetto TIRAN[8].  
Nel capitolo quattro viene descritto nei primi quattro paragrafi come il progetto TIRAN si 
colloca nel panorama dei sistemi fault-tolerant [5], [6], [7]. Successivamente viene 
descritta l'applicazione nel  caso particolare dell'ENEL, [8]. 
Nel capitolo cinque in ultimo vengono analizzate le specifiche della DS indicate nei 
documenti ufficiali di TIRAN, in particolare in [8], [9] e [10], rispetto le quali  sono poi 
fatte alcune ipotesi semplificative. 
Allo scopo di fornire un supporto decisionale alla progettazione sono sviluppati quattro 
modelli del meccanismo di sincronizzazione che sono descritti prima attraverso l'UML e 
poi sono formalizzati con le SWN. 
Per ogni modello sono calcolati degli indici di prestazione sia in presenza sia in assenza 
di errori nel sistema in base ai quali è poi svolta un'analisi qualitativa confrontando le 
prestazioni dei quattro modelli. 
Concludiamo facendo un'osservazione sul linguaggio utilizzato. Si noterà che in tutta la 
tesi sono molte le parole in lingua inglese, questo fatto non è casuale ma dipende da una 
precisa scelta. Molti termini non sono stati tradotti per due motivi: il primo è per 
permettere una corrispondenza immediata con la bibliografia, il secondo è che non 
sempre esiste una precisa traduzione italiana. Ad esempio il termine dependability in 
italiano può essere tradotto con "fidatezza" ma il suo significato è piuttosto complesso e 
si è quindi preferito spiegarne il significato senza tradurre il termine.