Curriculum attività scientifica e didattica di Marco Scarpa

Indice:

1. Note Generali

2. Attività Didattica

3. Servizi resi per l'Ateneo

4. Attività di Ricerca

5. Elenco Pubblicazioni

1 Note generali

• Marco Scarpa è nato i l 4/3/1969 a Catania. Risiede a S.G. L a Ptmta in via Messina n . l l / E .

• Ha conseguito nell'agosto del 1987 U diploma di Maturità Scientifica con voti 56/60, presso l'Istituto Scientifico Statale "Galileo Galilei" dì Catania.

• Si è lai_ireato i l 22 Luglio 1994 in Ingegneria Informatica con voti 110/110 con lode, presso l'Università di Catania, discutendo la tesi "Processi di Markov Rigenerativi per la Generalizzazione delle Reti di Petri".

• Nei mesi successivi al conseguimento della laurea ha collaborato con l'Istituto di Informa­tica e Telecomunicazioni della Facoltà di Ingegnerìa dell'Università di Catania su attività inerenti la valutazione delle prestazioni e della affidabilità dei sistemi informatici, con particolare rifermento ai sistemi distribuiti.

• Dal Febbraio del 1995 al 31 Ottobre 1998 ha frequentato i l corso di "Dottorato di Ricerca in Informatica" presso l'Università degli studi di Torino.

• Dal 20/6/1995 al 19/6/1996 ha svolto i l servizio di leva obbhgatorio in quahtà di obiettore di coscienza presso la Caritas Diocesana di Catania.

• Nel settembre del 1997 ha intrapreso una coUaborazione scientifica con la Technical University of Budap^t. NeU'ambito di tale collaborazione è stato più volte in visita presso i l Department of Telecommunication, Technical University of Budapest, ospite del prof. Miklos Telek.

• NeU'Aprile del 1996 gU è stato assegnato i l premio di laurea deh' "Ordine degh Ingegneri di Catania" per tesi di laurea meritevole.

• Dal 1997 é attivo in ISO TC184SC4 "STEP" , esperto nazionale.

• E selezionato per ricoprire le mansioni di collaboratore aUe attività didattiche e di ricerca nell'ambito del corso afferente aU'area di "Fondamenti di Informatica" del Corso di Laurea in "Ingegneria per l'Ambiente e i l territorio" della Facoltà di Ingegneria deh'Università di Catania, per gh anni accademici 1999/2000 e 2000/2001.

• Dal marzo 1999 al febraio 2002 partecipa in quahtà di ricercatore al progetto di Innovazione n. 3.6 - "Quahtà" - Prat. IMI n. 63039 sottoprogetto n. 3.6.2 - "CAD/CAM per la qualità nelle aziende elettromecaniche e metalmeccaniche", promosso dal Parco Scientifico e Tecnologico della Sicilia.

• Nel Febbraio 2000 consegue i l titolo di Dottore di Ricerca in Informatica discutendo la te­si dal titolo "Non-Markovian Stochastic Petri Nets with Concmrent Generally Distributed Transitions" [T2].

• Negh anni accademici 1999/2000 e 2000/2001 gestisce il sistema informatico deha sede di Enna deUa Facoltà di Ingegneria presso i locali del Consorzio Ennese Universitario.

• Nell'anno accademico 2001/2002 riceve l'incarico di professore a contratto daUa Facoltà di Ingegneria deh'Università di Messina per sostenere il corso di "Laboratorio di Informatica" per gh studenti del corso di laurea in Ingegneria Informatica e delle Telecomimicazioni.

2

• Nel Febbraio 2002 consegue l'abilitazione all'insegnamento nelle scuole ed istituti di istruzione secondaria di I e I I grado delle discipline afferenti alla classe di concorso A042 - Informatica.

• Da Maggio a Dicembre del 2002 riceve im incarico per i l coordinamento di attività di docenza del progetto di formazione dal titolo "Formazione di specialisti di rete" per i l Sottoprogetto 3 del piano G A R R B - Workpackage 5.

