Computational Technology Resources - CCC

R. Saddem-Yagoubi, J. Beugin, and M. Ghazel

COSYS-ESTAS, Univ Gustave Eiffel, IFSTTAR, Univ Lille, Villeneuve d’Ascq, France

doi:10.4203/ccc.1.15.2

R. Saddem-Yagoubi, J. Beugin,, M. Ghazel, "The Formal Framework for Moving Block Systems in the PERFORMINGRAIL ", in J. Pombo, (Editor), "Proceedings of the Fifth International Conference on Railway Technology: Research, Development and Maintenance", Civil-Comp Press, Edinburgh, UK, Online volume: CCC 1, Paper 15.2, 2022, doi:10.4203/ccc.1.15.2

Keywords: formal modeling, requirement engineering, verification and validation, moving block.

Abstract

In the railway field, rigorous development processes contribute to implement safe systems. Railway safety standards recommend the use of formal modelling and verification techniques to guarantee processes correctness and validate safety requirements. In this paper, we illustrate how formal methods can be advantageously brought into play to promote the development of ETCS Level 3. This work is performed in the context of PERFORMINGRAIL European project.

This paper is not available due to Editorial and Copyright reasons.

go to the previous paper
go to the next 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: 1 PROCEEDINGS OF THE FIFTH INTERNATIONAL CONFERENCE ON RAILWAY TECHNOLOGY: RESEARCH, DEVELOPMENT AND MAINTENANCE Edited by: J. Pombo Paper 15.2 The Formal Framework for Moving Block Systems in the PERFORMINGRAIL R. Saddem-Yagoubi, J. Beugin, and M. Ghazel COSYS-ESTAS, Univ Gustave Eiffel, IFSTTAR, Univ Lille, Villeneuve d’Ascq, France doi:10.4203/ccc.1.15.2 Full Bibliographic Reference for this paper R. Saddem-Yagoubi, J. Beugin,, M. Ghazel, "The Formal Framework for Moving Block Systems in the PERFORMINGRAIL ", in J. Pombo, (Editor), "Proceedings of the Fifth International Conference on Railway Technology: Research, Development and Maintenance", Civil-Comp Press, Edinburgh, UK, Online volume: CCC 1, Paper 15.2, 2022, doi:10.4203/ccc.1.15.2 Keywords: formal modeling, requirement engineering, verification and validation, moving block. Abstract In the railway field, rigorous development processes contribute to implement safe systems. Railway safety standards recommend the use of formal modelling and verification techniques to guarantee processes correctness and validate safety requirements. In this paper, we illustrate how formal methods can be advantageously brought into play to promote the development of ETCS Level 3. This work is performed in the context of PERFORMINGRAIL European project. This paper is not available due to Editorial and Copyright reasons. go to the previous paper go to the next paper return to the table of contents return to the volume description
Back to top	©Civil-Comp Limited 2023 - terms & conditions