Generation and analysis of large reliability models

Daniel L. Palumbo, David M. Nicol

Research output: Contribution to conferencePaperpeer-review


An effort has been underway for several years at NASA's Langley Research Center to extend the capability of Markov modeling techniques for reliability analysis to the designers of highly reliable avionic systems. This effort has been focused in the areas of increased model abstraction and increased computational capability. The reliability model generator (RMG), a software tool which uses as input a graphical, object-oriented block diagram of the system, is discussed. RMG uses an automated failure modes-effects analysis algorithm to produce the reliability model from the graphical description. Also considered is the ASSURE software tool, a parallel processing program which uses the ASSIST modeling language and SURE semi-Markov solution technique. An executable failure modes-effects analysis is used by ASSURE. The successful combination of the power of graphical representation, automated model generation, and parallel computation leads to the conclusion that large system architectures can now be analyzed.

Original languageEnglish (US)
Number of pages5
StatePublished - 1990
Externally publishedYes
Event9th Digital Avionics Systems Conference - Virginia Beach, VA, USA
Duration: Oct 15 1990Oct 18 1990


Other9th Digital Avionics Systems Conference
CityVirginia Beach, VA, USA

ASJC Scopus subject areas

  • Engineering(all)


Dive into the research topics of 'Generation and analysis of large reliability models'. Together they form a unique fingerprint.

Cite this