Simona Bernardi

Education

  • MS degree in Mathematics (1997) and a PhD degree in Computer Science (2003), both from the University of Torino - Italy.
  • Homologation of both the degrees in 2007 (MS degree from the Spanish Ministry of Education and Science) and 2006 (PhD degree from the University of Zaragoza, Spain), respectively.

Professional positions

  • from November 2010: Professor at the Centro Universitario de la Defensa, Academia General Militar, Zaragoza (Spain) - subject area: Computer Science (Computer System Languages).
  • January 2005-October 2010: Researcher at the Department of Computer Science, University of Torino (Italy) - subject area: Computer Science.
  • January, 2003 - December, 2004: Research contract at the Department of Computer Science, University of Torino (Italy).

Accreditations

  • Profesor Titular de Universidad (ANECA)
  • Sexenios investigación (ACPUA): 2001-06, 2007-12

Teaching

A.A. 2016/2017  TBD

 

In the past (from 2000/2001 to 2014/2016)

  • IT Systems for Management, B.Eng. in Management. CUD - Zaragoza (Spain)
  • Fundamentals of Computer Science, B.Eng. in Management. CUD - Zaragoza (Spain)
  • Computer architecture, B.S.  in Computer Science. University of Torino (Italy)
  • Experimentation of Software Engineering, B.S. and M.S.  in Computer Science. University of Torino (Italy)
  • Computer Science basics, B.S.  in Science and Technology of Cultural Assets. University of Torino (Italy)
  • Lectures in the course of Software Engineering II. Centro Politécnico Superior, University of Zaragoza (Spain)
  • Computer Science basics I, B.S.  in Science and Alpine Tourism. University of Torino (Italy)
  • Laboratory of applied computer science, B.S. in Biological Sciences. University of Torino (Italy)
  • Laboratory of programming and calculus, B.S.  in Science of Materials. University of Torino (Italy)

Undergraduate student supervision (supervisión trabajos fin de grado/master)

  1. Etienne Chotard, M.Eng. in Information Sciences - on-going
  2. Alejandro Polo Rueda, "Desarrollo de una aplicación informática para la gestión del material en una sección de zapadores mecanizada", B.Eng. in Management - on-going
  3. Javier Sierra Maroto, "Diseño de una unidad de defensa antiaérea con capacidad de montaña", B.Eng. in Management - on-going
  4. Raúl Piracés Alastuey, "Minería de procesos para la mejora de la seguridad en sistemas de información Web" (co-supervised with Raquel Trillo Lado, University of Zaragoza), B.Eng.  in Computer Science - date of the thesis statement: 5th July, 2016
  5. Pablo David Chico Carracedo, "Sistemas de información para el mando y control en las pequeñas unidades de BRIPAC: requerimientos técnicos vs/ necesidades operativas", B.Eng. in Management  - date of the thesis statement: 27th May, 2016
  6. Antonio Rojas Delgado, "Estudio del sistema de información, mando y control LINCE para mejorar su empleo en las pequeñas unidades de caballería", B.Eng. in Management - date of the thesis statement: 20th May, 2016
  7. Alfonso Bógalo Chaparro, "Análisis y valoración de la estructura de seguridad del Sistema de Información para el MAndo y Control del Ejército de Tierra (SIMACET)", B.Eng. in Management  - Date of the thesis statement: 27th November, 2015
  8. Javier Coca Gutiérrez, "Actualización, problemas y soluciones del Centro de Operaciones de Artillería Anti Aérea Semi-automáticos (COAAAS)", B.Eng.  in Management  - Date of the thesis statement: 28th May, 2015

PhD Summer schools

Book (in Spanish)

 

Research

Topics

My research interests address the area of system and software engineering, in particular:

  • Model Driven Engineering, Model Driven Architecture, Domain Specific Modeling Languages (e.g., UML profiling).
  • Meta-modeling languages and transformation techniques.
  • CASE tools development.
  • Verification and validation of software requirements and non functional properties - correctness, performance, dependability, security, survivability - using formal methods and techniques (e.g., Petri nets, Fault trees, Queueing Networks).
  • Application of  methods and techniques (e.g., FMECA, FT, Petri Nets, Markov chains, Reliability Block Diagrams, ...) for the dependability assessment of complex distributed software systems.
  • Risk assessment associated to software development.

