Modelling Railway Interlocking Tables Using Coloured Petri Nets

Abstract : Interlocking tables are the functional specification defining the routes, on which the passage of the train is allowed. Associated with the route, the states and actions of all related signalling equipment are also specified. This paper formally models the interlocking tables using Coloured Petri Nets (CPN). The CPN model comprises two parts: Signaling Layout and Interlocking Control. The Signaling Layout part is used to simulate the passage of the train. It stores geographic information of the signalling layout in tokens. The Interlocking Control part models actions of the controller according to the functions specified in the interlocking tables. The arc inscriptions in the model represent the content of the interlocking tables. Following our modelling approach we can reuse the same CPN net structure to model any new or modified interlocking system regardless of its size. Experimental results are presented to provide increased confidence in the model correctness.
Type de document :
Communication dans un congrès
Dave Clarke; Gul Agha. 12th International Conference on Coordination Models and Languages (COORDINATION) Held as part of International Federated Conference on Distributed Computing Techniques (DisCoTec), Jun 2010, Amsterdam, Netherlands. Springer, Lecture Notes in Computer Science, LNCS-6116, pp.137-151, 2010, Coordination Models and Languages. 〈10.1007/978-3-642-13414-2_10〉
Liste complète des métadonnées

Littérature citée [15 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01054630
Contributeur : Hal Ifip <>
Soumis le : jeudi 7 août 2014 - 16:35:33
Dernière modification le : vendredi 11 août 2017 - 15:34:36
Document(s) archivé(s) le : mercredi 26 novembre 2014 - 05:30:04

Fichier

COOR2010-SSV-Interlocking.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Somsak Vanit-Anunchai. Modelling Railway Interlocking Tables Using Coloured Petri Nets. Dave Clarke; Gul Agha. 12th International Conference on Coordination Models and Languages (COORDINATION) Held as part of International Federated Conference on Distributed Computing Techniques (DisCoTec), Jun 2010, Amsterdam, Netherlands. Springer, Lecture Notes in Computer Science, LNCS-6116, pp.137-151, 2010, Coordination Models and Languages. 〈10.1007/978-3-642-13414-2_10〉. 〈hal-01054630〉

Partager

Métriques

Consultations de la notice

236

Téléchargements de fichiers

1406