Method and device for consolidation by software synchronisation in flight control computers
First Claim
1. A method for synchronising two asynchronous COM and MON units, for control and monitoring, respectively, of a computer of a computation system comprising a plurality of computers connected to one another by a communication connection, wherein each of the COM and MON units comprises a computation unit, the method comprising:
- computing independent local Boolean signals, each having a Boolean inertia greater than temporal uncertainties, due to latencies in transmission between computers and precision of a sampling controlled by a clock cycle of each of the COM and MON units, capable of affecting them,exchanging, between the COM and MON units, of local signals, with each of the COM and MON units sending a locally computed value to the other unit,generating a pair of synchronised signals, in each of the COM and MON units, based on its locally computed value and the computed value received from the other unit,forming a consolidated signal based on the pair of synchronised signals.
2 Assignments
0 Petitions
Accused Products
Abstract
A method for synchronising two asynchronous control and monitoring units of a computer, wherein each of these units comprises a computation unit. The method includes a computation of independent local Boolean signals, each having a Boolean inertia greater than the temporal uncertainties, due to the latencies in transmission between computers and the precision of the sampling controlled by the clock cycle of each unit, capable of affecting them. The method also includes an exchange, between the two units, of local signals, with each unit sending a locally computed value to the other unit, the generation of a pair of synchronised signals, in each unit, based on the local value and the value received from the other unit, and the formation of a consolidated signal based on the pair of synchronised signals.
-
Citations
28 Claims
-
1. A method for synchronising two asynchronous COM and MON units, for control and monitoring, respectively, of a computer of a computation system comprising a plurality of computers connected to one another by a communication connection, wherein each of the COM and MON units comprises a computation unit, the method comprising:
-
computing independent local Boolean signals, each having a Boolean inertia greater than temporal uncertainties, due to latencies in transmission between computers and precision of a sampling controlled by a clock cycle of each of the COM and MON units, capable of affecting them, exchanging, between the COM and MON units, of local signals, with each of the COM and MON units sending a locally computed value to the other unit, generating a pair of synchronised signals, in each of the COM and MON units, based on its locally computed value and the computed value received from the other unit, forming a consolidated signal based on the pair of synchronised signals. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 27)
-
-
15. A computation system comprising a plurality of computers connected to one another by a communication connection wherein at least one of the computers is asynchronous and comprises at least two asynchronous COM, MON units, for control and monitoring, respectively, each of these units comprising a computation unit as well as:
-
a computing unit configured to compute independent local Boolean signals, each having a Boolean inertia greater than temporal uncertainties capable of affecting them, an exchanging unit configured to exchange between the two units COM and MON, local signals, wherein each unit sends a locally calculated value to the other unit, at least one generator of a pair of synchronised signals, in each of the COM and MON units, based on its locally computed value and the computed value received from the other unit, and a forming unit configured to form a consolidated signal based on the pair of synchronised signals. - View Dependent Claims (16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 28)
-
Specification