Model-Based Dependability Evaluation of Complex Critical Control Systems

Contatta l'autore »

Francesco Flammini

• Autore della tesi: Model-Based Dependability Evaluation of Complex Critical Control Systems ≫
• Autore della tesi: Modellazione e valutazione di sistemi di elaborazione affidabili in applicazioni di controllo industriale ≫

Francesco Flammini graduated cum laude in Computer Engineering at the University “Federico II” of Naples in July 2003 and got his PhD in Computer and Control Systems Engineering from the same university in December 2006. Since October 2003, he has worked in ANSALDO as a Software/RAMS Engineer in the Verification & Validation division. He has been involved in several ERTMS/ETCS (European Railway Traffic Management System / European Train Control System) related projects, both for the on-board and the trackside systems.
His main research interests are about computer dependability evaluation by model-based techniques, including multiformalism methods and simulative approaches. He is author of more than 15 scientific papers published in international journals, book chapters and conference proceedings. He served as a member of the International Program Committee and a reviewer for several international conferences and IEEE journals.
He is a member of IEEE Computer Society and of several Technical Committees, including Software Engineering and Fault Tolerant Computing. He is also member of ACM, AICA and FME (Formal Methods Europe).

Studi

• Dottorato di Ricerca in Ingegneria Informatica e Automatica
  conseguito presso Università degli Studi di Napoli - Federico II nell'anno 2006
• Laurea in Ingegneria Informatica
  conseguita presso Università degli Studi di Napoli - Federico II nell'anno 2002-03
  con una votazione di 110 e lode
  sostendendo i seguenti esami:

  Materia		Voto
  Impianti di Elaborazione		30 e lode
  Fondamenti di Informatica II		30 e lode
  Fondamenti di Informatica I		30 e lode
  Sistemi Informativi		30 e lode

• Diploma di maturità conseguito presso il Liceo scientifico
  con votazione 60/60°

Altri titoli di studio

• Dottorato di Ricerca in Ingegneria Informatica e Automatica
  conseguito presso Università di Napoli nell'anno 2006

Esperienze lavorative

• Dal 2003 lavora presso ANSALDO SIGNAL - Ansaldo Segnalamento Ferroviario S.p.A. nel settore Trasporti
  Mansione: Software/RAMS Engineer

  Commento personale: Verifica e Validazione di sistemi di controllo critici per la sicurezza (testing funzionale, modellazione e valutazione formale, hazard analysis, analisi statica del codice, ecc.)

Lingue straniere

• Inglese parlato e scritto: ottimo
• Spagnolo parlato e scritto: discreto

Conoscenze informatiche

• Livello ottimo