CHESS training material is now available! PDF Print E-mail
CHESS

The official training and demo material for the CHESS methodology and toolset is now available!

The CHESS project has developed a first set of prototypes of the tools, which are being evaluated by the industrial user partners in the project. Video demonstrations of the prototype tools are available.

Moreover, a training curriculum have been developed, to allow embedded systems developers to become familiar with the CHESS tools and methodology. The training videos, which include both slides and narration from CHESS experts, are now public and available for download as well!

 
Past Theses PDF Print E-mail
Theses

Ph.D. Theses

  • 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] 
  • PhD Thesis A. Ceccarelli. "Analysis of Critical Systems Through Rigorous, Reproducible and Comparable Experimental Assessment". Ph.D. thesis. Università degli Studi di Firenze. Dottorato in Ingegneria Informatica e dell'Automazione (XXIV Ciclo). May 9th, 2012. Supervisor(s): A. Bondavalli. [More] 

Master's Theses

  • 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] 
  • Master's Thesis R. Bernini. "Integrazione di Formalismi Stocastici per L'Analisi e L'Ottimizzazione di Processi Industriali". Master's thesis. Università degli Studi di Firenze. Corso di Laurea Magistrale in Scienze e Tecnologie dell'Informazione. April 17th, 2015. Supervisor(s): A. Bondavalli, Co-Supervisor(s): P. Lollini. [More] 
  • Master's Thesis T. Zoppi. "Metodologia, Ambiente di Test e Analisi dei Dati per lo Studio di Indicatori Middleware e di Sistema Finalizzata alla Rilevazione di Anomalie". Master's thesis. Università degli Studi di Firenze. Corso di Laurea Magistrale in Scienze e Tecnologie dell'Informazione. July 18th, 2014. Supervisor(s): A. Bondavalli, Co-Supervisor(s): A. Ceccarelli. [More] 
  • Master's Thesis M. Casciaro. "Modellizzazione ed Analisi di Security in un Sistema Automatico di Protezione Cantiere". Master's thesis. Università degli Studi di Firenze, Corso di Laurea Magistrale in Informatica. February 22th, 2013. Supervisor(s): A. Bondavalli, Co-Supervisor(s): P. Lollini. [More] 
  • Master's Thesis L. Montecchi. "Un Modello Intermedio di Dependability Integrabile in un Processo di Model-Driven Engineering". Master's thesis. Università degli Studi di Firenze. Corso di Laurea in Scienze e Tecnologie dell'Informazione. October 27th, 2010. Supervisor(s): A. Bondavalli, Co-Supervisor(s): P. Lollini. [More] 

Bachelor's Theses

  • Other A. Baldecchi. "Software FMEA: tecniche, tools di supporto e sviluppi recenti". April 20th, 2016. Università degli Studi di Firenze. Corso di Laurea in Informatica. April 20th, 2016. Supervisor(s): P. Lollini, Co-Supervisor(s): L. Montecchi. [More] 
  • Other M. Buracchi. "Progettazione ed Implementazione di un Master Clock Sicuro ed Affidabile per Cyberphysical Systems of Systems". 2015. Università degli Studi di Firenze. Corso di Laurea in Informatica. October, 9th 2015. Supervisor(s): A. Bondavalli, Co-Supervisor(s): A. Ceccarelli. [More] 
  • Other D. Zampini. "Sperimentazione dell'utilizzo di strumenti per la rilevazione online di anomalie in sistemi e infrastrutture critiche". 2011. Università degli Studi di Firenze. Corso di Laurea in Informatica. December 21th, 2009. Supervisor(s): A. Bondavalli, Co-Supervisor(s): F. Brancati, A. Ceccarelli. [More] 
  • Other F. Gogaj. "Progettazione ed implementazione di un algoritmo per il calcolo dell'incertezza di sincronizzazione e sua integrazione in un prototipo di R&SACLOCK". Bachelor's thesis. Università degli Studi di Firenze. Corso di Laurea in Informatica. December 21th, 2009. Supervisor(s): A. Bondavalli, Co-Supervisor(s): F. Brancati, A. Ceccarelli. [More] 
  • Other L. Montecchi. "Analisi e valutazione di reti UMTS". Bachelor's thesis. Università degli Studi di Firenze. Corso di Laurea in Informatica. April 27th, 2007. Supervisor(s): A. Bondavalli, Co-Supervisor(s): P. Lollini. [More] 
 
People PDF Print E-mail

The RCL group is composed by several members; more details are available here.

alt              The head of the RCL group is Prof. Andrea Bondavalli,

                                               Full Professor at University of Florence. 

 
How To Reach RCL PDF Print E-mail
Logistics

By plane

