Preliminary report on the formal analysis of the Draper FTP hardware and software using ITP

Technical Report · Sun Sep 01 00:00:00 EDT 1985

OSTI ID:6331661

Chisholm, G H; Kljaich, J; Smith, B T; Wojcik, A S

The purpose of this project is to explore the feasibility of a total design approach to fault-tolerant digital computer systems. A fault-tolerant computer system is one which has the ability to produce correct results even in the presence of any single fault. The total design approach of this project will attempt to show that both the software and the hardware that comprise the system meet specified availability and reliability criteria. This preliminary report discusses the motivation for the project, the need for a formal technique for the verification of fault-tolerance of both hardware and software, discusses preliminary results, and presents recommendations for further work.

• Research Organization: Argonne National Lab., IL (USA)
• DOE Contract Number: W-31-109-ENG-38
• OSTI ID: 6331661
• Report Number(s): ANL/MCS-TM-59; ON: DE86003985
• Country of Publication: United States
• Language: English

Related Subjects

22 GENERAL STUDIES OF NUCLEAR REACTORS
99 GENERAL AND MISCELLANEOUS//MATHEMATICS, COMPUTING, AND INFORMATION SCIENCE
REACTOR CONTROL SYSTEMS
FAULT TOLERANT COMPUTERS
ANL
DESIGN
REACTOR SAFETY
COMPUTERS
CONTROL SYSTEMS
DIGITAL COMPUTERS
NATIONAL ORGANIZATIONS
SAFETY
US AEC
US DOE
US ERDA
US ORGANIZATIONS
220400* - Nuclear Reactor Technology- Control Systems
990200 - Mathematics & Computers