Himap: Architecture, features, and hierarchical model specification techniques

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1469, Issue , 1998, Pages 348-351

  Sridharan, Murari ^a   Ramasubramanian, Srinivasan ^a   Somani, Arun K ^a  

^a Iowa State University of Science and Technology   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

RELIABILITY ANALYSIS; SPECIFICATIONS;

ACCURATE ANALYSIS; BEHAVIOR CHANGE; HIERARCHICAL MODEL; IMPORTANT FEATURES; PHASED MISSION; SCHEDULED MAINTENANCE; SYSTEM BEHAVIORS; SYSTEM DESIGNERS;

HIERARCHICAL SYSTEMS;

EID: 70449968677     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-68061-6_30     Document Type: Conference Paper

References (7)

1. A.K. Somani, U.R. Sandadi, A. Gupta, P.C. Leung. I'll MU': Enhanced Hybrid Automated Reliability Predictor. Tech. Rep., DPCNL, University of Washington, Seattle, Dec 1993.
2. A. Anand and A. K. Somani. Hierarchical Analysis of Fault Trees with Dependencies, Using Decomposition, in the Proc. of RAMS-1998, Los Angeles, CA, pp 69-75, January 1998.
3. G. Krishnamurthi, A. Gupta, and A. K. Somani. The HIMAP Modeling Environment. in Proc. of PDCS-96, Sept 24-27, 1996, Dijon, Prance.
4. R.M. Sinnamon and J.D. Andrews. Fault Tree Analysis and Binary Decision Diagrams. Proc. RAMS, pp.215-220, Jan 1996.
5. A.K. Somani, J. Ritcey, and S. Au. Computationally efficient Phased-Mission reliability analysis for systems with variable configurations. IEEE Trans, on Reliability, Vol 41, No 4, pp. 504-511, Dec 1992.
6. T. Sakaguchi. Development of the hierarchical Stochastic Reward Net Solver Package. Master’s Thesis, Dept, of Electrical Engineering, University of Washington, Seattle, 1997.
7. A.K. Somani, Samir Palnitkar, and Tilak Sharma. Reliability Modeling of Systems with Latent Failures Using Markov Chains. Proc. on Annual Reliability and Maintainability Symposium 1993.