Evento conclusivo del progetto "Secure!" PDF Print E-mail
SECURE!

Evento conclusivo del progetto "Secure!"
Lo scorso 7 Maggio si è tenuto presso il CNR di Pisa l'evento conclusivo del progetto Secure!, dove sono stati presentati i principali risultati conseguiti nel progetto, assieme a demo dei principali prototipi.
Le slide presentate all'evento sono disponibili qui sotto in forma di webinar. Una versione in pdf della locandina dell'evento e dell'agenda finale può essere scaricata qui.

Final event of the "Secure!" project
On May 7th the Secure! conclusive event was held at CNR Pisa, where final results of the project were shown to a large audience togheter with demo of main prototypes.
The slides presented at the event are available below (Italian only). The leaaflet of the event, including the final agenda, can be downloaded here.

 
CECRIS: CErtification of CRItical Systems PDF Print E-mail
CECRIS

rsz cecris logo blue

Involvment type: participant
Project website: http://www.cecris-project.eu/
Start date: 01-01-2013
End date: 31-12-2016

The project aims at taking a step forward in the growing field of development, verification and validation and certification of critical systems.

The project focuses on the more difficult/important points of (safety, efficiency, business, .) of critical system development, verification and validation and certification process. The scientific objectives of the project are study both the scientific and industrial state of the art methodologies for system development and the impact of their usage on the verification and validation and certification of critical systems. Moreover the project aims at developing strategies and techniques supported by automatic or semi-automatic tools and methods for these type of activities, whose cost-quality achievements are well-predictable in order to tie costs of application of techniques to the RAMS attributes level achieved by the product being tested. The project will draw-up guidelines to support engineers during the planning of the verification & validation phases.

 

Read more...
 
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 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 E. Mancini. "Investigazione sugli indicatori di una GPU per la rilevazione di attacchi verso agenti addestrati". Corso di Laurea in Informatica, Università degli Studi di Firenze. Supervisor: A. Ceccarelli. 2020.. 2020. . [More] 
  • 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] 
 
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 cheapest way to arrive at the Deparment is to take the tram line. It requires to take Line T2 at the Airport until the stop ALAMANNI STAZIONE (train station Firenze S.M.N.) and then Line T1 from ALAMANNI STAZIONE until MORGAGNI-UNIVERSITA'; the department is approximately 200 meters from the stop. The whole trip lasts approximately 40-50 minutes and will cost a ticket of about 1.80 Euros (remember to stamp the ticket once onboard). 

    The quickest way to the Department, instead, is by taxi: it should take approximately 10-15 minutes if the traffic is good.

  • 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, you can take the Tramway line T1 (direction: Careggi-Ospedale) and get off at the tram stop "Morgagni-Università". Another option is to take a train to Firenze Rifredi (see below).

  • 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 tram

The tram line going to the department is T1, direction: "Careggi-Ospedale" (Careggi Hospital); the tram stop to get off is "Morgagni-Università" . the T1 tram line 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.

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

Page 7 of 16

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web