In recent years, a considerable amount of effort has been devoted, both in industry and academia, to the development, validation and verification of critical systems, i.e. those systems whose malfunctions or failures reach a critical level both in terms of risks to human life as well as having a large economic impact.Certifications of Critical Systems - The CECRIS Experience documents the main insights on Cost Effective Verification and Validation processes that were gained during work in the European Research Project CECRIS (acronym for Certification of Critical Systems). The objective of the research was to tackle the challenges of certification by focusing on those aspects that turn out to be more difficult/important for current and future critical systems industry: the effective use of methodologies, processes and tools.The CECRIS project took a step forward in the growing field of development, verification and validation and certification of critical systems. It focused on the more difficult/important aspects of critical system development, verification and validation and certification process. Starting from both the scientific and industrial state of the art methodologies for system development and the impact of their usage on the verification and validation and certification of critical systems, the project aimed at developing strategies and techniques supported by automatic or semi-automatic tools and methods for these activities, setting guidelines to support engineers during the planning of the verification and validation phases.
Bondavalli, Andrea: - "Andrea Bondavalli is a Full Professor of Computer Science at the University of Firenze. Previously he has been a researcher and a senior researcher of the Italian National Research Council, working at the CNUCE Institute in Pisa. His research activity is focused on Dependability and Resilience of critical systems and infrastructures. In particular he has been working on safety, security, fault tolerance, evaluation of attributes such as reliability, availability and performability. His scientific activities have originated more than 220 papers appeared in international Journals and Conferences. Andrea Bondavalli supports as an expert the European Commission in the selection and evaluation of project proposals and regularly consults companies in the application field. Andrea Bondavalli led various national and European projects such as the Italian MIUR PRIN "DOTS-LCCI" and "TENACE" and the European projects ESPRIT BRA 3092 PDCS, 6362 PDCS-2, ESPRIT 20716 GUARDS, ESPRIT 27439 HIDE, IST-FP6-STREP26979 HIDENETS, TST5-CT-2006-031413 SAFEDMI e FP7 - 216295 CA AMBER, FP7 SST-2008-234088 ALARP, the ARTEMIS-2012-1333053 "CONCERTO", the POR CReO 2007-2013, linea di intervento 1.5.a - 1.6 "SECURE", the FP7-ICT-2013-10-610535 "AMADEOS" (coordinator), the FP7-PEOPLE-2012-IAPP-324334 "CECRIS" (Coordinator) and the PIRSES-GA-2013-612569 "DEVASSES". Andrea Bondavalli participates to (and has been chairing) the program committee in several International Conferences such as IEEE FTCS, IEEE SRDS, EDCC, IEEE HASE, IEEE ISORC, IEEE ISADS, IEEE DSN, SAFECOMP. He is the chair of the Steering Committees of IEEE SRDS and a member of the editorial board of the International Journal of Critical Computer-Based Systems. Andrea Bondavalli is a member of the IEEE, the IFIP W.G. 10.4 Working Group on "Dependable Computing and Fault-Tolerance"."
Brancati, Francesco: - "Francesco Brancati took his Master degree in Computer Science at the University of Firenze in 2008 and his Ph.D. degree in Computer Science at the Resilient Computing Lab - University of Firenze in 2012. His research activity mainly focused on adaptive and safe estimation of different sources of uncertainty to improve dependability of highly dynamic systems through online monitoring analysis. During his Ph.D. he participated in the national project DOTS-LCCI (Funded by MIUR) and in the European funded project FP7-STREP-234088 ALARP) where he was mainly involved within the Architecture Design WPs, and where he worked also as Resiltech on system integration activities. Currently he works at Resiltech as Innovation Manager and SW Solution Expert, he led ResilTech participation in AMADEOS (FP7-ICT-610535) and in the CECRIS (FP7-PEOPLE-IAPP324334) projects and he is leading the participation in the STORM project (H2020-DRS-2015-700191)."
