Your search results for "New 500-420 Exam Experience 🧎 Test 500-420 Free 🚋 Reliable 500-420 Dumps 🌗 Enter ➤ www.pdfvce.com ⮘ and search for [ 500-420 ] to download for free 🎷500-420 Standard Answers"

71 - 80 of 221

25 Years of formal methods at RATP (Paper)

paris

RATP operates one of the most important multimodal transportation networks in the world. When the first software-based train control system was deployed on this network at the end of the 80’s, RATP has experienced the use of formal methods to master the safety critical part of the software. Since then, RATP has developed, improved and promoted the use of formal proof for validation or assessment purpose, aiming to extend its scope. The next step is the application of formal proof at system level for the demonstration of railway systems safety by using a composite methodology combining top-down and bottom-up approaches.

Year of Publications: 2016

Document: View

Crisis management exercise – Understanding stakes and adjustment in crisis management through a game (Paper)

paris

This paper outlines an educational module that was created by several railway operators (SNCF and RATP) and by the railway industry to help solve the shortage of railway engineers with engineering systems approach. A “crisis day” is delivered as part of a one week training module. The scenario involves the derailment of a freight train transporting propane wagons. The goal of the exercise is, besides the practical application of theoretical knowledge about railway operation and traffic disruption operational management, to train students to improve their individual and group behavioural skills during stressful situations and to cope with media hype.

Year of Publications: 2016

Document: View

The role of Human Factors in optimising the operation, management and design of the Platform Train Interface (Paper)

paris

In December 2013 cross-industry Platform Train Interface Strategy Group (PTI SG) was set up, responsible for the creation of a national PTI Strategy. The strategy was published in January 2015. To develop the strategy a risk-based approach was adopted which triangulated methodologies (workshops, quantitative and qualitative analysis, literature review and external research), combining the disciplines of Human Factors, Operations, Engineering, and Data Analysis. This paper is focused on the role Human Factors played in the development of the strategy.

Year of Publications: 2016

Document: View