• Negli anni accademici 2002/2003 e 2004/2005 riceve l'incarico di professore a contratto dalla Facoltà di Ingegneria dell'Università di Messina per sostenere i l corso di "Sistemi Operativi" per gli studenti del corso di lam:ea in Ingegneria Informatica e delle Telecomimicazioni.

• I l 04/11/2003 prende servizio come titolare di assegno di ricerca quadriennale presso i l Di­partimento di Matematica dell'Università degli Studi di Messina per svolgere attività sullo studio delle prestazioni di sistemi real Urne.

• H 2 novembre 2005 viene immesso in ruolo quale docente di scuola secondaria di I I grado per le discipline afferenti alla classe di concorso A042 - Informatica {in aspettativa per motivi di studio e ricerca).

• Nell'anno accademico 2005/2006 riceve l'incarico dì professore a contratto dalla Facoltà di Ingegneria dell'Università di Messina per sostenere i l corso di "Valutazione delle Prestazioni" per gli studenti del corso dì laurea specialistica in Ingegneria Informatica.

• H 13 Geimaìo 2006 consegue l'idoneità come Professore Associato nel settore scientìfico disci­plinare INF/01 - INFORMATICA, nella valutazine comparativa bandita presso l'Università degli Studi di Catania, Facoltà di SCIENZE MATEMATICHE F IS ICHE e NATURALI .

• L ' I Ottobre 2006 prende servizio in qualità di Professore dì Associato presso la Facoltà di Ingegneria dell'Università di Messina, dove attualmente opera.

• Dall'a.a. 2006/2007 all'a.a. 2010/2011 è delegato del Direttore del Dipartimento dì Matema­tica presso la Facoltà di Ingegnerìa.

• NeH'a.a. 2007/2008 é responsabile del coordinamento del Master di II livello in Open Bouree e Sicurezza Informatica organizzato dalla Università di Messina.

• E stato responsabile scientifico dell'unità di ricerca dì Messina del Progetto di Rilevante In­teresse Nazionale {PRIN 2007) dal titolo "Affidabilità e qualità del servizio in sistemi di monitoraggio basati su Wireless Sensor Networks per applicazioni critiche" (tiolo del pro­getto dì unità: ''Verso una gestione delle risorse ottima nelle reti di sensori: tecniche e modellazione".

• Dal 2014 ad oggi é coordinatore del Corso di Laurea Magistrale Internazionale in Engineering and Computer Science-

• L a sua attività di ricerca è incentrata sidla valutazione deUe prestazioni ed affidabifità dei sistemi, con particolare interesse alle tecniche di modehazione ed alle misure combinate di prestazione ed affidabilità dei sistemi distribuiti.

3

In tale ambito si occupa di modelli di reti di Petri non Markoviani con tempi di scatto delle transizioni non esponenzialmente distribuiti. Particolare interesse viene dedicato alla classe di reti di Petri con più di una transizione non esponzionale abilitata in una marcatura. Tra i sistemi oggetto della attività di ricerca sono da annoverare i sistemi real-time e i sistemi di comunicazione wireless {wireless sensor networks).

Negli ultimi anni la sua attività di ricerca ha abbracciato lo studio dei sistemi Grid e Cloud.

1.1 A t t i v i t à editoriali

• Editor della rivista intemazionale "International Journal of Distributed Sensor Networks'''.

• Editor della rivista internazionele ''Performance Evaluation'^- Specicd Issue ValueTools 2016.

1.2 A t t i v i t à in comitati di Convegni Internazionali

Technical Program Chair di lOth International Conference on Performance Evaluation Methodolo­gies and Tools.

E membro dei comitati di programma delle conferenze internazionali:

• European Performance Engineering Workshop EPEW, daU'anno 2007 ad oggi;

• Emergmg Technologies for Next generation GRID (ETNGRID) , I E E E International Work-shops on Enabling Technologies Infrastructures for Collaborative Enterprises, dall'anno 2008 ad oggi;

