Stefano Marrone professore aggregato in Sistemi di Elaborazione delle Informazioni Dipartimento di Matematica e Fisica Seconda Università di Napoli Formazione: 2002-2006: dottorato in Ingegneria Elettronica presso la Seconda Università di Napoli. Tesi: Un approccio all'ingegneria dei Modelli per Sistemi di Elaborazione Critici e Complessi 1995-2002: laurea in Ingegneria Informatica, Università Federico II di Napoli. Tesi: Modelli ad oggetti basati sulle reti di Petri per l'analisi di sistemi complessi Posizioni lavorative: 2008-oggi : ricercatore a tempo indeterminato presso la Seconda Università di Napoli; 2002-2008: ingegnere in Ansaldo Segnalamento Ferroviario/AnsaldoSTS; 2002: contratto post-laurea presso il Dipartimento di Informatica e Sistemistica della Università di Napoli Federico II. Tematiche di ricerca: Le attività di ricerca focalizzano l'attenzione attorno al miglioramento dei processi di progettazione e verifica di sistemi critici e complessi basati su calcolatore: sistemi mission e safety-critical (ferroviario, automotive, avionico, ); sistemi autonomici (sistemi avanzati di comunicazione, reti di sensori); ingegneria del software per sistemi critici; protezione di infrastrutture critiche. Lo studio viene prevalentemente condotto attraverso l'utilizzo di metodi formali ed in particolare attraverso l'uso congiunto di diversi linguaggi formali (multiformalismo) e delle tecniche di strutturazione e trasformazione dei linguaggi (Model Driven Engineering). Progetti di ricerca: 2010-oggi : partecipazione al WP 7 del progetto AGRIGENET: Network per la salvaguardia e la gestione delle risorse genetiche agro-alimentari campane. Le attività sono orientate alla costruzione di un sistema informativo regionale per la valorizzazione e la tracciabilità di specie vegetali Campane. Il progetto è finanziato dalla regione Campania nell'ambito dei Programma di Sviluppo
Rurale 2007-2013; 2011-oggi : partecipazione al progetto di ricerca IESWECAN (Informatics for Embedded SoftWare Engineering of Construction and Agricultural machines ) PON01-01516 2012-oggi : partecipazione (come invited researcher) al progetto di ricerca METRIP (MEthodological Tool for Railway Infrastructure Protection), progetto finanziato dalla comunità europea, misura CIPS 2010 (HOME/2010/CIPS/AG/035); 2011-2012: responsabile di attività di progettazione di un software per la predizione delle chiamate outbound in un contact center nella convenzione di ricerca con la Inova S.p.A. Aversa (CE); 2012-oggi : partecipazione scientifica al progetto di ricerca MBAT (Combined Model-based Analysis and Testing of Embedded Systems), progetto europeo ARTEMIS Call 2010 Project 269335 ; 2004-oggi : partecipazione al progetto OsMoSys (Object-based multiformalism MOdeling of SYStems) avente l'obiettivo la costruzione di un framework per la modellazione e l'analisi multiformalismo di sistemi eterogenei; Principali collaborazioni scientifiche: Le attività di ricerca si svolgono in collaborazione con le seguenti strutture accademiche ed industriali: Dip, di Informatica e Sistemistica, Università Federico II di Napoli (prof. Nicola Mazzocca, prof.ssa Valeria Vittorini); Dip. di Informatica, Università del Piemonte Orientale (prof.ssa Giuliana Franceschinis); Dip. di Elettronica e Informazione, Politecnico di Milano (dott. Marco Gribaudo); Dep.to de Informatica e Ingenieria de Sistemas, Universidad de Zaragoza / Centro Universitario de la Defensa, Academia General Militar (prof. Josè Merseguer, prof.ssa Simona Bernardi); AnsaldoSTS TS-RAMS, Innovation & Competitiveness Unit, SPP-SVI, SPP- RAMS; Inova S.p.A.; Fiat Group Auto; Esperienze professionali: 2002-2008: ingegnere nel campo della validazione e della verifica di sistemi di segnalamento ferroviario (AnsaldoSTS): ingegnere del software: testing di sistemi software critici (unit, integration e system testing); ingegnere dei sistemi: verifica delle proprietà RAMS per sistemi metropolitani senza guidatore (pianificazione RAMS, analisi degli hazard, analisi RAMS, safety case,...);
ricercatore industriale: uso dei metodi formali (Generalized Stochastic Petri Nets, Model Checking) per la verifica formale di proprietà di sicurezza e di disponibilità per sistemi di segnalamento ferroviario Durante questo periodo, Stefano Marrone ha partecipato alla realizzazione di diversi progetti in ambito ferroviario di caratura nazionale ed internazionale: Alta Velocità Ferroviria (tratte Roma-Napoli e Torino-Novara); Radio Block Centre; Italian Interlocking; Sistema di Comando e Controllo; bordo ERTMS liv.1 e liv.2; metropolitane automatiche (senza guidatore) di Brescia, Roma, Milano, Salonicco. Scuole ed ulteriore certificazioni: Settembre 2011 : Certificazione di istruttore per manutentore di aereomobili (cat. A1-A4, cat. B1.1-B1.4) conseguita presso VulcanAir Training di Napoli 17-18 Giugno 2010: International Marketing of New Technologies course, tenuto da Joseph D.Fondacaro e Jane Muir, AUTM (The Association of University Technology Managers). Napoli; Maggio 2005: Corso di Engineering Safety Management Fundamentals and Guidance ('Yellow Book' livello 4), London; Didattica Universitaria: 2010-2013: docente in Reti Logiche e Programmazione ad Oggetti (modulo Reti Logiche) per il corso di laurea in Ingegneria Elettronica e Informatica della Seconda Università di Napoli; 2010-2013: docente in Sistemi Informativi per le Biotecnologie per il corso di laurea magistrale di Biotecnologie Industriali e Alimentari della Seconda Università di Napoli; 2008-2013: docente in Basi di Dati e Sistemi Informativi per il corso di laurea in Matematica della Seconda Università di Napoli; Corsi passati: 2009-2011: docente in Laboratorio di Matematica modulo: Informatica (fondamenti di programmazione) per il corso di laurea in Matematica della Seconda Università di Napoli; 2006-2007: docente in Algoritmi e Strutture Dati per il corso di laurea in Ingegneria Informatica (Campus Campaniae) della Seconda Università di Napoli; 2006-2009: docente in Ingegneria del Software per il corso di laurea specialistica in Ingegneria Informatica della Seconda Università di Napoli. Relatore/correlatore di diverse tesi (20+) in Ingegneria Informatica e Matematica presso la Seconda Università di Napoli e l'università di Napoli Federico II. Ulteriori esperienze didattiche: Marzo-Maggio 2012 : docente per il corso di Robotica organizzato nell'ambito dei progetti PON 2007-2013 da Liceo Scientifico Fermi di Aversa (CE); Settembre 2011: docente per il corso IFTS Tecnico Superiore per la
manutenzione di aeromobili presso la VulcanAir s.p.a. di Napoli. Il corso è stato tenuto all'interno del Polo Formativo Aerospaziale progetto POR Campania 2007-2013; Marzo-Maggio 2009: docente per il corso di Patente Europea ECDL organizzato nell'ambito dei progetti PON 2007-2013 da Liceo Linguistico Pedagogico Jommelli di Aversa (CE); Attività organizzativa ed istituzionale: 2008-2012: delegato al placement universitario per la facoltà di Scienze MM.FF.NN. 2012-oggi : delegato al placement universitario per il Dipartimento di Matematica e Fisica Pubblicazioni scientifiche: Riviste internazionali 1. F. Flammini, S. Marrone, N. Mazzocca, V. Vittorini, A new modeling approach to the safety evaluation of N-modular redundant computer systems in presence of imperfect maintenance, in Journal of Reliability Engineering and System Safety, ISSN: 0951-8320, Volume 94, Issue 9, 2009. 2. S. Marrone, N. Mazzocca, R. Nardone, R. Presta, S.P. Romano and V. Vittorini, A SAN based Modeling Approach to Performance Evaluation of an IMS- Compliant Conferencing Framework, to appear in Transaction on Petri Nets and other Models of Concurrency Special Issue on Networks, Protocols, and Services Capitoli di libro 1. F. Flammini, S. Marrone, N. Mazzocca, R. Nardone and V. Vittorini, Modeldriven V&V processes for computer based control systems: a unifying perspective, to appear in Lecture Notes on Computer Science, proceedings of 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation 15-18 October 2012 - Amirandes, Heraclion, Crete 2. S. Marrone, R. Nardone, A. Orazzo, I. Petrone and L. Velardi, Improving Verification Process in Driverless Metro Systems: the MBAT project, to appear in Lecture Notes on Computer Science, proceedings of 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation 15-18 October 2012 - Amirandes, Heraclion, Crete 3. F. Flammini, S. Marrone, N. Mazzocca, V. Vittorini, Petri Net Modelling of Physical Vulnerability, to appear in Lecture Notes on Computer Science, proceedings of 6th International Conference on Critical Information Infrastructure Security (CRITIS 2011), Luzern (Switzerland) 8-9 September 2011 4. S. Bernardi, F. Flammini, S. Marrone, J. Merseguer, C. Papa, V. Vittorini, Model-driven availability evaluation of railway control systems, to appear in Lecture Notes on Computer Science, LNCS: proceedings of 30 th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2011),
Naples (Italy) 19-21 September 2011. 5. E. Barbierato, M. Gribaudo, M. Iacono, S. Marrone; Performability modeling of exceptions-aware systems in multiformalism tools; to appear in Lecture Notes on Computer Science, LNCS: proceedings of 18 th International Conference on Analytical and Stochastic Modelling Techniques and Applications (ASMTA 11) Venice (Italy) 20-22 June 2011. 6. S. Marrone, C. Papa, V. Vittorini; Multiformalism and transformation inheritance for dependability analysis of critical systems; in Lecture Notes on Computer Science, LNCS 6396: proceedings of 8 th Integrated Formal Methods Conference Nancy (France) 11-14 October 2010. ISBN 978-3-642-16264-0, pp. 215-228 7. M. Iacono, S. Marrone, N. Mazzocca, F. Moscato, V. Vittorini, Model Analysis of a Distributed Monitoring System using a Multi-Formalism Approach, In Proc. of 7th Workshop on State of the Art in Scientific Computing (PARA), Lyngby (Danemark) - June 2004, Revised Selected Papers, Springer 2006, ISBN: 3-540-29067-2 8. G. Franceschinis, M. Gribaudo, M. Iacono, S. Marrone, N. Mazzocca, V. Vittorini, Compositional modeling of complex systems: contact center scenarios in OsMoSys, In Proceedings of 25th International Conference on Application and Theory of Petri Nets (ATPN), Bologna (Italy) - June 2004, LNCS 3099 - ISBN: 978-3-540-22236-1, pp.177-196 Conferenze internazionali 1. E. Barbierato, M. Iacono and S. Marrone, PerfBPEL: a graph-based approach for the performance analysis of BPEL SOA applications, to appear in proceedings of 6th International Conference on Performance Evaluation Methodologies and Tools (ValueTools 2012), October 9 12, 2012 Cargèse, France 2. M. Iacono, S. Marrone, E. Romano; Adaptive Monitoring of Marine Disasters with Intelligent Mobile Sensor Networks; in Proceedings of 2010 IEEE Workshop on Environmental, Energy, and Structural Monitoring Systems (EESMS), IEEE Computers, 2010. 3. M. Iacono, S. Marrone; Evaluating availability of composed web services; in Proceedings of Operations Research 2010 Conference, Munich 1-3 September 2010. 4. G. Franceschinis, M. Gribaudo, M. Iacono, S. Marrone, F. Moscato, V. Vittorini, Interfaces and Binding in Component Based Development of Formal Models, in Proc. of 4th International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS), ACM ISBN: 978-963-9799-70-7, Pisa (Italy) - October 2009 5. M. Iacono, S. Marrone, A Performance Driven Modelling Approach for SOA Based Application, In Proc. of European Simulation and Modelling Conference (ESMc), Le-Havre (France) - October 2008, ISBN: 978-90-77381-44-1 6. R. Donini, S. Marrone, N. Mazzocca, A. Orazzo, D. Papa, S. Venticinque, Testing complex safety-critical systems in SOA context, In Proc. of 2nd
International Conference on Complex, Intelligent and Software Intensive Systems (CISIS), Barcelona (Spain) March 2008, IEEE Computers ISBN: 0-7695-3109-1 7. G. Di Lorenzo, F. Flammini, M. Iacono, S. Marrone, F. Moscato, V. Vittorini, The software architecture of the OsMoSys Multisolution Framework, In Proc. of 2nd International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS), Nantes (France) - October 2007 ISBN: 978-963-9799-00-4 8. F. De Carlo, M. Iacono, S. Marrone, Combining Genetic Algorithm and Fault Tree Analysis in Reliability/Cost Optimization for Critical Complex Systems, In Proc. of 9th Conference on Modern Information Technology in the Innovation Processes of the Industrial Enterprises (MITIP), Florence (Italy) September 2007 ISBN: 978-88-7544-107-0 9. F. Flammini, S. Marrone, N. Mazzocca, V. Vittorini, Evaluating the Hazardous Failure Rate of majority voting computer architectures by means of Bayesian Network models, In Proc. of 18th European Safety and Reliability Conference (ESREL), Stavanger (Norway) - June 2007, Taylor & Francis - ISBN: 978-0415447867 10.F. Flammini, S. Marrone, N. Mazzocca, V. Vittorini, Modeling system reliability aspects of ERTMS/ETCS by Fault Trees and Bayesian Networks, In Proc. of 17th European Safety and Reliability Conference (ESREL), Estoril (Portugal) - September 2006, Taylor & Francis - ISBN: 978-0-415-42315-1 11. F. Flammini, M. Iacono, S. Marrone, N. Mazzocca, Using Repairable Fault Trees for the evaluation of design choices for critical repairable systems, Proceedings of IEEE International Symposium on High Assurance Systems Engineering, pp.163-172, October 2005, ISBN: 0-7695-2377-3 12.M. Iacono, S. Marrone, N. Mazzocca, F. Moscato, Modeling Distributed Supervisory Systems using Modular Multi-formalism Methodology, In Proc. of European Simulation and Modelling Conference (ESMc), Paris (France) - October 2004. ISBN: 90-77381-14-7 13.G. Franceschinis, S. Marrone, N. Mazzocca, V. Vittorini, SWN client-server composition operators in the OsMoSys framework, In Proc. of 10th International Workshop on Petri Nets and Performance Models (PNPM), Chicago (USA) - September 2003, IEEE ISBN: 0-7695-1976-8 Attività editoriale: Editorial Board Journal of Computers (JCP) Academy Publisher RSRS-BOOK 2012 - Railway Safety, Reliability and Security: Technologies and Systems Engineering (IGI Global) organizing committee partecipazione al comitato organizzativo di 30th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2011), Naples (Italy) September 2011
partecipazione a comitato tecnico-scientifico International Conference on Information Assurance and Security (IAS 2008); European Simulation Conference (ESM 08 ESM 12); European Concurrent Engineering Conference (ECEC 08 ECEC 12); Industrial Simulation Conference (ISC 08 ISC 12); International Workshop on Critical Computer Based Systems (CCBS 2011). Revisore esterno per: IEEE Wireless Magazine IEEE Computers; International Journal of Critical Computer-Based Systems (IJCCBS) Inderscience; Reliability Engineering & System Safety (RESS), Elsevier; Chinese Journal of Aeronautics (CJA), Elsevier; International Journal of Security and Its Applications (IJSIA), SERSC; serve ed ha servito da revisore per diverse conferenze internazionali nell'ambito della: dependability: DSN, ARES, MASCOTS, SAFECOMP; parallel computing: PDP, EuroPVM/MPI, HPCC, ISPDC; embedded computing: PDSEC, EUC Stefano Marrone Dipartimento di Matematica e Fisica, Seconda Università di Napoli viale Lincoln, 5 81100 Caserta, Italia tel: +39 0823 27 5101 fax: +39 0823 27 4753 email: stefano.marrone@unina2.it skype: stefano.marrone.0 website: www.dimat.unina2.it/marrone/index.html