Vehicles used in railway applications are requested to be more and more performable, reliable and safe. The use of computer based railway control systems is nowadays widespread, as it has been proven to be the most effective, if not the only practicable way to pursue such hard requirements.