Work on your Thesis with RCL! PDF Print E-mail

The RCL group continuously supports Bachelor, Master and PhD students for their Theses. In general, vast majority of our arguments refer to the field of critical systems i.e., systems whose failure may lead to damage, injuries or economic losses. Some possible research challenges that can be investigated during the Thesis, and contextualixed in their application domains, are reported below.

  • Safety of machine learning solutions. Machine learning is undeniably an enabling technology in several domains, for example it is at the foundation of autonomous driving. However, unproper (unsafe) behaviour of solutions based on machine learning may lead to dangerous consequences. Many Theses initiatives at the MSc, BSc, and PhD level can be identified in this direction, especially using the autonomous driving as a reference domain, and that may span from the definition of mitigation strategies of possible unsafe behaviours to the comparison of solutions or to their representation and assessment through simulators.
  • Identification of intrusions and failures through monitoring. Monitoring data streams allows detecting attacks as well as possible failures of software or hardware components. In particular, anomaly detection is a machine-learning solution that allows identifying deviations from the expected behaviour; for example, several research works and commercial tools exploit anomaly detection to identify cyber-attacks. Several ideas for possible research can be proposed to interested Students, from the implementation and assessment of algorithms, to their proper tuning and combination with the aim to improve detection scores.
  • Design, implementation and validation of standard-compliant systems. Critical systems are typically crafted following prescriptions written in standards. The aim of these standards is to enforce on the system specified properties as safety (e.g., ISO 61508 for electronic equipment) or security (e.g., ISA/IEC 62443 for industrial automation and control systems). Since long, there is a constant strive to identify and exercise methodologies, techniques and tools that can provide greater and greater evidence of compliance to the desired properties and at lowered costs. The RCL groups is regularly involved in projects and is in close contact with companies where the design, implementation and evaluation of components is done following such standards, and trying to improve the existing state of the art on methodologies and techniques. 
  • Modeling of Critical Systems --> (to arrive soon...)

As the list of topics is not exhaustive, and also new topics may emerge through time, the most effective way is to approach members of the RCL groups for updated information.

 
Past Theses PDF Print E-mail

Ph.D. Theses

  • PhD Thesis E. Schiavone. "Design and Evaluation of Multi-Biometric Approaches for Continuous Authentication and Non-Repudiation in Critical Services". Ph.D. thesis. 2019. [More] 
  • PhD Thesis T. Zoppi. "Towards Effective Anomaly Detection in Complex Dynamic Systems". Ph.D. thesis. Università degli Studi di Firenze. Dottorato in Matematica, Informatica, Statistica (XXX ciclo). 2018. Supervisors: Andrea Bondavalli, Andrea Ceccarelli. [More] 
  • PhD Thesis N. Nostro. "Model-Based Approaches To Dependability And Security Assessment in Critical and Dynamic Systems". Ph.D. thesis. Università degli Studi di Firenze. Dottorato in Informatica, Sistemi e Telecomunicazioni (XXVII ciclo). March 18th, 2015. Supervisors: Prof. Andrea Bondavalli, Dr. Felicita Di Giandomenico. [More] 
  • PhD Thesis L. Montecchi. "A Methodology and Framework for Model-Driven Dependability Analysis of Critical Embedded Systems and Directions Towards Systems of Systems". Ph.D. thesis. Università degli Studi di Firenze. Dottorato in Informatica, Sistemi e Telecomunicazioni (XXVI ciclo). March 25th, 2014. Supervisor(s): A. Bondavalli. [More] 
  • PhD Thesis F. Brancati. "Adaptive and Safe Estimation of Different Sources of Uncertainty to Improve Dependability of Highly Dynamic Systems Through Online Monitoring Analysis". Ph.D. thesis. Università degli Studi di Firenze. Dottorato in Informatica e Applicazioni (XXIV ciclo). May 14th, 2012. Supervisor(s): A. Bondavalli. [More] 

Master's Theses

  • Other F. Secci. "Modi di Fallimento delle telecamere RGB ed effetti nelle applicazioni di guida autonoma". Corso di Laurea in Informatica, Università degli Studi di Firenze. Supervisor: A. Ceccarelli. 2020. . [More] 
  • Master's Thesis G. Dallai. "Analisi di Azzardi per un Sistema di Interfaccia Mobile Remota per la Manutenzione delle Linee Ferroviarie". Master's thesis. 2019. Supervisors: Andrea Bondavalli, Tommaso Zoppi. [More] 
  • Master's Thesis L. Masini. "Analisi quantitativa di architetture safety critical per un sistema di controllo ferroviario". Master's thesis. 2019. Supervisors: Andrea Bondavalli, Tommaso Zoppi. [More] 
  • Master's Thesis D. Bertieri. "Sviluppo Di Un Protocollo Di Comunicazione Sicuro In Ambiente Ferroviario". Master's thesis. 2018. Supervisors: Tommaso Zoppi, Andrea Bondavalli. [More] 
  • Master's Thesis E. Schiavone. "Autenticazione Continua Biometrica: Definizione e Prototipazione di una Soluzione per la Protezione di Ambienti Desktop". Master's thesis. Università degli Studi di Firenze. Corso di Laurea Magistrale in Informatica. April 17th, 2015. Supervisor(s): A. Bondavalli, Co-Supervisor(s): A. Ceccarelli. [More] 

Bachelor's Theses

  • Other N. Piazzesi. "Attacchi verso sistemi di apprendimento in ambito autonomous driving: studio e implementazione in ambienti simulati". Corso di Laurea in Informatica, Università degli Studi di Firenze. Supervisor: A. Ceccarelli. 2020. . [More] 
  • Other N. D. Noce. "Osservazioni sperimentali sulla tipologia di anomalie e la loro manifestazione in dataset di attacchi". Corso di Laurea in Informatica, Università degli Studi di Firenze. Supervisor: Andrea Ceccarelli. 2020. . [More] 
  • Other F. Moncini. "UN EDITOR GRAFICO PER LA DEFINIZIONE DI MODELLI STOCHASTIC ACTIVITY NETWORKS TEMPLATES". Corso di Laurea in Informatica, Università degli Studi di Firenze. Supervisor: Paolo Lollini. Co-Supervisor: Leonardo Montecchi. 2020. . [More] 
  • Other F. Gori. "ARCHITETTURE A MICROSERVIZI: PROTOCOLLI DI COMUNICAZIONE DI BASE, MODELLO AD ATTORI ED ESPERIENZE DI SVILUPPO CON IL FRAMEWORK AKKA". Corso di Laurea in Informatica, Università degli Studi di Firenze. Supervisor(s): Paolo Lollini. 2020. . [More] 
  • Other A. Caia. "Anomaly Detection In Smart Grid: Confronto Di Algoritmi Unsupervised Per L’analisi Dei Consumi". Corso di Laurea in Informatica, Università degli Studi di Firenze. Supervisor(s): Tommaso Zoppi. 2020. . [More] 
 



Resilient Computing Lab, 2011

Joomla - Realizzazione siti web