Volume 11 Number 1 (Mar. 2019)
Home > Archive > 2019 > Volume 11 Number 1 (Mar. 2019) >
IJCEE 2019 Vol.11(1): 11-19 ISSN: 1793-8163
DOI: 10.17706/IJCEE.2019.11.1.11-19

A Framework for the Formal Specification of Relay-Based Systems Based on a b-Method Graph Specification

Dalay Israel de Almeida Pereira, Matthieu Perin, Philippe Bon, Simon Collart-Dutilleul
Abstract—A railway interlocking system is one example of a critical system, and, therefore, it must have a high level of reliability in order to avoid problems that may result on the loss of people's lives. However, many railway systems are still specified using historical relay-based diagrams, whose analysis are made by human inspection, which is error prone. Relay-based diagrams are specified by nodes and cables in a graphical manner, which resemble undirected graphs. This paper presents a framework for the specification of relay diagrams in a formal language, B-method, based on the specification of a graph and its properties. The use of a formal language allows one to prove the correctness of these railway interlocking systems regarding structural properties. This framework has been evaluated by the specification of a case study.

Index Terms—Railway interlocking systems, relay diagrams, graph, b-method, framework.

Dalay Israel de Almeida Pereira, Philippe Bon, and Simon Collart-Dutilleul are with Univ Lille Nord de France, IFSTTAR, COSYS/ESTAS, 59650 Villeneuve d’Ascq, France. Matthieu Perin is with Institut de Recherche Technologique Railenium, F-59300 Famars, France.

Cite:Dalay Israel de Almeida Pereira, Matthieu Perin, Philippe Bon, Simon Collart-Dutilleul, "A Framework for the Formal Specification of Relay-Based Systems Based on a b-Method Graph Specification," International Journal of Computer and Electrical Engineering vol. 11, no. 1, pp. 11-19, 2019.

General Information

ISSN: 1793-8163 (Print)
Abbreviated Title: Int. J. Comput. Electr. Eng.
Frequency: Quarterly
Editor-in-Chief: Prof. Yucong Duan
Abstracting/ Indexing: EI (INSPEC, IET), Ulrich's Periodicals Directory, Google Scholar, EBSCO, ProQuest, and Electronic Journals Library
E-mail: ijcee@iap.org

What's New

  • Jun 03, 2019 News!

    IJCEE Vol. 9, No. 2 - Vol. 10, No. 2 have been indexed by EI (Inspec) Inspec, created by the Institution of Engineering and Tech.!   [Click]

  • Aug 20, 2019 News!

    IJCEE Vol 11, No 3 is available online now   [Click]

  • Jun 03, 2019 News!

    IJCEE Vol. 11, No. 2 is available online now.   [Click]

  • Mar 20, 2019 News!

    IJCEE Vol. 11, No. 1 is available online now.   [Click]

  • Mar 20, 2019 News!

    The dois of published papers in Vol. 9, No. 1- Vol. 10, No. 4 have been validated by Crossref.

  • Read more>>