A Design Philosophy for Reliable Systems, Including Control

One of 1,237 reports in the series: Argonne National Laboratory Reports available on this site.

PDF Version Also Available for Download.

Description

This report develops a framework for a universe of discourse usable by such non-human experts. It is based on the idea that a design has many features of a contract and may be described as a contract between humans and a machine, defining what each must do to attain a goal. Several points are discussed: the use of techniques in analytical redundancy and their place as analogues in administrative control for conventional techniques in physical control; the use of redundant computer systems to protect against hardware faults; the necessity to prove properties of software used in redundant hardware, because software ... continued below

Physical Description

v, 14 p.

Creation Information

Gabriel, John R. April 1984.

Context

This report is part of the collection entitled: Technical Report Archive and Image Library and was provided by UNT Libraries Government Documents Department to Digital Library, a digital repository hosted by the UNT Libraries. More information about this report can be viewed below.

Who

People and organizations associated with either the creation of this report or its content.

Publisher

Audiences

We've identified this report as a primary source within our collections. Researchers, educators, and students may find this report useful in their work.

Provided By

UNT Libraries Government Documents Department

Serving as both a federal and a state depository library, the UNT Libraries Government Documents Department maintains millions of items in a variety of formats. The department is a member of the FDLP Content Partnerships Program and an Affiliated Archive of the National Archives.

Contact Us

What

Descriptive information to help identify this report. Follow the links below to find similar items on the Digital Library.

Titles

  • Main Title: A Design Philosophy for Reliable Systems, Including Control
  • Added Title: ANL (Series)
  • Added Title: Argonne National Laboratory Report ANL-84-29
  • Series Title: Argonne National Laboratory Reports

Description

This report develops a framework for a universe of discourse usable by such non-human experts. It is based on the idea that a design has many features of a contract and may be described as a contract between humans and a machine, defining what each must do to attain a goal. Several points are discussed: the use of techniques in analytical redundancy and their place as analogues in administrative control for conventional techniques in physical control; the use of redundant computer systems to protect against hardware faults; the necessity to prove properties of software used in redundant hardware, because software faults are common modes across redundant hardware; and some issues in choosing a programming language for provable control software. Because proof of correctness is costly, it should be used only where necessary. This report concludes that the degree of reliability needed by the plant model used in analytic redundancy protection need not be nearly as reliable as the mechanism to detect discrepancy between plant and model.

Physical Description

v, 14 p.

Notes

Digitized from microfiche (1).

Some parts of this report may be illegible, depending on the quality of the microfiche.

Language

Item Type

Identifier

Unique identifying numbers for this report in the Digital Library or other systems.

Collections

This report is part of the following collection of related materials.

Technical Report Archive and Image Library

This selection of materials from the Technical Report Archive and Image Library (TRAIL) includes hard-to-find reports published by various government agencies. The technical publications contain reports, images, and technical descriptions of research performed for U.S. government agencies. Topics range from mining, desalination, and radiation to broader physics, biology, and chemistry studies. Some reports include maps, foldouts, blueprints, and other oversize materials.

What responsibilities do I have when using this report?

When

Dates and time periods associated with this report.

Creation Date

  • April 1984

Added to The UNT Digital Library

  • Aug. 4, 2015, 8:33 a.m.

Usage Statistics

When was this report last used?

Yesterday: 0
Past 30 days: 0
Total Uses: 5

Interact With This Report

Here are some suggestions for what to do next.

Start Reading

PDF Version Also Available for Download.

International Image Interoperability Framework

IIF Logo

We support the IIIF Presentation API

Gabriel, John R. A Design Philosophy for Reliable Systems, Including Control, report, April 1984; Argonne, Illinois. (digital.library.unt.edu/ark:/67531/metadc173314/: accessed July 18, 2018), University of North Texas Libraries, Digital Library, digital.library.unt.edu; crediting UNT Libraries Government Documents Department.