Technical specifications requirements: Automated reasoning applications
Several software systems were developed and tested to determine what advantages could be gained from explicitly translating complicated regulatory requirements into computerized relationships. The Technical Specifications for US nuclear power plants were chosen as the test-bed application domain, and two analysis systems were developed to monitor plant compliance with operational limits, and track and schedule equipment test and maintenance activities mandated by Technical Specifications. Choosing PROLOG as the computer language to represent these regulatory requirements resulted in a natural match between the semantic structure of the written specifications and the corollary coded rules. Additional research results affirmed the utility of declarative programming styles, explicit management of problem complexity, and attention to the robustness and flexibility of the overall software systems. 5 refs., 2 figs.
- Research Organization:
- Massachusetts Inst. of Tech., Cambridge, MA (USA)
- Sponsoring Organization:
- DOE/NE
- DOE Contract Number:
- AC02-85NE37944
- OSTI ID:
- 7172273
- Report Number(s):
- DOE/NE/37944-1; ON: DE90008799; TRN: 90-008852
- Country of Publication:
- United States
- Language:
- English
Similar Records
Formal specification is an experimental science
A call for the adoption of nuclear utility information standards
Related Subjects
99 GENERAL AND MISCELLANEOUS//MATHEMATICS, COMPUTING, AND INFORMATION SCIENCE
NUCLEAR POWER PLANTS
EXPERT SYSTEMS
REGULATORY GUIDES
AUTOMATION
COMPUTER ARCHITECTURE
MONITORING
PROGRESS REPORT
PROLOG
DOCUMENT TYPES
NUCLEAR FACILITIES
POWER PLANTS
PROGRAMMING LANGUAGES
THERMAL POWER PLANTS
220000* - Nuclear Reactor Technology
990200 - Mathematics & Computers