• Enabling Technologies Infrastructures for Collaborative Enterprises, dall'arme 2008 ad oggi;

• 21st International Conference on Analytical & Stochastic ModeUing Techniques k. AppUca-tions (AMSTA 2014);

• 21st International Conference on Analitica! & Stochastic Modelling Techniques k. AppUca-tions (AMSTA 2015).

1.3 Revisore di Rivis te e Convegni Internazionali

1.3.1 Riviste Internazionali

• Peformance Evaluation, Elsevier, North-HoUand.

• International Journal of Modelling and Simulation, ACTA Press / lASTED.

• IEEE Transactions on Parallel and Distributed Systems, I E E E Computer Society.

• International Journal on Grid Computing.

• IEEE Transactions on Dependable and Secure Computing, I E E E Computer Society.

• International Journal of Criticai Computer-Based Systems ( IJCCBS).

• Journal of Systems and Software, Elsevier.

4

• Information Processing Letters, Esevier.

• International Journal of Systems Science, Taylor & Francis publisher.

• International Journal of Parallel, Emergent and Distributed Systems, Taylor &; Francis pu­blisher.

• The Computer Journal, OXFORD university Press.

• International Journal of Modelling and Simulation, ACTA Press / lASTED.

1.3.2 Convegni Internazionali

• "International Workshop on Petri Nets and Performance Models (PNPM95)", 1995.

• "International Workshop on Petri Nets and Performance Models (PNPM97)"; Saint Malo, June 1997.

• "Apphed modelling and simulation"; a workshop of The International Association of Science and Technology for Development.

• "19th International Conference on Apphcation and Theory of Petri Nets (ICATPN98)", 1998.

• " I E E E International Computer Performance and Dependabihty Simposium (IPDS '98)", 1998.

• "lOth International Conference on Modelling Techniques and Tools for Computer Performance Evaluation (TOOLS '98)", 1998.

• "International Workshop on Petri Nets and Performance Models (PNPM 2001)", 2001.

• " I E E E Symposium on Computers & Communications ISCC 2001", 2001.

• "International Computer Performance and Dependabihty Symposimn - IPDS 2002".

• " I E E E Symposium on Computers k Communications ISCC 2002", 2002.

• " I E E E Sympositmi on Computers & Communications ISCC 2003", 2003.

• " I E E E Symposium on Computers & Communications ISCC 2004", 2004.

• " I E E E International Symposiiun on a World of Wireless, Mobile and Multimedia Networks -WoWMoM 2005"

• " I E E E Symposium on Computers & Communications ISCC 2005", 2005.

• "Design and Modehng in Science, Education, and Technology: DeMset", 2011;

• "International Workshop on Sustainable Internet and Internet for Sustainabhity" (Sustalnet 2011)

• "International Conference on Cloud Computing Technology and Science", (CLOUDCOM 2012).

5

1.4 R e s p o n s a b i l i t à in progetti dì ricerca e di cooperaz ìone

• Responsabile del progetto PON SIGMA-Formazione, cod. PON01_00683/17, dal titolo "For­mazione di personale altamente qualificato nella progettazione e gestione di infrastrutture di monitoraggio complesse con supporto di computazione distribuita".

• Responsabile scientifico di unità nel Progetto di Rilevante Interesse Nazionale {PRIN 2007) dal titolo "Affidabilità e qualità del servizio in sistemi di monitoraggio basati su Wireless Sensor Networks per applicazioni critiche".

• Responsabile della attività di ccoperazione tra Università di Messina e Politechnic University of Hong Kong per le attività inerenti i l percorso di studi per i l rilascio del titolo doppio in Informatica.

• Responsabile di Workpackage nel progetto europeo RESERVOIR - Resources and Services Virtualization without Barriers - 2008.

• Responsabile scientifico del progetto ordinario (2008/2009), cod. ORME09WK97, dal tìtolo "Strumenti per la creazione automatica di Worker Node virtuali in ambienti Grid".

