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.

Best Research Paper Candidate PDF Print E-mail
Friday, 16 October 2020 12:44

 

Paper "On failures of RGB cameras and their effects in autonomous driving applications" from
Francesco Secci and Andrea Ceccarelli was shortlisted as Best Research Paper Candidate at ISSRE 2020 (31st International Symposium on Software Reliability Engineering)! Check the paper and the tool (also on github)! 

You can see the list of Best Research paper Candidates and all papers accepted at ISSRE 2020 at http://2020.issre.net/research-accepted-papers#best_papers
 

 
Call for Papers- Special Issue on Resilient Cyber-Physical Systems PDF Print E-mail
Wednesday, 09 September 2020 12:02

Resilient CPS_horizontal_light_banner













Message from the Guest Editors

This Special Issue “Resilient Cyber-Physical Systems” aims to discuss innovative methodologies and techniques for improving resilience in the broad spectrum of cyber physical systems, presenting new research advances as well as their application in relevant case studies, especially welcoming industrial applications. New ideas proposing disruptive approaches are also welcome. Topics of interest include, but are not limited to, the following areas:

  • Design and assessment methodologies, techniques, and tools for secure and dependable cyber-physical systems
  • Modelling and experimenting with resilient cyber-physical systems
  • Threat and hazard assessment and mitigation
  • Artificial Intelligence solutions for cyber-physical resiliency
  • Model-Driven Engineering for resilient cyberphysical systems
  • Validation and certification issues in cyber-physical systems
  • Industrial applications and case studies

 

 
Brain Drain... Again! PDF Print E-mail
Thursday, 06 February 2020 00:00

After more than one month of Secondment, Leonardo is ready to come back to Brasil. It is alway a pleasure for us to have our Monteci here in Florence, and happy to see how well is he doing in Campinas - Sao Paulo!

WhatsApp Image_2020-02-11_at_13.22.39

 

Very nice achievements for the ADVANCE project!

WhatsApp Image_2020-02-11_at_13.22.33

 
RCL Welcomes a New PhD Student PDF Print E-mail
Tuesday, 17 December 2019 13:39

A new PhD Student, Atif Muhammad, has joined the RCL group!

He introduced himself with a dissertation entitled "Machine Learning Applications in Data Mining and Image Processing". Good Luck Atif!

20191216 152316

 
RCL at ADVANCE Meeting / LADC Conference PDF Print E-mail
Thursday, 28 November 2019 00:00

RCL people have joined the ADVANCE crew in Natal for a project meeting. This was a great opportunity to take part to the LADC conference, which this yeas was colocated with the SBESC meetup.

20191121 084737      20191121 180452

Many activities were presented and carried on. Noticeably, RCL won two "best paper" awards:

  • best research paper, presented by Andrea, and
  • best experience report, which was presented by Duccio

Time to celebrate!

IMG-20191118-WA0006

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

Page 1 of 4

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web