High integrity systems research programme : review of progress 1987 - 1990 (IM-SSU-009)

The "High Integrity Systems Research" programme was set up in 1987 to investigate the problems and opportunities raised by the rapid evolution of technology in the area of high integrity and safety critical microprocessor systems for use in railway signalling and related applications. This report describes the background to the...