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.

Annuncio Posizione RTD-A PDF Print E-mail
Friday, 08 October 2021 15:09

Si annuncia che l'università degli Studi di Firenze ha bandito una posizione di ricercatore a tempo determinato di tipo A (RTD-A) nel settore INF/01 Informatica, D.M. 1062/2021 ­ "INNOVAZIONE", con scadenza ore 13:00 del 22 ottobre 2021.

Link al bando: https://www.unifi.it/p12102.html

Dipartimento di Matematica e Informatica "Ulisse Dini"

Titolo del progetto di ricerca: "SafeAI: Integrazione di Intelligenza Artificiale nei sistemi critici per la sicurezza"

Sintesi del progetto di ricerca:

Studio di soluzioni per una Intelligenza Artificiale (IA) sicura (safe), studiando e applicando un modello concettuale, una guida architetturale e una metodologia di progettazione e assessment. Il progetto si propone di i) analizzare sistemi basati su IA studiando le nuove superfici di guasto e attacco offerte da DNN (Deep Neural Network) e GPGPU (General Purpose GPU), ii) definire possibili contromisure sia interne, ovvero definendo meccanismi appropriati per proteggere la DNN e GPGPU da guasti e attacchi, sia a livello di sistema, ovvero garantendo che guasti o attacchi non si propaghino all’esterno del componente, iii) valutare sperimentalmente le soluzioni ottenute.

Responsabile scientifico: Paolo Lollini (per info sul progetto scrivere a This e-mail address is being protected from spambots. You need JavaScript enabled to view it ).

 
New project started! PDF Print E-mail
Thursday, 03 June 2021 14:46

Blocco loghi_PORCreO

 

space black

The POR-CREO FESR 2014-2020 SPaCe project recently started!

The Smart passenger Center project researches multimedial solutions to orchestrate surveillance and mobility services. It relies on Artificial Intelligence (AI) to equip operators and transportation authority with instruments for the management of the dynamics of passengers flow.

Within SPaCe, the Resilient Computing Lab will research solutions for the design and evaluation of dependable and secure systems that include intelligent components.

 
Invited Speaker at SBRC-WTF 2020 PDF Print E-mail
Tuesday, 08 December 2020 18:30

On 7th December, Andrea Ceccarelli was invited for a talk at the WORKSHOP DE TESTES E TOLERÂNCIA A FALHAS (WTF 2020) co-located with the Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC), where he presented the talk "On failures of RGB cameras and their effects in autonomous driving applications".

See the page of the workshop: http://sbrc2020.sbc.org.br/?page_id=1269 and the Workshop program: http://sbrc2020.sbc.org.br/?page_id=1925

We also have a video of the talk, which was created as backup in case of problems during the live presentation.

 
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 Next > End >>

Page 1 of 3

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web