Keynote at SRDS PDF Print E-mail
People

The chair of RCL Group, Andrea Bondavalli, just finished his Keynote speech at The 41st International Symposium on Reliable Distributed Systems (SRDS 2022)

Keynote Details

Title: Dependability Challenges in Safety-Critical Systems: the adoption of Machine learning

Abstract: Machine Learning components in safety-critical applications can perform some complex tasks that would be unfeasible otherwise. However, they are also a weak point concerning safety assurance. We will illustrate two specific cases where ML must be incorporated in SCS with much care. One is related to the interactions between machine-learning components and other non-ML components and how they evolve with training of the former. We argue that it is theoretically possible that learning by the Neural Network may reduce the effectiveness of error checkers or safety monitors, creating a major complication for safety assurance. An example on automated driving is shown. Among the results, we observed that indeed improving the Controller could make the Safety Monitor less effective; to a limit where a training increment makes the Controller's own behavior safer but results in the vehicle to be less safe. The other one regards ML algorithms that perform binary classification as error, intrusion or failure detectors. They can be used in SCS provided that their performance complies with SCS safety requirements. However, the performance analysis of MLs relies on metrics that were not developed with safety in mind and consequently may not provide meaningful evidence to decide whether to incorporate a ML into a SCS. We analyze the distribution of misclassifications and thus show how to better assess the adequacy of a given ML.

 
Past Theses (archives) PDF Print E-mail
Theses

Bachelor Theses

Master Theses

PhD Theses

 
New project started! PDF Print E-mail
Announcements

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.

 
Emulation of Camera Failure PDF Print E-mail
Tools

A python library that aims to simulate failures that may occur in a camera during the acquisition/processing phase.

To support the definition of safe and robust vehicle architectures and intelligent systems, we define the failures model of a vehicle camera, together with an analysis of effects and known mitigations. As a natural consequence, here we present a software library for the generation of the corresponding failed images. These images are then fed the trained agent of an autonomous driving simulator: the misbehavior of the trained agent allows a better understanding of failures effects and especially of the resulting safety risk. 

Some examples of the failures injected:

GoldenRun

Github is available at: https://github.com/francescosecci/Python_Image_Failures

More information:

  • Thesis of Francesco Secci, "On failures of RGB cameras and their effects in autonomous driving applications", Master Thesis at the University of Florence, Italy (in Italian only), July 2020. Supervisor: Andrea Ceccarelli (link to thesis page)
  • Paper: Francesco Secci, Andrea Ceccarelli, "On failures of RGB cameras and their effects in autonomous driving applications", in press -- to appear at the 31st International Symposium on Software Reliability Engineering (ISSRE 2020), available on arXiv

GoldenRun

NOISE

BLUR

Broken Lens

Brightness

Sharpness

Chromatic Aberration

ICE

DIRT

 
RCL visits INPE at Sao Josè dos Campos - SP PDF Print E-mail
Projects_1

Today is the day in which Maria Hafiza Maqsood, PhD student at the RCL group, ends her 1-month secondment at INPE (Instituto Nacional de Pesquisas Espacial) in the Sao Paulo State!

It was a very inspiring secondment within the ADVANCE project, as it allowed to establish connections between UNIFI and INPE researchers. Thanks Maria and thanks Fatima's group at INPE for hosting!

WhatsApp Image_2019-10-09_at_15.48.34

 
RCL receives brazilian researchers PDF Print E-mail
DEVASSES

Starting from the middle of November, the Resilient Computing Lab is hosting three brazilian students as part of the DEVASSES project. All of them are coming from Universidade Federal de Alagoas (UFAL), in Maceió, Alagoas, and are supervised by professor Baldoino Neto.

Anderson Santos is a graduate student working on Anomaly Detection Benchmarks, and he will stay in Firenze for six months. Caio Barbosa and Felipe Falcão are both undergraduate students visiting Firenze for three months: Caio is studying an Anomaly Detector Framework and Felipe is addressing the Classification of Anomaly Detection Algorithms.

2016.11.24

 
<< Start < Prev 1 2 3 4 5 6 7 8 9 10 Next > End >>

Page 8 of 17

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web