Research group

 

DisCo (Grupo de I+D en Computación Distribuida), Universidad de Zaragoza (España)

Chair

Organizing committee member

Program committee member

Ongoing

Past

Journal reviewer

Evaluation activities

  • 2012-2013: Reviewer for the Italian National Agency for the Evaluation of Universities and Research Institutes (ANVUR), under the programme eValuation of Quality of Research 2004-2010. Scientific Disciplinary Sectors: Industrial and Information Engineering (Systems for Data Processing) and Information Technology.
  • June 2014: Project evaluator as independent expert within the EU ICT Call 32 - Cybersecurity, Trusthworthy ICT (R&I  portal)
  • December 2014-15: Monitor in the review meetings of EU FP7 611458-SECURED  project

Research projects

  • February 2015 - January 2018: Developing Data-Intensive Cloud Applications with Iterative Quality Enhancements (DICE). Financed by the European Commission under the H2020 framework. Coordinator: Giuliano Casale (Imperial College, UK), Scientific responsible (UNIZAR unit): José Javier Merseguer.
  • January 2015 - December 2017: Cyber-resilient critical infrastructures: Exploiting process mining techniques for security-by-design (Infraestructuras críticas resistentes a ciber-ataques: Aplicando la minería de procesos y el diseño software orientado a la seguridad - CyCriSec-TIN2014-58457-R). Financed by Ministerio de Economía y Competitividad. Scientific responsible: José Javier Merseguer, Universidad de Zaragoza.
  • September 2015 - August 2016: Minería de procesos para la mejora de la seguridad de sistemas de información web (UZCUD2015-TEC-05).  Financed by Centro Universitario de la Defensa - Universidad de Zaragoza. Scientific responsible: Raquel Trillo Lado.
  • January 2012 - December 2014: Una metodología de análisis guiada por el modelado para sistemas empotrados distribuidos con supervivencia crítica (MASDES-TIN2011-24932). financed by Ministerio de Ciencia e Innovación. Scientific responsible: Simona Bernardi.
  • January 2009 - December 2009: Diseño de sistemas empotrados: análisis de prestaciones y fiabilidad, financed by the University of Zaragoza (Spain). Scientific responsible: José Javier Merseguer, Universidad de Zaragoza.
  • September 2008 - September 2010: Performability-Aware Computing: Logiche, Modelli e Linguaggi (PaCo), co-financed by the Italian Ministry of University and Research (MIUR) - and by the University of Torino, within the framework Programmi di Ricerca scientifica di rilevante Interesse Nazionale (PRIN). Scientific coordinator: Marco Bernardo, Università degli Studi di Urbino "Carlo BO". Scientific responsible UniTo unit: Jeremy Sproston, Università di Torino.
  • March 2008 - March 2009: Sviluppo di metodi e tecniche per la validazione dell'affidabilità dei sistemi software critici, within the World Wide Style (WWS) incoming mobility program, financed by the Cassa di Risparmio di Torino and by Università degli Studi di Torino. Scientific responsible: Simona Bernardi, Università di Torino.
  • January 2008 - December 2008: Diseño de sistemas empotrados: análisis de fiabilidad y seguridad, financed by the University of Zaragoza (Spain). Scientific responsible: José Javier Merseguer, Universidad de Zaragoza.
  • January 2006 - December 2008: European project IST 027513 - Critical utility infrastructural resilience (CRUTIAL). Scientific coordinator: Giovanna Dondossola, CESI Ricerca Spa (Italy). Scientific responsible CNIT unit: Susanna Donatelli, Università di Torino.
  • April 2003 - April 2005: Desarrollo de una herramienta de predicción del comportamiento de sistemas software basada en técnicas de álgebra tensorial. Bilateral project Italy - Spain, financed by the Italian Ministry of University and reseach (MIUR) and by the Spanish MInistry of Science and Technology. Scientific responsibles: Susanna Donatelli (Università di Torino), Javier Campos (Universidad de Zaragoza).
  • November 2002 - November 2005: Performance Evaluation of Complex Systems: Techniques, Methodologies and Tools (FIRB-PERF), financed by the Italian Ministry for the University and Research (MIUR). Scientific coordinator: Mariacarla Calzarossa (Università di Pavia), Scientific responsible UniTo unit: Gianfranco Balbo (Università di Torino).
  • December 2003 - November 2005: Evaluación de prestaciones de sistemas de información haciendo uso de UML y Redes de Petri: Fase 2 (TIC2003-05226), financed by Spanish Ministry of Science and Technology (MCyT). Scientific responsible: Javier Campos (Universidad de Zaragoza).
  • December 2002 - November 2003: Evaluación de prestaciones de sistemas de información haciendo uso de UML y Redes de Petri (TIC2002-04334-C03-02), financed by Spanish Ministry of Science and Technology (MCyT). Scientific responsible: Javier Campos (Universidad de Zaragoza).
  • January 2001 - March 2003: European project IST 25434 - Dependability for embedded Automation systems in Dynamic Environments with intra-site and inter-site distribution aspects (DepAuDE). Scientific coordinator: Geert Deconinck (Katholieke Universiteit Leuven), Scientific responsible UniTo unit: Susanna Donatelli (Università di Torino).
  • April - November, 1999: European project ESPRIT 28620 - TaIloRable fault tolerANce framework for embedded Application (TIRAN). Scientific coordinator: Oliver Botti, CESI Ricerca Spa. Scientific responsible UniTo unit: Gianfranco Balbo (Università di Torino).

