Questa tesi si articola in due parti. Nella prima viene illustrato il lavoro svolto nell'ambito del progetto RTSim del Crs4 (parte del progetto Miur Far 630), con la realizzazione di un framework per il calcolo parallelo e distribuito chiamato FLOW, applicato alla simulazione d'impianto di centrali elettriche turbogas. Nella seconda parte viene invece introdotta una descrizione e un'analisi formale delle applicazioni sviluppate utilizzando FLOW: vengono definite due implementazioni dotate di semantica (una basata sul pi-calcolo, ed una sul linguaggio di coordinamento Linda), e vengono analizzate e verificate alcune proprietà ed equivalenze legate alla topologia della comunicazione inter-processo.
FLOW: Implementazione e analisi formale di un framework per il calcolo parallelo e distribuito
SCALAS, ALCESTE;
2011-01-01
Abstract
Questa tesi si articola in due parti. Nella prima viene illustrato il lavoro svolto nell'ambito del progetto RTSim del Crs4 (parte del progetto Miur Far 630), con la realizzazione di un framework per il calcolo parallelo e distribuito chiamato FLOW, applicato alla simulazione d'impianto di centrali elettriche turbogas. Nella seconda parte viene invece introdotta una descrizione e un'analisi formale delle applicazioni sviluppate utilizzando FLOW: vengono definite due implementazioni dotate di semantica (una basata sul pi-calcolo, ed una sul linguaggio di coordinamento Linda), e vengono analizzate e verificate alcune proprietà ed equivalenze legate alla topologia della comunicazione inter-processo.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