• Responsabile scientifico del progetto ordinario (2006/2007), cod. ORME07MAR4, dal tìtolo "Reti di sensori wireless a qualità' garantita per applicazioni industriali".

• Responsabile scientifico del progetto per giovani ricercatori (2003), cod. GRME030584, dal titolo "Tecniche per una efficiente soluzione di modelli per la valutazione delle prestazioni e dell'affidabilit di sistemi real-time".

1.5 PEurtecipazione in progetti di ricerca

Ha partecipato o partecipa ai progetti di ricerca:

• "Metodologie e strumenti di V E V di funzionalità pr^tazioni ed affidabilità di processi e prodotti nell'ingegneria del software", (fondo 40% MURST);

• "Modellazione e valutazione delle prestazioni dei sistemi dì calcolo distribuiti" (fondo 60% MURST) ;

• "Fondamenti, metodi e strumenti di informatica" (fondo 60% MURST);

• "Le algebre di processi temporizzate per la valutazione delle prestazioni dì sistemi concorrenti e distribuiti" (contributo CNR - Progetto coordinato);

• "Modelling and analysis of time constrained and hierarchical system" (Contributi C E E -Hmnan capital and mobility in collaborazione con Laboratoire Masi Univ. Paris 6).

• "Progetto di cooperazione Italia-Ungheria per la mobUità di ricercatori".

• Progetto cofinanziato MURST "Sistemi reattivi e affidabili per apphcazioni industriah", anni 2000/2002, unità di ricerca presso l'Università di Messina.

6

• Progetto F I R B 2002 "Valutazione delle Prestazioni dei Sistemi Complessi: Tecniche, Meto­dologie e Strumenti", unità di ricerca presso l'Università di Messina.

• Progetto F I R B 2002 "Valutazione delle Prestazioni dei Sistemi Complessi: Tecnidie, Meto­dologie e Strumenti", unità di ricerca presso l'Università di Messina.

• TriGrid V L : Trmacria Grid Vhtual Laboratory - 2006.

• Progetto PRIN 2007 "Affidabihtl'a e quahtà del servizio in sistemi di monitoraggio basati su Wireless Sensor Networks per applicazioni critiche".

• "RESERVOIR - Resources and Services Virtuahzation without Barriers", Progetto FP7- ICT 2007-2013 (Unione Europea), 2008-2011.

• Progetto PON Ricerca 2000-2006 "PI2S2: Progetto per la Implementazione e lo Sviluppo di una e-Infrastrutura in Siciha basata sul paradigma deha Grid", 2005-2008.

• Progetto POR Siciha 2000-2006 "TriGrid V L : TVmacria Grid Virtual Laboratory", 2005-2008.

• "Virtuahzed Storage Services Foundation for the Future Internet - VISION CLOUD", Euro­pean Project 7FP, Grant Agreement n. 257019.

1.6 Pr e mi

• Best paper award "A Gspn Model To Analyze Performance Parameters In Ghte Grids" in 17th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE 2008) I E E E CS press pp.198-203, Rome, 23-25 June 2008.

• Best paper award " Optimizing routine maintenance team routes" in 17th International Conference on Enterprise Information Systems, Proceedings (ICEIS), Volume: 1 , pages 535-546 , SciTePress , Barcelona, Spain, 27-30 Aprii 2015.

• Best paper award " KAOS: A Kinetic Theory Tool for Modeling Complex Social Systems", in 3rd International Conference on Industriai Engineering and Applications (ICIEA 2016).

1.7 Incarichi presso accademie

• 2014- Membro di "PhD committee" presso ParisTech - Paris Institute of Technology (France).

2 Servizi resi per l'Ateneo

• Dall'a.a. 2006/2007 al a.a. 2010/2011: delegato del Dkettore del Dipartimento di Matema­tica presso la Facoltà di Ingegneria.

• Dall'a.a. 2006/2007 al a.a. 2010/2011: componente della commissione didattica deUa Facoltà di Ingegneria deh'Università di Messina.

• A.a. 2007/2008: responsabile del coordinamento del Master di II livello in Open Source e Sicurezza Informatica organizzato daUa Università di Messina.

