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.

The RCL group welcomes a new researcher! PDF Print E-mail
Friday, 23 September 2016 15:01

The RCL group is very glad to welcome Dr. Mohamad Gharib, a new post-doctoral researcher!

He comes from Syria, where he received the Bachelor's degree in Informatics Engineering, and the Master's degree in Computer Science , AABFS – CIS from the Universities of Aleppo and Damascus, respectively. Mohamad has been in Trento (Italy) for several years, as a Ph.D student and then as Postdoc researcher at the DISI (Department of Information Engineering and Computer Science), Università degli studi di Trento.


WDES 2016 PDF Print E-mail
Sunday, 26 June 2016 01:23

RCL is involved in the organization of the Workshop on Dependability in Evolving Systems (WDES 2016), co-located with the Latin American Dependable Computing Conference (LADC 2016). The workshop will take place in October 19-21, 2016 in Cali, Colombia.

Submissions are open!

Further information and instructions on how to submit your paper can be found on the WDES 2016 and LADC 2016 websites.

WDES 2016

RCL hosted the 5th IRENE F2F meeting PDF Print E-mail
Wednesday, 04 May 2016 08:56

RCL hosted the 5th face-to-face meeting of the project IRENE (now at month 19/30), which involved attendees from all the partners of the consortium. In particular, the meeting was directed to discuss the novel architectures and the modeling tool that are being developed within WP3 and WP4 of the project.

During the meeting, RCL promoted the discussion about the integration of the tools that are being developed in the context of the project (modeling, threat analysis, load prediction), aiming to find the best way to connect them. In addition, a presentation about model-based evaluation of the IRENE methods and framework was shown, to support and complement the analysis including evaluations related to dependability and security assessment. These evaluations will be conducted using techniques such as extensions of SAN (Stochastic Activity Networks).

For some of the participants this was the first time in Firenze. Consequently the session of the 26th April ended in a dinner in one of the most famous restaurants of the city centre. Moreover, a brief Firenze-by-night tour was performed before coming back to the hotels.

Meeting Attendees

DEVASSES/CECRIS Joint Seminars and Prof. Henrique Madeira visit PDF Print E-mail
Thursday, 14 April 2016 00:00

Very enjoyable international collaboration is happening in these days at RCL!

Today we had a seminar joining together people with both the DEVASSES and the CECRIS projects. Beáta Hergovics and Máté Tóth are testing engineers from Prolan in Budapest, Hungary, and are currently visiting RCL for a short period to work on the CECRIS project.

Lucas Leal is a Master's student at the Universidade Estadual de Campinas, in Brazil, and he will stay in Florence for a three-months secondment to work in the DEVASSES project. During his secondment he will work on "Model-Based Online Testing for Dynamic SOA"; this seminar was the opportunity to present the initial idea and discuss the topic with the other researchers.

Prof. Henrique Madeira, from the University of Coimbra in Portugal was also attending the workshop. In this period Prof. Madeira is visiting University of Florence, where he is also holding a set of seminars on "Design of experiments for resilience assessment and benchmarking". The goal is to use real data from concrete resilience/dependability assessment experiments, particularly raw data from fault injection experiments, to provide a comprehensive set of examples on how to design and perform correct experiments. The course is covering basic concepts on fault injection for dependability and resilience assessment, steps of designing an experiment, how to perform correct measurements, and hypothesis testing.

<< Start < Prev 1 2 Next > End >>

Page 1 of 2

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web