1. Home
  2. Attività formative
  3. Dettagli corso: Tutorials Conferenza RSSRail 2017

Tutorials Conferenza RSSRail 2017

The RSSR conference began in 2016 addressing critical problems faced by the modern railway – how to deliver reliable service to passengers and to freight operators, while maintaining very high levels of safety. This year the RSSRail International Conference will be held in Pistoia - Italy's 2017 Capital of Culture.
So what’s new? While these are problems that the railway sector has faced for almost 200 years, new factors and new trends demand new solutions. One of the biggest challenges stems from ever increasing automation, driven by requirements for increased capacity and greater efficiency that are further compounded by increased integration of the railway network with other transport systems. The outcome is incorporation of ever more digital systems, with increasing complexity. This, together with the increased openness and interconnection of the railway systems, brings an ever-greater need for effective cyber security, guarding against malicious threats that could compromise both safety and operational performance.
So what can be done? Techniques and tools are needed for modelling, analysis, verification and validation that can cope with the new more complex systems; these techniques must support rather than impede the development process and must address and ensure: 
  • Required functionality
  • Safety and integrity
  • System security
  • Adherence to standards
Mini-tutorials will be organised during the morning of Tuesday, 14 November, 2017 – before the main conference programme starts that afternoon.

Four tutorials are available, but only two can be followed (see below). Please go to the “iscrizioni” action below for registering AND send an e-mail to Prof. Alessandro Fantechi (alessandro.fantechi@unifi.it) to indicate your choice of combination of two tutorials.

Tutorial 1. AdaCore technologies for CENELEC EN 50128 2011 (Presented by Eric Perlade from AdaCore).
Tutorial 2. Low cost high-integrity platform (Presented by Thierry Lecomte and Patrick Péronne from ClearSy).
Tutorial 3. Model-Checking a Railway Interlocking System (Presented by Nicolas Breton from Systerel).
Tutorial 4. REVEAL: Requirements elicitation, documentation and management approach (Presented by Andrew Hawthorn from Altran).

Tutorial's details are shown at link https://conferences.ncl.ac.uk/rssrail/tutorials/

The running order is:
Room 1: Tutorial 1; coffee break; Tutorial 4
Room 2: Tutorial 2; coffee break; Tutorial 3
Thus the combination of Tutorials 1 & 2 is not possible, and the same is true for Tutorials 3 & 4. All other selections are permitted.
Tipo Seminario
Luogo UNISER
Regione Toscana
Comune Pistoia
Provincia Pistoia
Indirizzo Via Sandro Pertini, 358, 51100 Pistoia PT
Organizzatore Ordine degli Ingegneri di Pistoia
Responsabile Scientifico Ing. Leonardo Capecchi
Durata 4 ore
Frequenza minima 4 ore
Costo € 75,00
CFP 4
Tipologia corso -
Iscrizioni Chiuse
Posti disponibili 30
Posti rimanenti 25

Calendario corso

martedì, 14 novembre 2017
Inizio09:00
Fine13:00
Programma

08:30 - 09:00  Registration
09:00 - 10:45  Room 1: Tutorial 1; Room 2: Tutorial 2.
10:45 - 11:15  Coffee break
11:15 - 13:00  Room 1: Tutorial 4; Room 2: Tutorial 3.
13:00 - 13:30  Lunch for tutorial attendees

Docenti
Eng. ERIC PERLADE
Eng. NICOLAS BRETON
Eng. THIERRY LECOMTE
Eng. PATRICK PERONNE
Eng. ANDREW HAWTHORN

Allegati

Iscrizioni

Apertura Iscrizioni03/11/2017 15:00
Termine Iscrizioni13/11/2017 09:00

Siamo spiacenti le iscrizioni al corso si sono chiuse il 13/11/2017 alle 09:00
Sei già iscritto?
 Puoi controllare lo stato della tua iscrizione (in attesa di conferma, in attesa di pagamento, attiva) o caricare la conferma di pagamento accedendo alla tua area personale.