scholar.google.com › citations
This paper presents an original non-intrusive method to make safe existing Programmable Logic Controller (PLC) program for manufacturing systems. In this work, ...
Nov 4, 2012 · To get an SUT that can be tested, the interlocking logic is integrated in a program that adds interfacing code and is then recompiled for a ...
This report introduces a conformance testing methodology for PLC-Interlocking systems that is based around the JTorX test tool and shows that the quality of ...
Abstract: Interlocking systems control all wayside elements in a railway yard. These systems are responsible for safe train operations and must prevent ...
Missing: Checking | Show results with:Checking
We describe a study aimed to define a verification process based on commercial modelling and verification tools, for industrially produced interlocking systems, ...
Oct 15, 2016 · In this paper we show how the problem has been addressed by a manufacturer at the final validation stage of production interlocking systems.
The monitoring of the interlocking process has been done through SCADA software and hence it makes it easier to visualize the whole working model. Another ...
People also ask
What is a PLC interlock?
What is PLC in rail?
What is the method of interlocking in railway?
What is the difference between solid state interlocking and electronic interlocking?
A new diverse verification technique to reveal any hidden design issues in reusable software modules and gain fast and easy solution iteration.
This report introduces a conformance testing methodology for PLC-Interlocking systems that is based around the JTorX test tool and shows that the quality of ...
Dec 6, 2022 · For supporting the analysis of railway interlocking systems in the early stage of their design we propose the use of model checking.
Missing: PLC | Show results with:PLC