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, 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.

 
... and comes back with a Prize! PDF Print E-mail
Announcements

We are glad to present here our brand new Honoris Causa Doctor, awarded by the Technical and Scientific University of Budapest.

Well done Andrea!

IMG-20190525-WA0001       IMG-20190525-WA0003

 
Farewell to "Brazilian" Researchers PDF Print E-mail
People

To celebrate the two visiting "Brazilians", RCL organized a social lunch with some delicious middle-east food thanks to the chef of the group!

WhatsApp Image_2019-02-11_at_18.13.55

This was the perfect time to celebrate the farewell of Leandro Dias da Silva (Universidade Federal do Alagoas - UFAL - Brazil) and Leonardo Montecchi, a former RCL member which now has a position at UNICAMP, the Universidade Estadual do Campinas, in Brazil.

We hope to see you again in Florence, it was a pleasure working with you!

 
ADVANCE PDF Print E-mail
ADVANCE

Involvment type: coordinator

Project website: -

Project contract: H2020-MSCA-RISE-2018, number 823788

Start date: 01-01-2019

End date: 31-12-2022

 

The scientific objective of the ADVANCE project is to conceive new approaches to support the Verification and Validation (V&V) of Cyber-Physical Systems (CPS). It will explore techniques, methods, and tools applicable to different phases of the system lifecycle, but always with the final objective of improving the effectiveness and efficacy of the V&V process. In particular, ADVANCE will focus on two main aspects of V&V: i) techniques to collect V&V evidences for a CPS (focusing on system modeling, testing, fault forecast, and systematic processes like FMEA), and ii) techniques to manage and analyze data of the system under analysis (focusing on data analysis, requirements management, traceability). The strategic objective of the project is to build an international network of collaborations on the topic of V&V of CPSs. Besides allowing the consortium to reach the project's scientific objectives, the established interactions would allow the training of students and professionals on the latest innovations in the V&V panorama, and have them work together towards a common goal. In fact, besides the technical challenges described above, an important factor hampering advancements in the V&V of CPSs is a worldwide lack of skilled professionals in V&V, software testing, and Information and Communication Technology (ICT) in general. One of the outputs of the project will be a set of training material, both in the form of slides and video courses, on the topic of Verification & Validation of Cyber-Physical Systems. These objectives will be pursued by joining together V&V experts having different specialization and different backgrounds, and establishing a targeted transfer of knowledge and collaboration program, using two real case studies as reference.

The consortium includes:

    • RCL: CINI, Italy
    • UNIVERSIDADE DE COIMBRA, Portugal
    • BUDAPESTI MUSZAKI ES GAZDASAGTUDOMANYI EGYETEM, Hungary
    • UNIVERSIDAD DE LOS ANDES FUNDACION, Colombia
    • RESILTECH SRL, Italy
    • UNIVERSIDADE ESTADUAL DE CAMPINAS, Brazil
    • INSTITUTO NACIONAL DE PESQUISAS ESPACIAIS, Brazil

This project has received funding from the European Union's H2020-MSCA-RISE-2018, proposal ID 823788.

 

 
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

 
RCL hosted the 5th IRENE F2F meeting PDF Print E-mail
IRENE

RCL hosted the 5th face-to-face meeting of the project IRENE (now at month 19/30), which involved attendees from all the partners of the consortium. In particular, the meeting was directed to discuss the novel architectures and the modeling tool that are being developed within WP3 and WP4 of the project.

During the meeting, RCL promoted the discussion about the integration of the tools that are being developed in the context of the project (modeling, threat analysis, load prediction), aiming to find the best way to connect them. In addition, a presentation about model-based evaluation of the IRENE methods and framework was shown, to support and complement the analysis including evaluations related to dependability and security assessment. These evaluations will be conducted using techniques such as extensions of SAN (Stochastic Activity Networks).

For some of the participants this was the first time in Firenze. Consequently the session of the 26th April ended in a dinner in one of the most famous restaurants of the city centre. Moreover, a brief Firenze-by-night tour was performed before coming back to the hotels.

Meeting Attendees

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

Page 8 of 14

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web