Automated reasoning applications to design validation and sneak function analysis
Conference
·
OSTI ID:5281596
Argonne National Laboratory (ANL) is actively involved in the LMFBR Man-Machine Integration (MMI) Safety Program. The objective of this program is to enhance the operational safety and reliability of fast-breeder reactors by optimum integration of men and machines through the application of human factors principles and control engineering to the design, operation, and the control environment. ANL is developing methods to apply automated reasoning and computerization in the validation and sneak function analysis process. This project provides the element definitions and relations necessary for an automated reasoner (AR) to reason about design validation and sneak function analysis. This project also provides a demonstration of this AR application on an Experimental Breeder Reactor-II (EBR-II) system, the Argonne Cooling System (ACS).
- Research Organization:
- Argonne National Lab., IL (USA)
- DOE Contract Number:
- W-31109-ENG-38
- OSTI ID:
- 5281596
- Report Number(s):
- CONF-840113-1; ON: DE84003994
- Country of Publication:
- United States
- Language:
- English
Similar Records
Automated reasoning in man-machine control systems
Benchmark specifications for EBR-II shutdown heat removal tests
Computer applications for reactor control and diagnosis. [LMFBR]
Conference
·
Fri Dec 31 23:00:00 EST 1982
·
OSTI ID:5912788
Benchmark specifications for EBR-II shutdown heat removal tests
Conference
·
Sun Jul 01 00:00:00 EDT 2012
·
OSTI ID:22106004
Computer applications for reactor control and diagnosis. [LMFBR]
Conference
·
Fri Dec 31 23:00:00 EST 1982
·
OSTI ID:5937356
Related Subjects
21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS
210500 -- Power Reactors
Breeding
22 GENERAL STUDIES OF NUCLEAR REACTORS
220400* -- Nuclear Reactor Technology-- Control Systems
BREEDER REACTORS
CONTROL SYSTEMS
ENGINEERING
EPITHERMAL REACTORS
FAST REACTORS
FBR TYPE REACTORS
HUMAN FACTORS ENGINEERING
LIQUID METAL COOLED REACTORS
LMFBR TYPE REACTORS
MAN-MACHINE SYSTEMS
REACTOR CONTROL SYSTEMS
REACTOR SAFETY
REACTORS
SAFETY
210500 -- Power Reactors
Breeding
22 GENERAL STUDIES OF NUCLEAR REACTORS
220400* -- Nuclear Reactor Technology-- Control Systems
BREEDER REACTORS
CONTROL SYSTEMS
ENGINEERING
EPITHERMAL REACTORS
FAST REACTORS
FBR TYPE REACTORS
HUMAN FACTORS ENGINEERING
LIQUID METAL COOLED REACTORS
LMFBR TYPE REACTORS
MAN-MACHINE SYSTEMS
REACTOR CONTROL SYSTEMS
REACTOR SAFETY
REACTORS
SAFETY