Skip to main content

Digital Instrumentation and Control Systems in Nuclear Power Plants Safety and Reliability Issues (1997) / Chapter Skim
Currently Skimming:


Pages 56-57

The Chapter Skim interface presents what we've algorithmically identified as the most significant single chunk of text within every page in the chapter.
Select key terms on the right to highlight them within pages of the chapter.


From page 56...
... Formal methods are not currently used widely but offer a good basis for safety analysis of digital systems (Leveson, 1995; Rushby, 1995~. When considering a probabilistic analysis of a system containing digital components, there are basically three choices available to the analyst.
Read the entire page →
From page 57...
... 1992. Dynamic fault tree models for fault tolerant computer systems.
Read the entire page →

Key Terms

  • probabilistic analysis
  • tree model
  • nuclear industry
  • formal methods
  • ieee transactions

  • fault tree
  • failure probability
  • software engineering
  • power plant
  • reliability engineering

  • draft regulatory
  • software quality
  • software failure
  • digital components
  • tree models

  • safety assessment
  • regulatory guide
  • analysis included
  • tree analysis
  • nuclear electric

  • safety analysis
  • software failures
  • analysis techniques
  • acceptance criteria
  • failure probabilities

  • failure modes
  • bechta dugan
  • analysis methods
  • chemical process
  • control board


    • This material may be derived from roughly machine-read images, and so is provided only to facilitate research.
    More information on Chapter Skim is available.