Some of the key features of HIMAP are:

• Creating and maintaining component libraries
• Hierarchical modeling using fault trees, fault trees with repairs, markov chains, and stochastic petri nets
• Phased Mission Analysis
• Modeling and analysis Scheduled Maintenance systems
  

The solvers used in HIMAP are:

• EHARP [2]
• Fault Tree Solver [3]
• Hierarchical Reward Net Solver package [6]

HIMAP is currently available both in UNIX and Windows environment

• X-Windows version for Sun
• Windows 95/NT
  

Here are some of the pictures of the various modeling environment in HIMAP.

• Fault Tree Editor
• Markov Chain Editor
• Stochastic Petri Net Editor
  

For a detailed description of what HIMAP is and how to use, download the HIMAP manual

• The Himap Manual (Revision 2.0) ( Postscript, 45.5 MBytes )
  

If you are interested in getting an evaluation copy of HIMAP, please contact

Prof. Arun K. Somani
3108 Coover Hall
Department of Electrical and Computer Engineering
Iowa State University
Ames, IA 50011.

References

J.B. Dugan, K.S. Trivedi, M.K. Smotherman, and R.M. Geist. The Hybrid Automated Reliability Predictor. AIAA Journal of Guidance, Control and Dynamics, vol. 9, no. 3, May-June 1986, pp. 319-331.

A.K. Somani, U.R. Sandadi, A. Gupta, P.C. Leung. EHARP: Enhanced Hybrid Automated Reliability Predictor. Tech Report, DPCNL, University of Washington, Seattle, December 1993.

A. Anand and A. K. Somani. Hierarchical Analysis of Fault Trees with Dependencies, Using Decomposition. in the Proc. of RAMS-1998, Los Angeles, January 1998.

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, December 1992.

G. Krishnamurthi, A. Gupta, and A.K. Somani. The HIMAP Modeling Environment. DCL Tech Report, Iowa State University, Ames, Mar 1998.

T. Sakaguchi. Development of the hierarchical Stochastic Reward Net Solver Package. Master's Thesis, Dept. of Electrical Engineering, University of Washington, Seattle, 1997.

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.

Murari Sridharan, Srinivasan Ramasubramanian, and Arun K. Somani. HIMAP: Architecture, Features and Hierarchical Model Specification Techniques, in Proc. of the10th International Conference for Modeling, Techniques, and Tools for Computer Performance Evaluation, Spain, September 1998.

Top