The terminal method for controlling of execution of algorithms by onboard computer on railway transport
This paper describes the programming model of the security information flow, and also the device, based on such a defense mechanism that allows you to increase the reliability of monitoring a progress of the computation process in an electronic computer.