Safety Interlocking as a Distributed Mutual Exclusion Problem

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedings – Annual report year: 2018Researchpeer-review

View graph of relations

In several large scale systems (e.g. robotic plants or transportation systems) safety is guaranteed by granting to some process or physical object an exclusive access to a particular set of physical areas or objects before starting its own action: some mechanism should in this case interlock the action of the former with the availability of the latter. A typical example is the railway interlocking problem, in which a train is granted the authorisation to move only if the tracks in front of the train are free. Although centralised control solutions have been implemented since decades, the current quest for autonomy and the possibility of distributing computational elements without wired connection for communication or energy supply has raised the interest in distributed solutions, that have to take into account the physical topology of the controlled areas and guarantee the same level of safety. In this paper the interlocking problem is formalised as a particular class of distributed mutual exclusion problems, addressing simultaneous locking of a pool of distributed objects, focusing on the formalisation and verification of the required safety properties. A family of distributed algorithms solving this problem is envisioned, with variants related to where the data defining the pool’s topology reside, and to how such data rules the communication between nodes. The different variants are exemplified with references to different distributed railway interlocking algorithms proposed in the literature. A final discussion is devoted to the steps needed to convert the proposed definitions into a generic plug-and-play safety-certified solution.
Original languageEnglish
Title of host publicationFormal Methods for Industrial Critical Systems
PublisherSpringer
Publication date2018
Pages52-66
ISBN (Print)978-3-030-00243-5
DOIs
Publication statusPublished - 2018
Event23rd International Conference on Formal Methods for Industrial Critical Systems - Maynooth University, Maynooth, Ireland
Duration: 3 Sep 20184 Sep 2018

Conference

Conference23rd International Conference on Formal Methods for Industrial Critical Systems
LocationMaynooth University
CountryIreland
CityMaynooth
Period03/09/201804/09/2018
SeriesLecture Notes in Computer Science
Volume11119
ISSN0302-9743
CitationsWeb of Science® Times Cited: No match on DOI

ID: 152921079