Toward formal analysis of ultra-reliable computers: A total systems approach
Conference
·
OSTI ID:6832630
This paper describes the application of modeling and analysis techniques to software that is designed to execute on four channel version of the the Charles Stark Draper Laboratory (CSDL) Fault-Tolerant Processor, referred to as the Draper FTP. The software performs sensor validation of four independent measures (singlas) from the primary pumps of the Experimental Breeder Reactor-II operated by Argonne National Laboratory-West, and from the validated signals formulates a flow trip signal for the reactor safety system. 11 refs., 4 figs.
- Research Organization:
- Argonne National Lab., IL (USA); Michigan State Univ., East Lansing (USA). Dept. of Computer Science
- DOE Contract Number:
- W-31109-ENG-38
- OSTI ID:
- 6832630
- Report Number(s):
- CONF-8610218-1; ON: DE87004817
- Country of Publication:
- United States
- Language:
- English
Similar Records
Formal modeling and analysis of fault-tolerance properties for software
Moving formal methods into practice. Verifying the FTPP Scoreboard: Results, phase 1
Human approach to process control and the provision of predictive information
Conference
·
Wed Dec 31 23:00:00 EST 1986
·
OSTI ID:7053916
Moving formal methods into practice. Verifying the FTPP Scoreboard: Results, phase 1
Technical Report
·
Fri May 01 00:00:00 EDT 1992
·
OSTI ID:7113093
Human approach to process control and the provision of predictive information
Conference
·
Tue Dec 31 23:00:00 EST 1985
· Trans. Am. Nucl. Soc.; (United States)
·
OSTI ID:6951855
Related Subjects
22 GENERAL STUDIES OF NUCLEAR REACTORS
220900 -- Nuclear Reactor Technology-- Reactor Safety
99 GENERAL AND MISCELLANEOUS
990200* -- Mathematics & Computers
COMPUTERIZED CONTROL SYSTEMS
COMPUTERS
CONTROL SYSTEMS
DATA-FLOW PROCESSING
DIGITAL COMPUTERS
FAULT TOLERANT COMPUTERS
PROGRAMMING
SYSTEMS ANALYSIS
220900 -- Nuclear Reactor Technology-- Reactor Safety
99 GENERAL AND MISCELLANEOUS
990200* -- Mathematics & Computers
COMPUTERIZED CONTROL SYSTEMS
COMPUTERS
CONTROL SYSTEMS
DATA-FLOW PROCESSING
DIGITAL COMPUTERS
FAULT TOLERANT COMPUTERS
PROGRAMMING
SYSTEMS ANALYSIS