7

• Dall'a.a. 2006/2007 all'a.a. 2010/2011: componente del Collegio Docenti del Dottorato in ''Tecnologie Avanzate per VIngegneria dell'Informazione''' attivato presso i l Dipartimento di Matematica dell'Università degli Studi di Messina.

• Dal 2007 al 2010: vicedirettore del ''Center on Information Technologies Development and their Applications" (C I .A . ) dell'Università degli Studi di Messina per nomina del Senato Accademico.

• Dall'aprile 2011 ad aprile 2014: membro del Consiglio di Amministrazione del "Consorzio Multi-Ente per la promozione e l'adozione di Tecnologie di calcolo Avanzato" (COMETA).

• A.A. 2011/2012; direttore del Master di II livello in "Open Source e Sicurezza Informatica".

• A.A. 2012/2013: direttore del Master di II livello in "Open Source e Sicurezza Informatica".

• A.A. 2014/2015: direttore del Master di I livello in "Tecnico di ricerca specializzato nell'uso e progettazione di reti ed ambienti softwai-e distribuiti".

• Dal 2013 ad oggi: componente del Direttivo del Centro Informatico di Ateneo (CIAM) dell'Università degli Studi di Messina.

• Dal 2014 ad oggi: Coordinatore del Corso di Laurea Magistrale Internazionale in Engineering and Computer Science.

3 Attività Didattica

Negli anni accademici 1994/95 e 1995/96 è intervenuto nei corsi di Informatica Industriale del corso di laurea in Ingegneria Informatica con seminari sulle tecniche di modehazione e suUa valutazione deUe prestazioni dei sistemi paralleH e distribuiti.

Neh'anno accademico 1996/97 ha tenuto un ciclo di seminari su "Tecniche di modehazione di sistemi informatici" per gh studenti del Dottorato di Ricerca in Informatica del Dipartimento di Matematica deh'Università di Catania.

DaU'anno accademico 1998/99 ha curato diversi interventi airinterno del corso di Calcolatori Elettronici I tenuto per i l corso di laurea in Ingegneria Elettronica ed Informatica deha Facoltà di Ingegneria deh'Università di Catania.

Nel 1999 ha ricevuto l'incarico per ima collaborazione didattica neh'ambito del corso di forma­zione n.039/CT/93 "Tecnico del controho di qualità" rigurdante i l modulo "Statistica".

Negh anni accademici 1999/2000 e 2000/2001 ha svolto i l ciclo di esercitazioni neh'ambito del corso di Fondamenti di Informatica tenuto per i l corso di laurea in Ingegneria per l'Ambiente e i l Territorio presso i l Consorzio Ennese Universitario, ed ha curato l'attività di tutoraggio neh'ambito deha stessa disciplina, in quahtà di collaboratore aha didattica.

Negli anni accademici 2001/2002, 2002/2003, 2004/2005 e 2005/2006 ha avuto rincarico di professore a contratto per l'insegnamento nei corsi di "Laboratorio di Informatica" (a.a. 2001/2002) e "Sistemi Operativi" (a.a. 2002/2003, a.a. 2004/2005) per gh studenti del corso di laurea m Ingegneria Informatica della Facoltà di Ingegneria deh'Università di Messina, e "Valutazione delle Prestazioni" (a.a. 2005/2006) per i l corso di lamea specialistica in Ingegneria Informatica deha stessa facoltà.

8

Ha seguito in qualità di corelatore diverse tesi di laurea presso la facoltà di Ingegneria dell'U­niversità degli Studi di Catania e di Messina.

NeU'a.s. 2001/2002 ha tenuto una supplenza di "Sistemi di Elaborazione e trasmissione delle Informazioni" (classe di concorso A042) dal 13/10/01 al 31/10/01 e dal 06/02/2002 al 07/03/2002 presso r " I .T .I .S S. Caniùzzaro" di Catania. Negh a.s. 2002/2003 e 2003/2004 è stato supplente annuale di "Sistemi di Elaborazione e Trasmissione dehe Informazioni" presso "I .T. I .S. G. Marconi" di Catania.

