High integrity computing via input synchronization systems and methods
원문보기
IPC분류정보
국가/구분
United States(US) Patent
등록
국제특허분류(IPC7판)
G08B-021/00
G08B-029/00
G06F-011/00
G01C-023/00
출원번호
UP-0150402
(2008-04-28)
등록번호
US-7852235
(2011-02-10)
발명자
/ 주소
Johnson, Douglas R.
Corcoran, James J.
Danielson, Eric J.
Roltgen, John W.
Kovalan, Mark A.
Carlson, Corydon J.
Persick, John L.
Gilbert, Cleveland C.
Hemaidan, Samir S.
Stanger, Shawn M.
출원인 / 주소
Rockwell Collins, Inc.
대리인 / 주소
Evans, Matthew J.
인용정보
피인용 횟수 :
5인용 특허 :
7
초록▼
A method of comparing output information from dissimilar processors includes storing a task in a first memory and storing the task in a second memory at substantially the same time as the first memory. The time of the storing being is controlled by a first arbitration logic and a second arbitration
A method of comparing output information from dissimilar processors includes storing a task in a first memory and storing the task in a second memory at substantially the same time as the first memory. The time of the storing being is controlled by a first arbitration logic and a second arbitration logic. The method also includes receiving the task by a first processor from the first memory and receiving the task by a second processor from the memory at substantially the same time as the first processor. The time being received is controlled by a first arbitration logic and a second arbitration logic. The second processor being dissimilar to the first processor. The method further includes computing a first output by the first processor based on the task and computing a second output by the second processor based on the task. The method still further includes, synchronizing the first and second outputs so that the first and second outputs are output at substantially the same time. The synchronizing is controlled by the first and second arbitration logic.
대표청구항▼
What is claimed is: 1. A flight control system, comprising: an output device; a first processor; a second processor, the second processor being dissimilar to the first processor; a first memory coupled to the first processor; a second memory coupled to the second processor; a first arbitration devi
What is claimed is: 1. A flight control system, comprising: an output device; a first processor; a second processor, the second processor being dissimilar to the first processor; a first memory coupled to the first processor; a second memory coupled to the second processor; a first arbitration device coupled to the first processor; a second arbitration device coupled to the second processor, the second arbitration device configured to coordinate transaction synchronization with the first arbitration device and the first arbitration device configured to coordinate transaction synchronization with the second arbitration device, the first arbitration device having a first arbitration logic programmed thereon, the second arbitration device having a second arbitration logic programmed thereon, the first arbitration logic and the second arbitration logic ensuring that an event data is stored in the first memory at substantially the same time as the event data is stored in the second memory. 2. The flight control system of claim 1, wherein the first arbitration logic and the second arbitration logic ensure that the first processor reads the event data from the first memory and the second processor reads the event data from the memory at substantially the same time. 3. The flight control system of claim 1, wherein the first arbitration logic and the second arbitration logic ensure that the first processor and the second processor process the event data and outputs a first event output from the first processor and outputs a second event output from the second processor at substantially the same time. 4. The flight control system of claim 3, further comprising: a comparator processor coupled to the first arbitration device and the second arbitration device, the comparator processor being configured to compare the first event output and the second event output. 5. The flight control system of claim 4, wherein the comparator processor effectuates a command to the output device if the comparison is valid. 6. A method of comparing output information from dissimilar processors, comprising: receiving a task by a first processor; receiving the task by a second processor, at substantially the same time as the first processor, the time being received being controlled by a first arbitration logic and a second arbitration logic, the second processor being dissimilar to the first processor; computing a first output by the first processor based on the task; computing a second output by the second processor based on the task; synchronizing the first and second outputs so that the first and second outputs are output at substantially the same time, the synchronizing being controlled by the first and second arbitration logic. 7. The method of claim 6, further comprising: comparing by a comparator processor the transaction synchronized outputs of the first and second processors. 8. The method of claim 7, further comprising: indicating by the comparator processor a result of the comparison. 9. The method of claim 8, further comprising: effectuating a command if the comparison is valid. 10. The method of claim 8, further comprising: indicating by the comparator processor a result of the comparison, the result being whether the comparison between the first and second outputs is valid or invalid. 11. The method of claim 8, further comprising: indicating by the comparator processor a result of the comparison; and outputting at least one of the first or second outputs in response to the result, the output being provided to at least one actuator. 12. The method of claim 8, further comprising: indicating by the comparator processor a result of the comparison; and outputting at least one of the first or second outputs in response to the result, the output being provided to at least one display device. 13. A method of comparing output information from dissimilar processors, comprising: storing a task in a first memory; storing the task in a second memory at substantially the same time as the first memory, the time of the storing being controlled by a first arbitration logic and a second arbitration logic; receiving the task by a first processor from the first memory; receiving the task by a second processor from the memory at substantially the same time as the first processor, the time being received being controlled by a first arbitration logic and a second arbitration logic, the second processor being dissimilar to the first processor; computing a first output by the first processor based on the task; computing a second output by the second processor based on the task; and synchronizing the first and second outputs so that the first and second outputs are output at substantially the same time, the synchronizing being controlled by the first and second arbitration logic. 14. The method of claim 13, further comprising: comparing by a comparator processor the transaction synchronized outputs of the first and second processors. 15. The method of claim 14, further comprising: indicating by the comparator processor a result of the comparison. 16. The method of claim 13, further comprising: reading the task from a first memory; and reading the task from a second memory at substantially the same time, wherein the reading is controlled by the first arbitration logic and the second arbitration logic. 17. The method of claim 15, further comprising: effectuating a command if the comparison is valid. 18. The method of claim 15, further comprising: indicating by the comparator processor a result of the comparison, the result being whether the comparison between the first and second outputs is valid or invalid. 19. The method of claim 15, further comprising: indicating by the comparator processor a result of the comparison; outputting at least one of the first or second outputs in response to the result. 20. The method of claim 15, further comprising: indicating by the comparator processor a result of the comparison; and outputting at least one of the first or second outputs in response to the result, the output being provided to at least one actuator.
연구과제 타임라인
LOADING...
LOADING...
LOADING...
LOADING...
LOADING...
이 특허에 인용된 특허 (7)
Dinwiddie ; Jr. John M. (West Palm Beach FL) Freeman Bobby J. (Boynton Beach FL) Grice Lonnie E. (Boca Raton FL) Loffredo John M. (Deerfield Beach FL) Sanderson Kenneth R. (West Palm Beach FL) Suarez, Data processing system with system resource management for itself and for an associated alien processor.
Baker Ernest D. (Boca Raton FL) Dinwiddie ; Jr. John M. (West Palm Beach FL) Grice Lonnie E. (Boca Raton FL) Joyce James M. (Boca Raton FL) Loffredo John M. (Deerfield Beach FL) Sanderson Kenneth R. , Fault tolerant data processing system.
Mazuk, Daniel E.; Miller, David A.; Klein, Clifford R.; Chau, Savio N.; Anderson, Eric N., Integrated modular avionics system with distributed processing.
Kovalan, Mark A.; Singer, Mark Clifford; Bader, Douglas L.; Johnson, Douglas Robert; Roltgen, III, John William, Synchronization mechanisms for high-integrity computing.
※ AI-Helper는 부적절한 답변을 할 수 있습니다.