Secure computer system
First Claim
1. A computer system for managing the operation of at least one public transport vehicle so as to ensure safe operation thereof, the computer system comprising at least one computer with a processor operating under the control of a program, operating on input data items each suitable for being associated with a code so as to provide input data codes and supplying output data items each suitable for being associated with a code and for being transmitted or applied to output members, the computer system further comprising at least one peripheral external to the processor, connected to the processor to receive at least the input data codes, the operands, and the nature of the operation for each elementary operation performed by the processor, the peripheral having secure architecture and the processor and the at least one peripheral both processing all types of said input data codes including any secure input data codes, the peripheral computing a code for each elementary operation performed by the processor and verifying proper operation of all or part of the executed program controlling the processor by detecting any internal errors produced in the operation of the processor, said verifying being at least partly based on said input data codes and the code computed by the peripheral for each elementary operation performed by the processor, while the processor performs computations only on the functional values of the encoded data, said computer system controlling the safe operation of the at least one public transport vehicle, based on said detecting of internal errors, as well as detecting external errors, and at least one of (i) said processor and (ii) said at least one peripheral being located on the public transport vehicle or along a wayside for the public transport vehicle.
3 Assignments
0 Petitions
Accused Products
Abstract
The secure computer system comprises at least one computer having a processor operating under the control of a program on input data that can be associated with a code and delivering output data for output members. A security peripheral that is external but connected to the processor is provided to receive at least the input data codes, the operands, and the nature of the operation of each elementary operation performed by the processor, a code being calculated on each elementary operation performed by the processor in order to verify proper performance of all or part of the executed program. The system is applicable to processes for automatically running rail track systems.
-
Citations
11 Claims
- 1. A computer system for managing the operation of at least one public transport vehicle so as to ensure safe operation thereof, the computer system comprising at least one computer with a processor operating under the control of a program, operating on input data items each suitable for being associated with a code so as to provide input data codes and supplying output data items each suitable for being associated with a code and for being transmitted or applied to output members, the computer system further comprising at least one peripheral external to the processor, connected to the processor to receive at least the input data codes, the operands, and the nature of the operation for each elementary operation performed by the processor, the peripheral having secure architecture and the processor and the at least one peripheral both processing all types of said input data codes including any secure input data codes, the peripheral computing a code for each elementary operation performed by the processor and verifying proper operation of all or part of the executed program controlling the processor by detecting any internal errors produced in the operation of the processor, said verifying being at least partly based on said input data codes and the code computed by the peripheral for each elementary operation performed by the processor, while the processor performs computations only on the functional values of the encoded data, said computer system controlling the safe operation of the at least one public transport vehicle, based on said detecting of internal errors, as well as detecting external errors, and at least one of (i) said processor and (ii) said at least one peripheral being located on the public transport vehicle or along a wayside for the public transport vehicle.
Specification