Francesco Flammini, Ph.D. - old page

Federico II Home-Page

SUN Home-Page

• Teaching / Didattica (pages in Italian language)
• Elementi di Informatica (Univ. Federico II, Ingegneria delle Telecomunicazioni)
  • Programma del corso e testi consigliati
  • Lucidi delle lezioni e dispense didattiche (si consiglia di scaricare solo i lucidi delle prossime 2-3 lezioni)
  • Ambiente di sviluppo integrato Dev-C++ usato per le esercitazioni
  • Cartella con tutto il materiale didattico
  • Link al sito ufficiale (si invitano gli studenti ad utilizzare questo sito, seguendo l'apposita procedura di iscrizione al corso)
• Ingegneria del Software (SUN - Campus)
  • Programma e testi consigliati
  • Slide del corso e altro materiale didattico di approfondimento (archivi protetti da password; per ottenerla, inviare una richiesta a frflammi@unina.it)
  • Dettagli sulla modalità di svolgimento dell'esame ed esempi di quesiti teorici
  • Ricevimento studenti: contattare il docente
  • Calendario appelli a.a. 2006/2007
  • Esempi di progetti elaborati negli anni precedenti (da inserire)
  • Link utili (materiale gratuito)
    • Tool di supporto per lo sviluppo del progetto
      • IDE e compilatori C++ (es. Dev-C++, incluso compilatore GCC)
      • Tracciamento diagrammi UML (es. Visual Paradigm o Poseidon)
      • Gestione del progetto e altre risorse (es. Project Engine, JxProject)
      • Gestione e analisi dei requisiti (es. WIBNI, State Step, TigerPro)
      • Visualizzazione e analisi del codice (es. Code Export)
      • Gestione dei test di modulo (es. CxxTest)
      • Gestione delle versioni (es. WinCVS, Bazaar)
    • Approfondimenti
      • Articoli scientifici in italiano: Mondo Digitale (rivista AICA)
      • UML (es. Introduzione a UML)
      • Thinking in C++ (Bruce Eckel, 2nd ed.)
      • Sito eXtreme Programming
• Sicurezza e affidabilità dei sistemi informatici (Federico II)
- link al sito ufficiale
• Slide seminario su sistemi critici (in lingua inglese)
• Appunti su ciclo di sviluppo e validazione di sistemi critici (Dependability Assurance of Real-Time Embedded Control Systems: Lecture Notes)
• Progetti per l’esame (vedi slide)
• Link
  • Dependability Home Page
  • European Railway Traffic Management System
• Seminari su sistemi dependable (slide)
• Dispensa su sistemi dependable
• Disponibilità tesi (inviare un'e-mail per ulteriori informazioni) - materiale
  • Modellazione e analisi affidabilistica tramite metodi formali
  • Sviluppo di un framework di supporto al model-based testing
  • Approcci integrati per la security di infrastrutture critiche
• Research
• OsMoSys Project (multiformalism / multisolution framework)
- presentation
• Application of multiformalism models to the dependability evaluation
• Multiformalism composition operators - explicit multiformalism application
• Multiformalism modeling of Train Control Systems and Critical Infrastructures
• Graphical formalisms for dependability and performability modeling
  • Repairable Fault Trees (RFT) - implicit multiformalism application
  • Generalized Stochastic Petri Nets (GSPN)
  • Bayesian Networks (BN) - free tools: BNJ and JavaBayes
• Model-based functional analysis of complex critical systems
  • Model-based testing resources
  • Grey-box testing, reverse engineering and refactoring
• Model-Checking
• Distributed railway interlocking logics – symbolic model-checking
• On-board intelligent spacecraft controllers – run-time model-checking
• Publications
  • Complete List (Word document)
  • DBLP (partial list)
  • Thesis and dissertations
• Links
  • General
    • IEEE Computer Society
    • Association of Computing Machinery
  • Dependability & Security
    • International Journal of Critical Computer-Based Systems (Inderscience)
    • Journal of Reliability Engineering & System Safety (Elsevier)
    • International Journal of Reliability, Quality and Safety Engineering (WorldSci)
    • IEEE Transactions on Dependable & Secure Computing
  • Formal Methods
    • Formal Methods Europe
    • Formal Methods in System Design (Springer)
    • Formal Aspects of Computing (Springer)
  • Software Testing
    • Journal of Software Testing, Verification & Reliability (Wiley)
    • Association of Software Testers
  • System Modeling and Evaluation
    • Journal on Software & System Modeling (Springer)
    • Performance Evaluation (Elsevier)
    • ACM SIGMETRICS Performance Evaluation Review
  • System Engineering
    • Journal of System Science and System Engineering (Springer)
    • Journal of Computer Systems Science and Engineering (CRL Publ.)
  • Critical Infrastructure Security
    • International Journal of Critical Infrastructure Protection (Elsevier)
    • International Community on Information Systems for Crisis Response and Management (ISCRAM)

(click to expand or compress)

Francesco flammini graduated cum laude in Computer Engineering at the University “Federico II” of Naples in July 2003 and got his Ph.D. in Computer and Control Systems Engineering from the same university in December 2006. From October 2003 to January 2007, 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. Since February 2007, after moving to the Business Innovation division, he has worked on critical infrastructure protection and transportation security.

His main research interests are about computer dependability evaluation by model-based techniques, including multiformalism methods and simulative approaches. He has authored more than 30 scientific papers published in international journals, book chapters and conference proceedings. He has served as a member of the International Program Committee and a reviewer for several international conferences and IEEE journals.

He is a member of the IEEE Computer Society and of several Technical Committees, including Software Engineering and Fault Tolerant Computing. He is also member of EWICS TC7, ERCIM FMICS, AIIC, IASTED, FME and ESRA TC on Operational Safety and Security of Interconnected Critical Infrastructures.

He is Editor-in-Chief of the "International Journal of Critical Computer-Based Systems" (IJCCBS).