Meeting the challenges in the design and evaluation of a trackside real-time safety-critical system | IEEE Conference Publication | IEEE Xplore