Publication

My profile on Google Scholar - Research Gate - DBLP Computer Science Bibliography

Books

  1. S. Bernardi, J. Merseguer, D.C. Petriu, "Model-driven dependability assessment of software systems", Springer-Verlag, 2013, ISBN 978-3-642-39512-3 (e-book)/ ISBN 978-3-642-39511-6 (hardcover).

Editorship

  1. S. Bernardi, M. Bošković, J. Merseguer (Eds.). Proceedings of the 5th International Workshop on Non-functional Properties in Modeling: Analysis, Languages and Processes, co-located with MODELS'2013, Miami, USA, September 29, 2013, CEUR Workshop Proceedings 1074. CEUR-WS.org 2013.

Book chapters

  1. S.Bernardi, J.Merseguer, "A meta-model based approach to the definition of the analysis results of Petri Net models", In Theory and Application of Multi-Formalism Modeling, M. Gribaudo & M. Iacono eds., IGI Global, 2013.

Journal articles

  1. S. Bernardi, L. Dranca, J. Merseguer, "A model-driven approach to survivability requirements assessment for critical systems", Journal of Risk and Reliability, on-line first, Feb. 2016. DOI: 10.1177/1748006X15626017.
  2. R.J. Rodríguez, J. Merseguer, S. Bernardi, "Modelling Security of Critical Infrastructures: A Survivability Assessment", The Computer Journal, 58(10), 2015, pp.2313-2327.
  3. S. Bernardi, F. Flammini, S. Marrone, N. Mazzocca, J. Merseguer, R. Nardone, V. Vittorini, "Enabling the usage of UML in the verification of railway systems: the DAM-Rail approach", Reliability Engineering & System Safety, vol.120, December 2013.
  4. S. Bernardi, J. Campos, "A min-max problem for the computation of the cycle time lower bound in interval-based Time Petri Nets," IEEE Transactions on Systems, Man, and Cybernetics: Systems, 43(5), September 2013.
  5. S. Bernardi, J. Merseguer, D.C. Petriu, "Dependability modeling and analysis of software systems specified with UML", ACM  Computing Surveys, 45(1), November 2012.
  6. S. Bernardi, J. Merseguer, D.C. Petriu, "Dependability modeling and assessment in UML-based software development", The  Scientific World Journal, article ID614635, vol. 2012, doi:10.1100/2012/614635.
  7. J. Merseguer, S. Bernardi, "Dependability analysis of DES based on MARTE and UML State Machines  models", Discrete Event Dynamic Systems, 22(2):163-178 (2012).
  8. S. Bernardi, J. Merseguer, D.C. Petriu, "A Dependability profile within MARTE", Software & Systems Modeling, 10(3): 313-336 (2011).
  9. S. Bernardi, J. Campos, J. Merseguer, "Timing-failure risk assessment of UML design using Time Petri Net bound techniques", IEEE Transaction on Industrial Informatics, vol. 7(no. 1), pp. 90-104, Feb.2011.
  10. S. Bernardi, J. Campos, "Computation of Performance Bounds for Real-time systems using Time Petri Nets" IEEE Transactions on Industrial Informatics, vol.5(2), pages 168-180, May 2009.
  11. S. Bernardi, J. Merseguer, "Performance evaluation of UML design with Stochastic Well-formed Nets", Journal of Systems and Software, vol.80 (11): 1843-1865, November 2007.doi:10.1016/j.jss.2007.02.029
  12. S. Bernardi, J. Merseguer, "QoS Assessment via Stochastic Analysis", IEEE Internet Computing 10(3): 32-42 (2006)
  13. S. Bernardi, A. Bobbio, S. Donatelli, "Petri Nets and Dependability", Lectures on Concurrency and Petri Nets: Advances in Petri Nets, in J. Desel, W. Reisig, and G. Rozenberg, eds., vol. 3098 of LNCS, pages 125-179, Springer, June 2004
  14. S. Bernardi, S. Donatelli, A. Horvàth, "Special section on the pratical use of high-level Petri Nets: Implementing Compositionality for Stochastic Petri Nets", Journal of Software Tools for Technology Transfer, 3(4):417-430, September 2001.