Da dicembre a maggio 2004 é stato impegnato come docente di Informatica per i l master universitario in "Organizzazione dei trasporti neha autorità portuale e marittima" deh'Università degli Studi di Messina.

Ha inoltre avuto diversi incarichi per tenere corsi di formazione in Informatica. In qualità di professore asssociato ha avuto assegnati i seguenti incarichi didattici: a.a. 2006/2007)

docenza del corso di "Valutazione delle Prestazioni" (6 CFU) per i l corso di laurea magistrale m "Ingegneria Informatica" deha Facoltà di Ingegneria deU'Università di Messina; docenza del corso di "Sistemi Operativi" (6 CFU) per i l corso di lainea in "Ingegneria Informatica e dehe Telecomimi-cazioni" deha Facoltà di Ingegneria dell'Uni versila di Messina; docenza del corso di "Fondamenti di Informatica I " (6 CFU) per i l corso di lainea in "Ingegneria Informatica e delle Telecomunicazioin" deha Facoltà di Ingegneria dell'Università di Messina.

a.a. 2007/2008) docenza del corso di "Valutazione dehe Prestazioni" (6 CFU) per i l corso di laurea magistrale in "Ingegneria Informatica" deha Facoltà' di Ingegnerìa deh'Università' di Messina; docenza del corso di "Sistemi Operativi" (6 CFU) per i l corso di laurea in "Ingegnerìa Informatica e dehe Telecomunicazioni" della Facoltà' di Ingegneria dell'Università' di Messina; docenza del corso di "Fondamenti di Informatica I " (6 CFU) per h corso di latnea in "Ingegneria Informatica e dehe Telecomunicazioni" della Facoltà' di Ingegneria dell'Università' di Messina-docenza del corso di "Linguaggi per h W E B " (30 ore), indirizzo Fisico - Informatico - Matematico, classe 42/A, presso la "Scuola Interuniversitaria SìciHana di Specializzazione per l'Insegnamento Secondario (SISSIS)" dell'Università' di Messina; docenza del corso dì "Sistemi Operativi" (30 ore), indhizzo Fisico - Informatico - Matematico, classe 42/A, presso la "Scuola Interuniversitaria Siciliana di Speciahzzazione per l'Insegnamento Secondario (SISSIS)" deh'Università' di Messina.

a.a. 2008/2009) docenza del corso di "Valutazione delle Prestaziorù" (6 CFU) per i l corso di laurea magistrale in "Ingegneria Informatica" della Facoltà' di Ingegneria dell'Università' di Messina; docenza del corso di "Sistemi Operativi" (6 CFU) per i l corso di laurea in "Ingegneria Informatica e dehe Telecomimicazioni" deha Facoltà' di Ingegneria deh'Università' di Messina; docenza del corso di "Fondamenti di Informatica I " (6 CFU) per lì corso di laurea in "Ingegneria Informatica e dehe Telecomunicazioni" della Facoltà' di Ingegneria deh'Università' di Messina; docenza del corso di "Linguaggi per h W E B " (30 ore), indhizzo Fisico - Informatico - Matematico, classe 42/A, presso la "Scuola Interuniversitaria Sicihana di Speciahzzazione per l'Insegnamento Secondario (SISSIS)" dell'Università' di Messina.

a.a. 2009/2010) docenza del corso di "Valutazione delle Prestazioni" (6 CFU) per i l corso di laurea magistrale in "Ingegneria Informatica" della Facoltà' di Ingegneria deh'Università' di Messina; docenza del corso dì "Sistemi Operativi" (6 CFU) per i l corso di lamea in "Ingegneria Informatica e dehe Telecomunicazioni" della Facoltà' di Ingegneria dell'Università" di Messina, docenza del corso dì "Fondamenti di Informatica I " (6 CFU) per i l corso di laurea in Ingegnerìa Informatica e delle Telecomimicazìoni" della Facoltà' di Ingegnerìa dell'Università' di Messina.

