Skip to Main content Skip to Navigation
Theses

Modélisation et Vérification Formelles de Systèmes de Contrôle de Trains

Abstract : The automation degree of railway control systems is constantly increasing. Railway industry needs the enhanced level of safety and reliability guarantee to replace the drivers by Automatic Train Control (ATC) systems. However, the system complexity is also heavily increased by the integration of automatic functions, which has caused the difficulty to analyze these systems.Different modeling methods can be used to build the system models at the appropriate level of abstraction. Formal modeling methods and formal verification methods can provide crucial support to ensure safety and reliability properties. Petri Nets are a suitable tool for modeling and verifying critical systems such as automatic train control systems. In this thesis, we use more specifically Colored Petri Nets (CPNs) to exploit modularity and hierarchization for the modeling and verification of a large-scale system.
Document type :
Theses
Complete list of metadatas

Cited literature [314 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-02507447
Contributor : Abes Star :  Contact
Submitted on : Friday, March 13, 2020 - 10:54:09 AM
Last modification on : Tuesday, September 29, 2020 - 12:24:07 PM
Long-term archiving on: : Sunday, June 14, 2020 - 1:29:27 PM

File

Xie_Yuchen_DLE.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-02507447, version 1

Collections

Citation

Yuchen Xie. Modélisation et Vérification Formelles de Systèmes de Contrôle de Trains. Other [cs.OH]. Ecole Centrale de Lille, 2019. English. ⟨NNT : 2019ECLI0001⟩. ⟨tel-02507447⟩

Share

Metrics

Record views

127

Files downloads

275