Experimental validation of computer-based signalling systems

Several factors are pushing towards the enhancement of methodologies and techniques for the validation of computer-based railway signalling systems. These factors are related to the introduction of new technologies and equipment, the design of interoperable railway networks in Europe, the emphasis placed on safety by the new CENELEC standards, the...