9

a.a. 2010/2011) docenza del corso di "Sistemi Operativi" {6 CFU) per i l corso di laurea in "Ingegneria Informatica e delle Telecomunicazioni" della Facoltà' di Ingegneria dell'Università' di Messina; docenza del corso di "Fondamenti di Informatica I " (6 CFU) per i l corso di laurea in "Ingegneria Informatica e delle Telecomimicazioni" della Facoltà' di Ingegneria dell'Università' di Messina.

a.a. 2011/2012, 2012/2013, 2013/2014) docenza del corso di "Sistemi Operativi" (6 CFU) per i l corso di laurea in "Ingegneria Elettronica e Informatica" dell'Università' di Messina; docenza del corso di "Fondamenti di Informatica - modulo A" (6 CFU) per i l corso di lamea in "Ingegneria Elettronica e Informatica" dell'Università' di Messina.

a.a. 2013/2014) docenza del corso di "Basi di Dati I " (9 CFU) per i l corso di laurea in "Informatica" dell'Università' di Messina.

4 Attività di Ricerca

Nei mesi successivi al conseguimento della laurea ha collaborato con l'Istituto di Informatica e Telecomunicazioni deha Facoltà di Ingegneria dell'Università di Catania su attività inerenti la valutazione deUe prestazioni e deha affidabilità dei sistemi informatici, con particolare rifermento ai sistemi distribuiti.

L'attività di ricerca sì è articolata secondo due direzioni di indagine. L a prima, di natura tipicamente applicativa, si è proposta di valutare sistemi soggetti a guasti e riparazioih, per i quali sono ammessi più stati di funzionamento. La seconda direzione di indagine si è proposta di estendere i l campo di apphcazione dehe reti di Petri, permettendo la possibihtà di modehare sistemi non Markoviani per modellare correttamente una più ampia classe di sistemi in cui sono presenti fenomeni con tempi di occorrenza distribuiti in maniera arbitraria.

Dinante i l dottorato l'attività di ricerca è proseguita nel campo delle reti di Petri con transi­zioni non esponenziali, ricercando algoritmi di calcolo per la soluzione dei modeffi non Markoviani generati da tah reti. Si è sviluppato un algoritmo per la loro soluzione basato sulla discretizzazione temporale, riuscendo a fornire una soluzione, sia in transitorio che a regime, di classi di reti di Petri la cui anahsi non è possibile con gli attuali metodi anahtici. Successivamente questi algoritmi sono stati ottimizzati per un uso efficiente della memoria.

Nel settembre del 1997 ha intrapreso una collaborazione scientifica con la Technical University of Budapest inerente le caratteristiche sia strutturali che numeriche delle funzioni di distribuzione discrete di tipo Phase Type. I l principale risultato ottenuto è stata una dimostrazione del fatto che la varianza minima di una Phase Type discreta può essere minore di una continua deho stesso ordine. Tale risultato è di interesse in quanto permette l'implementazione di metodi numerici per risolvere modeUi con dinamiche anche molto stringeti (varianze piccole) tipiche dei sistemi real-time. I metodi di soluzione analitica studiati sono stati implementati nel tool WebSPN.

L'interesse di ricerca si è anche focahzzato sulle applicazioni distribuite su cluster di calcolatori. L'esperienza diretta in questo settore si è concretizzata nello studio di un algoritmo di soluzione dei metodi implementati nel tool WebSPN facente uso di processi paralleli cooperanti che evolvono su macchine distinte ed intercormesse da una rete di comunicazione. L a realizzazione si è mostrata altamente efficiente reahzzando un completo parahehsmo tra i processi e portando quindi ad elevare sensibihnente le prestazioni deha implemetazione sequenziale.

L a natmale evoluzione é stata queha di effettuare una implementazione deh'apphcazione pa­rallela in ambiente GRID. Si sono così sviluppati degh algoritmi che ponessero l'attenzione sih

10