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

  • Architectures and techniques for resilient systems and infrastructures;
  • Quantitative dependability and QoS evaluation.

Details on where we are, who we are, and our projects are available on this website.
For further information, please contact prof. Andrea Bondavalli.

Bando per Assegno di Ricerca PDF Print E-mail
Wednesday, 04 April 2018 00:00

-------------------------------------------------------------------------

AVVISO DI BANDO PER ASSEGNO DI RICERCA
-------------------------------------------------------------------------
BANDO PER N. 1 ASSEGNO DI RICERCA POR FSE 2014-2020
PROGRAMMA D’INTERVENTO UNIFI_FSE2017
PROGETTO TOOLS4SoS: Modelling methodologies and supporting tools for early validation and prototyping of cyber physical systems of systems

L'argomento di ricerca di TOOLS4SoS riguarda lo sviluppo di metodologie e strumenti a supporto della validazione e prototipazione di cyber physical systems of systems. Il progetto si pone come obiettivo principale quello di studiare metodologie di modellizzazione e di realizzare tools specifici per la progettazione e il supporto alle varie analisi di V&V secondo il paradigma del Model Driven Engineer.

Si tratta di un assegno di durata biennale, per un importo di Euro 54.000,00 (cinquantaquattromila), erogato in 24 (ventiquattro) rate mensili posticipate, al lordo degli oneri previdenziali, assistenziali e fiscali, compresi gli oneri a carico dell’Amministrazione.

Scadenza domande: 27 Aprile 2018.
Decorrenza assegno: a partire dal 1 Giugno 2018.

Ulteriori informazioni sul bando e sul progetto al presente link e tramite mail all'indirizzo This e-mail address is being protected from spambots. You need JavaScript enabled to view it

 
EDCC 2018 PDF Print E-mail
Tuesday, 30 January 2018 12:32

=========================================================

14th European Dependable Computing Conference (EDCC-2018)

=========================================================

10-14 September 2018
Iasi, Romania
---------------------------------------------------------

The European Dependable Computing Conference is a unique forum for researchers and practitioners to present and discuss their latest research results on theory, techniques, systems, and tools for the design, validation, operation and evaluation of dependable and secure computing systems. In addition to original papers on research, EDCC welcomes papers dedicated to dependability in practice: industrial applications, experience in introducing dependability in industry, use of new or mature dependability approaches to new challenging problems or domains, etc. It will also provide a natural meeting place for the large number of projects in dependability, to present their state of advancement and innovative results.

EDCC 2018 will feature several tracks, including invited speakers, full paper presentations, posters, a student forum and a set of cutting-edge workshops.

Authors of regular papers and experience reports accepted and presented at EDCC will be encouraged to submit an extended and modified version of their papers to a Special issue of the International Journal of Critical Computer-Based Systems, dedicated to System Dependability, with a short cycle, to appear early 2019.
Full details are on the EDCC-2018 website.

 

 
Last DEVASSES Secondments at UNIFI PDF Print E-mail
Wednesday, 20 December 2017 15:43

Within the last two months, two professors from Universidade Federal de Alagoas (UFAL, in Maceió, Brazil) joined RCL as part of the DEVASSES project. Prof. Leandro Dias da Silva and prof. Tiago Figuereido Vieira shared their work through the following seminars:

  • Leandro: 

    Formal methods for system specification 

    (October 23rd)
  • Tiago: Assessing Machine Learning Techniques for Vulnerability Prediction (November 23rd)
These talks allowed to start and build collaborative works with people at UNIFI.
20171023 153050
WhatsApp Image_2017-12-20_at_15.40.03
 

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web