Skip to content

Model-Based Dependability Evaluation of Complex Critical Control Systems

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