It consists of decomposing a railway traffic control object (e.g., a track section, a turnout) into simple dependency functions, which are described using Moore machines. A method for describing such objects using automata theory and hierarchical structures is presented. A method for verifying dependency functions at both implementation levels is demonstrated. The method developed by the authors has been illustrated using the example of a track section object.In the early years of the railway, train traffic safety was ensured by introducing appropriate procedures that required train traffic controllers to perform specific actions. Unfortunately, humans proved to be a very unreliable element in this process. Therefore, in order to improve railway traffic safety, the first railway traffic control (RTC) devices were designed, which verified the execution of procedures imposed by regulations on personnel managing train traffic. (…)
The article contains 17,926 characters.
Source: Logistyka Magazine 6/2010