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 and secure systems, infrastructures and systems of systems. RCL is currently involved in research spanning the following areas:

  • Design and experimentation of architectures and techniques for resilient, safety-critical and secure systems;
  • Quantitative evaluation of dependability, security and Quality of Service through analytical, simulative and experimental techniques;
  • Applications of Machine Learning Techniques (especially Anomaly Detection) in the domain of Critical Systems.

Details on where we are, who we are, and our projects are available on this website.

For further information, please contact prof. Andrea Bondavalli.

First RCL Secondments within the ADVANCE project PDF Print E-mail
Tuesday, 23 July 2019 00:00

First secondment of RCL researchers in Brazil within the ADVANCE project. Andrea arrived in Campinas - SP - to visit UNICAMP, and found some old friends which visited Florence in the past: Leonardo and Thais, which prepared her Master thesis in Florence in 2016 under the supervision of Leonardo Montecchi.

Always nice to enjoy local people and take advantage of Brazilian food and drinks!

WhatsApp Image_2019-07-14_at_23.53.12

 
... and comes back with a Prize! PDF Print E-mail
Wednesday, 29 May 2019 13:08

We are glad to present here our brand new Honoris Causa Doctor, awarded by the Technical and Scientific University of Budapest.

Well done Andrea!

IMG-20190525-WA0001       IMG-20190525-WA0003

 
RCL HEADs to Budapest for an important Achievement ... PDF Print E-mail
Thursday, 23 May 2019 19:12

On Saturday 25th, the head of the RCL group will be participating to an exclusive event in Budapest.

bondatravel

For sure Andrea will be honoured to join such a great ceremony... 

 
Farewell to "Brazilian" Researchers PDF Print E-mail
Tuesday, 12 February 2019 00:00

To celebrate the two visiting "Brazilians", RCL organized a social lunch with some delicious middle-east food thanks to the chef of the group!

WhatsApp Image_2019-02-11_at_18.13.55

This was the perfect time to celebrate the farewell of Leandro Dias da Silva (Universidade Federal do Alagoas - UFAL - Brazil) and Leonardo Montecchi, a former RCL member which now has a position at UNICAMP, the Universidade Estadual do Campinas, in Brazil.

We hope to see you again in Florence, it was a pleasure working with you!

 
RCL ADVANCEs in its research domain PDF Print E-mail
Monday, 12 November 2018 16:27

RCL joins the RISE2018 program with the ADVANCE - Addressing Verification and Validation Challenges in Future Cyber-Physical Systems - project, along with the other partners, namely

  • RCL: CINI, Italy
  • UNIVERSIDADE DE COIMBRA, Portugal
  • BUDAPESTI MUSZAKI ES GAZDASAGTUDOMANYI EGYETEM, Hungary
  • UNIVERSIDAD DE LOS ANDES FUNDACION, Colombia
  • RESILTECH SRL, Italy
  • UNIVERSIDADE ESTADUAL DE CAMPINAS, Brazil
  • INSTITUTO NACIONAL DE PESQUISAS ESPACIAIS, Brazil

The abstract of the project (H2020-MSCA-RISE-2018, number 823788) is as follows.

The scientific objective of the ADVANCE project is to conceive new approaches to support the Verification and Validation (V&V) of Cyber-Physical Systems (CPS). It will explore techniques, methods, and tools applicable to different phases of the system lifecycle, but always with the final objective of improving the effectiveness and efficacy of the V&V process. In particular, ADVANCE will focus on two main aspects of V&V: i) techniques to collect V&V evidences for a CPS (focusing on system modeling, testing, fault forecast, and systematic processes like FMEA), and ii) techniques to manage and analyze data of the system under analysis (focusing on data analysis, requirements management, traceability). The strategic objective of the project is to build an international network of collaborations on the topic of V&V of CPSs. Besides allowing the consortium to reach the project's scientific objectives, the established interactions would allow the training of students and professionals on the latest innovations in the V&V panorama, and have them work together towards a common goal. In fact, besides the technical challenges described above, an important factor hampering advancements in the V&V of CPSs is a worldwide lack of skilled professionals in V&V, software testing, and Information and Communication Technology (ICT) in general. One of the outputs of the project will be a set of training material, both in the form of slides and video courses, on the topic of Verification & Validation of Cyber-Physical Systems. These objectives will be pursued by joining together V&V experts having different specialization and different backgrounds, and establishing a targeted transfer of knowledge and collaboration program, using two real case studies as reference

The scientific objective of the ADVANCE project is to conceive new approaches to support the Verification and Validation
(V&V) of Cyber-Physical Systems (CPS). It will explore techniques, methods, and tools applicable to different phases of the
system lifecycle, but always with the final objective of improving the effectiveness and efficacy of the V&V process.
In particular, ADVANCE will focus on two main aspects of V&V: i) techniques to collect V&V evidences for a CPS (focusing
on system modeling, testing, fault forecast, and systematic processes like FMEA), and ii) techniques to manage and
analyze data of the system under analysis (focusing on data analysis, requirements management, traceability).
The strategic objective of the project is to build an international network of collaborations on the topic of V&V of CPSs.
Besides allowing the consortium to reach the project’s scientific objectives, the established interactions would allow the
training of students and professionals on the latest innovations in the V&V panorama, and have them work together towards
a common goal. In fact, besides the technical challenges described above, an important factor hampering advancements in
the V&V of CPSs is a worldwide lack of skilled professionals in V&V, software testing, and Information and Communication
Technology (ICT) in general. One of the outputs of the project will be a set of training material, both in the form of slides and
video courses, on the topic of Verification & Validation of Cyber-Physical Systems.
These objectives will be pursued by joining together V&V experts having different specialization and different backgrounds,
and establishing a targeted transfer of knowledge and collaboration program, using two real case studies as reference


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

Page 2 of 4

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web