CSP Specification and Verification of a Relay-Based Railway Interlocking System-Reference-Cited by-同舟云学术

CSP Specification and Verification of a Relay-Based Railway Interlocking System

Published:2023-12-02 Issue: Volume: Page:36-54
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Bezerra P. E. R.,Oliveira M. V. M.,Lecomte Thierry,de Almeida Pereira D.I.^ORCID

Publisher

Springer Nature Switzerland

Link

https://link.springer.com/content/pdf/10.1007/978-3-031-49342-3_3

Reference33 articles.

1. de Almeida Pereira, D.I.: Analysis and formal specification of relay-based railway interlocking systems. Ph.D. thesis, Centrale Lille Institut (2020)

2. de Almeida Pereira, D.I., Debbech, S., Perin, M., Bon, P., Collart-Dutilleul, S.: Formal specification of environmental aspects of a railway interlocking system based on a conceptual model. In: International Conference on Conceptual Modeling. pp. 338–351. Springer (2019)

3. de Almeida Pereira, D.I., Deharbe, D., Perin, M., Bon, P.: 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. pp. 242–258. Springer (2019)

4. de Almeida Pereira, D.I., Oliveira, M.V.M., Bezerra, P.E.R., Bon, P., Collart-Dutilleul, S.: Csp specification and verification of relay-based railway interlocking systems. In: Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing. pp. 97–106 (2022)

5. de Almeida Pereira, D.I., Oliveira, M.V.M., Conserva Filho, M.S., Da Rocha Silva, S.R.: Bts: A tool for formal component-based development. In: International Conference on Integrated Formal Methods. pp. 211–226. Springer (2017)

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

1. Formal Analysis and Monitoring of Legacy Safety-Critical Interlocking Systems with the Use of Certified Industrial Tools;Lecture Notes in Computer Science;2024