Int.l Conference & workshop papers

  1. D. Ardagna, S. Bernardi, E. Gianniti, S. Karimian-Aliabadi, D. Pérez-Palacín, J.I. Requeno, "Modeling Performance of Hadoop Applications: A Journey from Queueing Networks to Stochastic Well Formed Nets", Proceedings ot the 16th International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP 2016), 14-16th December, 2016, Granada (Spain).
  2. U. Gentile, S. Bernardi, S. Marrone, J. Merseguer, V. Vittorini, "A Model Driven Approach for Assessing Survivability Requirements of Critical Infrastructures", Proc. of the International Conference on Data Compression, Communication, Processing and Security (CCPS2016), Salerno, Italy, 22-23 September, 2016.
  3. S. Bernardi, J.I. Requeno, C. Joubert, A. Romeu, "A Systematic Approach for Performance Evaluation using Process Mining: the POSIDONIA Operations Case Study", Proc. of the 2nd International Workshop on Quality-Aware DevOps (QUDOS), 18th-22nd July, 2016, Saarbrücken (Germany), ACM, pp. 24-29.
  4. S. Bernardi, L. Dranca. J. Merseguer, "Modelling and Verification of Survivability Requirements for Critical Systems", In Proc. of SEFM2014 Collocated Workshops,  Canal C. and Idani, A. eds., LNCS vol. 8938, Springer Verlag, pp. 86-100, 2015.
  5. S. Bernardi, J. Albareda, J.M. Colom, C. Mahulea, "A model-based approach for the specification and verification of clinical guidelines", Workshop on models and methods for hospital management and planning, within the 19th IEEE International Conference on Emerging Technologies and Factory Automation, pp.1-8, 16-19 Sept. 2014. Doi: 10.1109/ETFA.2014.7005058
  6. S.Bernardi, "A meta-model based approach to the definition of the analysis results of Petri Net models", International Workshop on Research and Use of Multi-formalisms Modeling Methods (WRUMM12), 17th September 2012, London (UK).
  7. S. Bernardi, F. Flammini, S. Marrone, J. Merseguer, C. Papa, V. Vittorini, "Model-driven availability evaluation of railway control systems", 30th International Conference on Computer Safety, Reliability and Security (Safecomp'11), September 19-21, 2011, Napoli (Italy).
  8. S. Bernardi, J. Merseguer, R.R. Lutz, "Reliability and availability requirements engineering within the Unified Process using a Dependability Analysis and Modeling profile", Eighth European Dependable Computing Conference (EDCC'10), April 28-30, 2010, Valencia (Spain).
  9. R.Rodríguez, J. Merseguer, S.Bernardi, "Modelling and Analysis Resilience as a Security Issue within UML", Second International Workshop on Software Engineering for Resilient Systems (SERENE10), 13-16th April 2010, London (UK).
  10. D. Pérez-Palacín, J. Merseguer, S.Bernardi, "Performance aware open-world software in a 3-layer architecture", First Joint WOSP/SIPEW Int. Conference on Performance Engineering (WOSP/SIPEW'10), pp. 49-56, January 28-30, 2010, San José, California (USA).
  11. L. Berardinelli, S.Bernardi, V. Cortellessa, J. Merseguer, "UML profiles for non-functional properties at work: analyzing reliability, availability and performance", Second International Workshop on Non-Functional System Properties in Domain Specific Modeling Languages (NFPinDSML), held within MODELS09, 4th October 2009, Denver (Colorado, USA).
  12. E. Pacini Naumovich, S.Bernardi, "Integrating TPNs and performance bound techniques in ITPN-PerfBound: a new import functionality", 6th Int. Conference on Quantitative Evaluation of SysTems (QEST'09), 14-16 September, 2009, Budapest (Hungary).
  13. E. Pacini Naumovich, S.Bernardi, M. Gribaudo, "ITPN-PerfBound: A performance bound tool for Interval Time Petri Nets", In Proc. of 15th Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'09), S.Kowaleswski and A. Philippou eds., LNCS 5505,pp.50-53, 2009.
  14. S.Bernardi, J. Merseguer, D.C. Petriu, "Adding Dependability Analysis capabilities to the MARTE profile", In Proc. of 11th International Conference on Model Driven Engineering Languages and Systems (MoDELS), vol. 5301 of LNCS, pages 736-750, Toulouse (France), Sept-Oct, 2008, Springer.
  15. S.Bernardi, J. Merseguer, "A UML Profile for Dependability Analysis of Real Time Embedded Systems", In ACM Proc. of the 6th International Workshop on Software and Performance (WOSP07), Buenos Aires (Argentina), February, 2007, pp. 115-124
  16. S. Bernardi, S. Donatelli, G. Dondossola, "A class diagram framework for collecting dependability requirements in automation systems", In Proc. of the 1st International Symposium on Leveraging Applications of Formal Methods (ISOLA'04), Paphos (Cyprus), October 30 - November 2, 2004.
  17. S. Bernardi, D.C. Petriu, "Comparing two UML Profiles for Non-functional Requirement Annotations: the SPT and QoS Profiles", International Workshop on Specification and Validation of UML models for Real Time and Embedded Systems (SVERTS), held in conjunction with the 7th International Conference on the Unified Modeling Language (UML'04), Lisbon (Portugal), October 11, 2004. Available on-line
  18. S. Bernardi, J. Campos, "On Performance Bounds for Interval Time Petri Nets", In IEEE Proc. of the 1st International Conference on Quantitative Evaluation of Systems (QEST'04), pages 50-59, Enschede (The Netherlands), September 27-30, 2004.
  19. S. Bernardi, S. Donatelli, G. Dondossola, "Towards a methodological Approach to Specification and Analysis of Dependable Automation Systems", In Proc. of the 1st International Joint Conference on Formal Modelling and Analysis of Timed Systems (FORMATS) and on Formal Techniques in Real-Time and Fault Tolerant System (FTRTFT), Grenoble (France), September 22-24, 2004, LNCS, vol. 3253, pp. 36-51, Y. Lakhnech and S. Yovine Eds. Springer Verlag.
  20. S. Bernardi, S. Donatelli, "Stochastic Petri Nets and inheritance for dependability modelling", In IEEE Proc. of the 10th Pacific Rim International Symposium on Dependable Computing (PRDC04), pages 363-372, Papeete, Tahiti (French Polynesia) March, 2004.
  21. S. Bernardi, S. Donatelli, "Building Petri net scenarios for dependable automation systems", In IEEE Proc. of the 10th Int. Workshop on Petri Nets and Performance Models (PNPM2003), pages 72-81, Urbana-Champain, Illinois (USA) September, 2003.
  22.  J. Merseguer, S. Bernardi, J. Campos,  S. Donatelli, "A compositional semantics for UML State Machines aimed at performance evaluation", Silva M., Giua A. and Colom J.M. editors, In EEEE Proc. of the 6th Int. Workshop on Discrete Event Systems (WODES02), pages 295-302, Zaragoza (Spain), October 2002.
  23. S. Bernardi, S. Donatelli,  J. Merseguer, "From UML Sequence Diagrams and StateCharts to analysable Petri Net models", In ACM Proc. of the 3rd Int. Workshop on Software and Performance (WOSP02), pages 35-45, Rome (Italy), July 2002.
  24.  P. Ballarini, S. Bernardi, S. Donatelli, "Validation and evaluation of a software solution for fault tolerant distributed synchronization", In IEEE Proc. of the International Conference on Dependable Systems and Networks (DSN02), pages 773-782, Washington D.C. (USA) June 2002.
  25. S. Bernardi, G. Balbo, "Concurrent Generalized Petri Nets: Regenerative Conditions", In IEEE Proc. of the 9th Int. Workshop on Petri Nets and Performance Models, pages 125-134, Aachen (Germany), Sept. 2001, German, R. and Haverkort, B. eds.
  26. S. Bernardi, S. Donatelli, "Performance Validation of Fault-Tolerance Software: A Compositional Approach", In IEEE Proc. Int. Conf. on Dependable Systems and Networks (DSN01), pages 379-388, Göteborg (Sweden), July  2001.
  27. S. Bernardi, S. Donatelli, A. Horvàth, "Compositionality in the GreatSPN tool and its application to the modelling of industrial applications", In Proc. of Workshop on the practical use of High Level Petri Nets (within 21st ICATPN'00), Aarhus (Denmark), June 2000.

National Conference papers

  1. R. Piracés-Alastuey, S. Bernardi, R. Trillo-Lado, "Minería de procesos para la mejora de la seguridad de sistemas de información Web", IV Congreso Nacional de I+D en Defensa y Seguridad, San Javier (Murcia), España, 2016.
  2. R.J. Rodríguez, J. Merseguer, S. Bernardi, "Modelling Security of Critical Infrastructures: A Survivability Assessment", Actas de la II Jornadas Nacionales de Investigación en Ciberseguridad, Granada, España, 2016, pp.1-2.
  3. A. Barreras Peral, S. Bernardi, L. Dranca, P.A. López Castelló, A.M. Oller Marcén, F.J. Umpiérrez Rodríguez, M.P. Velasco Cebrián, R. Vigara Benito, “Aplicación de un Enfoque Sistemático para el Estudio y Categorización de Comandos de Bandas Terroristas”, III Congreso Nacional de I+D en Defensa y Seguridad, Marín, España, 2015.
  4. M.P. Velasco, S. Bernardi, L. Dranca, P.A. López, A. Oller, A. Sánchez, F.J. Umpiérrez, R. Vígara, "Estudio de la aplicabilidad de técnicas de minería de datos para el apoyo a la toma de decisiones en la lucha antiterrorista", II Congreso Nacional de I+D en Defensa y Seguridad, Zaragoza, España, 2014.
  5. S. Bernardi, L. Dranca and J. Merseguer, "Un enfoque guiado por el modelado para la obtención y análisis de requisitos de supervivencia de C2IS", I Congreso Nacional de I+D en Defensa y Seguridad, Madrid, España, 2013.
  6. S. Bernardi and J. Campos, "A min-max problem for the computation of the cycle time lower bound in interval-based Time Petri Nets," in Actas de las XXI Jornadas de Concurrencia y Sistemas Distribuidos, San Sebastián, España, 2013.

Software Tools

ITPNPerf-Bound: A tool for the modelling and performance analysis of Interval Time Petri Nets

MASDES: A toolset for the modelling and verification of survivability requirements.

DICE Simulation: A tool for the modelling and performance analysis of data-intensive applications.


Visual Paradigm Academic Partner Program provides University of Zaragoza with the use of VP for educational purpose.

 

PRÓXIMOS EVENTOS

30 SEP
 
La Noche de los Investigadores Zaragoza 2016
 
14 SEP
 
Apertura del curso 2016-2017 en la Academia General Militar y el Centro Universitario de la Defensa
 
12 SEP
 
Inicio del Curso Avanzado de Ciberdefensa
 
30 SEP
 
La Noche de los Investigadores Zaragoza 2016
 
26-30 SEP
 
XXIV Curso Internacional de Defensa "Migraciones en el siglo XXI. Riesgos y oportunidades"
 
21 SEP
 
Seminario de investigacion "K-vector and its applications"