Computational Technology Resources - CCC

M.E.A. Abdullah¹, S. Collart-Dutilleul² and O. Ait Mohamed¹

¹, University Concordia, Montreal, Canada
², University Gustave Eiffel, France

doi:10.4203/ccc.15.24.4

M.E.A. Abdullah, S. Collart-Dutilleul, O. Ait Mohamed, "Safe Processing for Light Rolling Stocks", in J. Pombo, (Editor), "Proceedings of the Seventh International Conference on Railway Technology: Research, Development and Maintenance ", Civil-Comp Press, Edinburgh, UK, Online volume: CCC 15, Paper 24.4, 2026, doi:10.4203/ccc.15.24.4

Keywords: regional european lines, railway safety, ATP, bit flip, processor design, light rolling stocks.

Abstract

Light rolling stocks are considered for allowing a frugal exploitation of European secondary regional lines. The Ferromobile proposition is based on a 8 seated road minibus adapted for rail operated in driverless mode. The use of an automatic protection (ATP) inspired by the functional specification available concerning European Railway management system (ERTMS), is proposed to insure the respect of signalling. The present paper focus on the potential impact on a bit flip of the ATP dedicated processor. An error was analysed using a statistical model checking tool on an open architecture processor. The results achieve a correct level of reliability, but enlarging the restrictive assumption of the study deserve further investigations.

download the full-text of this paper (PDF, 12 pages, 813 Kb)

go to the previous paper
return to the table of contents
return to the volume description

	Computational & Technology Resources an online resource for computational, engineering & technology publications
	not logged in - login
Front Page Browse CCC CCP CSETS CTR IJRT Other Authors Search Purchase Guide FAQ Contact us	Civil-Comp Conferences ISSN 2753-3239 CCC: 15 PROCEEDINGS OF THE SEVENTH INTERNATIONAL CONFERENCE ON RAILWAY TECHNOLOGY: RESEARCH, DEVELOPMENT AND MAINTENANCE Edited by: J. Pombo Paper 24.4 Safe Processing for Light Rolling Stocks M.E.A. Abdullah¹, S. Collart-Dutilleul² and O. Ait Mohamed¹ ¹, University Concordia, Montreal, Canada ², University Gustave Eiffel, France doi:10.4203/ccc.15.24.4 Full Bibliographic Reference for this paper M.E.A. Abdullah, S. Collart-Dutilleul, O. Ait Mohamed, "Safe Processing for Light Rolling Stocks", in J. Pombo, (Editor), "Proceedings of the Seventh International Conference on Railway Technology: Research, Development and Maintenance ", Civil-Comp Press, Edinburgh, UK, Online volume: CCC 15, Paper 24.4, 2026, doi:10.4203/ccc.15.24.4 Keywords: regional european lines, railway safety, ATP, bit flip, processor design, light rolling stocks. Abstract Light rolling stocks are considered for allowing a frugal exploitation of European secondary regional lines. The Ferromobile proposition is based on a 8 seated road minibus adapted for rail operated in driverless mode. The use of an automatic protection (ATP) inspired by the functional specification available concerning European Railway management system (ERTMS), is proposed to insure the respect of signalling. The present paper focus on the potential impact on a bit flip of the ATP dedicated processor. An error was analysed using a statistical model checking tool on an open architecture processor. The results achieve a correct level of reliability, but enlarging the restrictive assumption of the study deserve further investigations. download the full-text of this paper (PDF, 12 pages, 813 Kb) go to the previous paper return to the table of contents return to the volume description
Back to top	©Civil-Comp Limited 2023 - terms & conditions