@article{ref1,
title="Safety of Application Programming for Railway Signal Controllers",
journal="Measurement and control",
year="2006",
author="Short, RC",
volume="39",
number="10",
pages="308-311",
abstract="A model that provides a framework for assessing verification and validation techniques for application programming for the safety of railway signaling systems is presented. A railway signaling system is a logical controller, also known as interlocking, that ensures that conflicting train movements are not signaled. The signal interlockings, as a data-driven systems sets out a logical relationship and instructions which comprise the procedures by which the interlocking implements the required signaling functions. The safety assurance is assessed by Intensity Capability of the inspection system, effect of application parameters, and the effect of human and environmental factors. The code inspection analyzes program behavior by producing programs from interpretation of codes and checks the applicability of codes in the event of fatigue or loss of concentration, to evaluate errors in complex railway processes.<p />",
language="",
issn="0020-2940",
doi="",
url="http://dx.doi.org/"
}