CSP specification and verification of relay-based railway interlocking systems-Reference-Cited by-同舟云学术

CSP specification and verification of relay-based railway interlocking systems

Published:2022-04-25 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing
language:
Short-container-title:

Author:

de Almeida Pereira D. I.¹,Oliveira M. V. M.²,Bezerra P. E. R.²,Bon P.³,Collart-Dutilleul S.³

Affiliation:

1. Clearsy, Aix-en-Provence, France

2. Universidade Federal do Rio, RN, Brazil

3. Université Gustave, Villeneuve d'Ascq, France

Funder

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior

Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco

Conselho Nacional de Desenvolvimento Científico e Tecnológico

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3477314.3507060

Reference23 articles.

1. Jean-Raymond Abrial , Matthew Lee , David Neilson , P. Scharbach , and I Sørensen . 1991 . The B-method. In International symposium of VDM Europe. Springer, 398--405 . Jean-Raymond Abrial, Matthew Lee, David Neilson, P. Scharbach, and I Sørensen. 1991. The B-method. In International symposium of VDM Europe. Springer, 398--405.

2. Roberto Cavada , Alessandro Cimatti , Sergio Mover , Mirko Sessa , Giuseppe Cadavero , and Giuseppe Scaglione . 2018. Analysis of Relay Interlocking Systems via SMT-based Model Checking of Switched Multi-Domain Kirchhoff Networks. In 2018 Formal Methods in Computer Aided Design (FMCAD) . IEEE , 1--9. Roberto Cavada, Alessandro Cimatti, Sergio Mover, Mirko Sessa, Giuseppe Cadavero, and Giuseppe Scaglione. 2018. Analysis of Relay Interlocking Systems via SMT-based Model Checking of Switched Multi-Domain Kirchhoff Networks. In 2018 Formal Methods in Computer Aided Design (FMCAD). IEEE, 1--9.

3. CENELEC. 2011. Railway Applications - Communication signalling and processing systems-Software for railway control and protection systems. Std. European Committee for Electrotechnical Standardization. CENELEC. 2011. Railway Applications - Communication signalling and processing systems-Software for railway control and protection systems. Std. European Committee for Electrotechnical Standardization.

4. Dalay Israel de Almeida Pereira , David Deharbe , Matthieu Perin , and Philippe Bon . 2019. B-Specification of Relay-Based Railway Interlocking Systems Based on the Propositional Logic of the System State Evolution . In International Conference on Reliability, Safety, and Security of Railway Systems . Springer , 242--258. Dalay Israel de Almeida Pereira, David Deharbe, Matthieu Perin, and Philippe Bon. 2019. B-Specification of Relay-Based Railway Interlocking Systems Based on the Propositional Logic of the System State Evolution. In International Conference on Reliability, Safety, and Security of Railway Systems. Springer, 242--258.

5. Formal Methods for Validation and Test Point Prioritization in Railway Signaling Logic

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Testing the Migration from Analog to Software-Based Railway Interlocking Systems;Lecture Notes in Computer Science;2024

2. CSP Specification and Verification of a Relay-Based Railway Interlocking System;Lecture Notes in Computer Science;2023-12-02