Title: A self-checking multiprocessor system for train-borne operation