Welcome to the Resilient Computing Lab (RCL)

RCL is a research group of the Department of Mathematics and Informatics (DiMaI, "Dipartimento di Matermatica e Informatica") of the University of Florence. RCL research activities focus mainly in research and experimentation of dependable architectures and systems. RCL is currently involved in research spanning the following areas:

  • Architectures and techniques for resilient systems and infrastructures;
  • Quantitative dependability and QoS evaluation.

Details on where we are, who we are, and our projects are available on this website.
For further information, please contact prof. Andrea Bondavalli.

CECRIS Project: Book Available! PDF Print E-mail
Friday, 15 September 2017 13:19

The book originating from the CECRIS project is now available!

The book is published in open access form by RiverPublisher, meaning that it is freely available for download.

 

 

 River L05SdJwGHa17nhQH7YR1Publishers Series in Information Science and Technology  

 Certifications of Critical Systems - The CECRIS Experience

 Editors:
 Andrea Bondavalli, Consorzio Interuniversitario Nazionale per l'Informatica (CINI), and University of Florence, Italy
 Francesco Brancati, ResilTech Srl, Italy

 ISBN: 9788793519565

 doi: 10.13052/rp-9788793519558

 Price : € 85.00

 Available:  September 2017

 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 (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. 

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.

 
RCL at ARES Conference PDF Print E-mail
Tuesday, 05 September 2017 14:46

ARES 2017A deputation of RCL team participated in the 12th edition of ARES, the International Conference on Availability, Reliability and Security, held from August 29 to September 1st, 2017 at the Università degli Studi Mediterranea di Reggio Calabria, Reggio Calabria, Italy. ARES  aims at a full and detailed discussion of the research issues of security as an integrative concept that covers amongst others availability, safety, confidentiality, integrity, maintainability and security in the different fields of applications.

Andrea Bondavalli gave a keynote Enrico @ ARES 2017on "Anomaly Detection for Complex Dynamic Systems" at the 12th edition of FARES, the International Workshop on Frontiers in Availability, Reliability and Security, held in conjunction with ARES.

Enrico Schiavone presented the paper entitled "Continuous Biometric Verification for Non-Repudiation of Remote Services" which has been accepted as full paper for publication. The acceptance rate of full papers at ARES 2017 was 24,21%.

 
Prof. Bondavalli is now Chair of the Council of Computer Science Degree Courses PDF Print E-mail
Wednesday, 07 June 2017 15:36

On May 19th 2017, the Rector of the University of Florence nominated Professor Andrea Bondavalli Chair of the Single Council of the Bachelor's and Master's Degree courses in Computer Science. He will be the chairperson for the 2016-2020 academic period.

 
Brain Drain Hits RCL: Good Luck Leo! PDF Print E-mail
Friday, 26 May 2017 09:18

The RCL group is proud to announce that Dr. Leonardo Montecchi is going to become an Assistant Professor at the University of Campinas, Brazil. Leo successfully participated in a public examination some months ago, and now is time for him to reach UNICAMP and begin his new adventure.

We are going to miss him, as well as the entire Chianti area, where the media have already released that to the public.

Good luck Leo!

chiantisette   chiantisette2

 

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web