skip to main content
OSTI.GOV title logo U.S. Department of Energy
Office of Scientific and Technical Information

Title: Performability of signal validation systems using stochastic activity networks

Conference · · Transactions of the American Nuclear Society; (United States)
OSTI ID:7129517
; ;  [1]
  1. Univ. of Arizona, Tucson, AZ (United States)

Traditional performance and dependability modeling techniques require the separate evaluation of system performance and dependability, disregarding any dependencies that exist between them. The concept of [open quotes]performability[close quotes] overcomes this limitation. Informally, performability quantifies a system's ability to perform in the presence of faults. The complexity of signal validation systems (SVSs) requires a sophisticated representation to-account for performance and dependability in a unified way. A variant of stochastic Petri nets, stochastic activity networks (SANS) have been used successfully to evaluate a wide variety of computer systems and networks. In this paper, we explore the application of SANs as a modeling tool to evaluate an SVS in a nuclear power plant. As an illustrative example, the SAN model of a pressurizer sensor system as well as its SVS is presented. The performability of the system is evaluated and analyzed.

OSTI ID:
7129517
Report Number(s):
CONF-931160-; CODEN: TANSAO
Journal Information:
Transactions of the American Nuclear Society; (United States), Vol. 69; Conference: American Nuclear Society (ANS) winter meeting, San Francisco, CA (United States), 14-18 Nov 1993; ISSN 0003-018X
Country of Publication:
United States
Language:
English