Seminario su: Railway System Engineering
Le sfide della certificazione della safety di sistema e dello sviluppo
software, secondo le norme CENELEC EN 50126 e EN 50128
9 giugno 2015, Firenze
Agenda
8:30 – 9:00
Registration
9:00 – 09:15
Welcome
By Amar Bouali, Esterel VP of South-Europe, Turkey, MEA Operations
9:15 – 10:15
Mastering Safety of Railways Systems by Applying the EN 50126 / EN 50128 standards
By Jean-Louis Boulanger, CERTIFER
10:15 – 11:00
Mastering Cost, Risk, and Time of EN 50126/50128 Compliant Systems Development with
Model-Based Methods
By Jean-Louis Boulanger, CERTIFER – Gérard Morin, Esterel VP Professional Services
11:00 – 11:30
11:30 – 12:30
12:30 – 13:30
13:30 – 15:00
15:00 – 15:30
Coffee break
Formal Model-Based Analysis of Real-Life Signalling Application using SCADE
By Alessandro Fantechi & Stefano Moretto, University of Florence
Lunch break
Workshop: Demonstrating the SCADE Model-Based Approach for Railway System
Development Compliant with EN 50126 and EN 50128
By Jair Gonzalez, Esterel &E – Gérard Morin, Esterel VP Professional Services
Seminar wrap-up