Formal integrity analysis of digital ATC track database

Railway signalling is a safety critical system. Special hardware for safety has been used in signalling systems. Recently computer has been widely introduced and software is much more responsible for safety. As far as hardware aspect of safety computer is concerned, there has been a lot of progress. Special devices...