You can land in the following airports:
  • Florence airport "Amerigo Vespucci"

    Florence airport is at Peretola, approximately 5 km West of Florence.
    Direct flights (international, no charters) operate from: Amsterdam, Barcelona, Brussels, London Gatwick, Lugano, Munich, Nice, Paris CDG and Vienna.

    When you arrive at the airport, the easiest way to arrive at the deparment is to take a taxi. It should take approximately 10 minutes.

    There is also a shuttle going from the airport to the Florence main train station "Firenze Santa Maria Novella". The name of the shuttle is "Vola in Bus"; details and timetables.
    From the "Firenze Santa Maria Novella" main train station to the department, see below (section "By train").

  • Pisa airport "Galileo Galilei"

    Pisa airport is about 80 km West of Florence.
    Direct flights (international) from: Barcelona, London Gatwick, Munich, Paris.
    Charter flights: London Gatwick, Manchester, Paris Orly.

    Very close to the Terminal, you can find the Pisa Fermata Aeroporto station, take the the People Mover service and reach the Pisa Centrale railway station. Direct trains start from "Pisa Centrale" train station to Florence main train station "Firenze Santa Maria Novella" every hour, approximately (journey time of about 1 hour).

    Almost all trains from Pisa to "Firenze Santa Maria Novella" stop at "Firenze Rifredi" station: from there, see below (section "By train"). Trenitalia website.

  • Rome inter-continental airport "Fiumicino"

    Rome inter-continental Fiumicino airport, served by all major airlines with flights from all over the world, is connected with a non-stop train every hour to the main Rome railway station (Termini), which is reached in half an hour.
    More often than every hour a high speed train leaves Rome Termini to Florence Santa Maria Novella, which is reached in about 100 minutes. Most of these trains require to be reserved in advance. Please visit the Trenitalia website for connections and information.

By train

You can stop at the following train stations:
  • Firenze Santa Maria Novella, the main train station.

    Firenze Santa Maria Novella, which is in the city centre, is connected to the major Italian North-South train route.
    High speed trains running between Milan and Rome stop in Firenze Santa Maria Novella. Eurocity and night trains connect directly Florence to several European cities (Paris, Geneve, Zurich, Wien, Munich,...).

    If you stop at Firenze Santa Maria Novella, take bus n. 14B or 14C (direction: "Tolentino" or "Careggi" respectively). The bus stop to get off is Ospedale di Careggi (Careggi Hospital).

  • Firenze Rifredi, a secondary Florence train station, the closest to our department.

    All trains from/to Pisa stop in Firenze Rifredi.

    The departement is reachable in 10 minutes by walking. From the station square take via Steccuto, turn right at the first crossing (via R. Giuliani), then, at a petrol station, turn left to via S. Stefano in Pane. At the second traffic light of via S. Stefano in Pane you will meet viale Morgagni, turn left for the department.

Please visit the Trenitalia website for connections and information.

By bus

The bus lines going to the department are "14B" or "14C" (direction: "Tolentino" or "Careggi" respectively); the bus stop to get off is Ospedale di Careggi (Careggi Hospital). Both "14B" or "14C" stop at the Florence main train station.

By car

The "Autostrada Del Sole" Highway (A1, E35) connects Florence both with southern and northern Italy. We suggest the exit "Firenze Nord" and then follow the instructions to reach the "Careggi" hospital (the department is quite close to the main entrance of the Careggi hospital).

Please visit the Autostrade per l'Italia website for routes and rates.

 
New Project for RCL Group PDF Print E-mail
Announcements

Today is the first day of the project with RFI - Rete Ferroviaria Italiana - which explores Safe Architectures for SIL4 Railway Systems. This three-year project will see a cooperation between RCL group and the R&D department of RFI, which is managing the railway network in Italy. Main targets of the project will be:

- Definition of architectures for two future SIL4 systems: PMF, which will work onboard of the train, and SEC, which will be deployed inside stations.

- Devising coding rules for implementing SIL4 software in the railway domain, including coding rules, coding styles and quality metrics.

- V&V Plan, and definition of Safety Cases

- Preliminary Hazard Analyses

- Modeling activities for the early validation of the systems above both in terms of Safety and Security.

- Exploring mechanisms for fault-tolerance in the railway domain in accordance with standards such as ERTMS / SCMT (Italian)

- Safe Visualization of safety-critical information on commercial OTS devices (e.g., tablets)

- Implementation of the "Protocollo Vitale Standard" to allow safe communications among subsystems.

Overall, the aim of the project is to devise architectures and mechanisms for SIL4 systems, along with prototypes of specific subsystems.

Train-Transparent-Background

We also report the Italian name of the project, that is: "Progetto di Ricerca: Specificazione, analisi e valutazione di architetture per applicazioni safety-critical - Architetture Fail-Safe e Fault-Tolerant delle Piattaforme SEC e PMF con Dimostratori della Piattaforma IRM e del Protocollo PVS".

 
Prof. Davi Bibiano Brito Seminars PDF Print E-mail
DEVASSES

On March 30th and 31st, Prof. Davi Bibiano Brito had two seminars, entitled:

  • Automatic and Self Sustaining Precision Irrigation System
  • Projects for Excellence in Microelectronics - PEM

Davi is an assistant professor at Universidade Federal de Alagoas (UFAL), in Maceió, Brazil.

He is visiting the Resilient Computing Lab as part of the DEVASSES project, and will stay in Firenze for one month.

Davi Brito_seminar

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

Page 7 of 13

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web