HIMAP is a comprehensive reliability analysis package developed at the Dependable Computing Lab.
HIMAP enables the user to model any system as a Fault Tree, Markov-chain, or a Stochastic Petri-Net. The package provides the user the ability to break down the system into smaller modules to help the user analyse the system more thoroughly. This provision helps the user not only to calculate the reliability of the system, but also that of the modules that comprise the system. This helps the user get a more complete picture of the system under analysis.
Another unique feature of HIMAP is the facility of creating global and local databases (libraries) of components of systems. This is advantageous as it saves the user time which would have otherwise been spent in redefining the components for each application.
HIMAP is a phased-mission analysis software package. This gives the user an oppurtunity to divide the whole operation into different phases and then link all the phases into a mission. This helps the user get a much better idea about the components which influence the systems reliablity.
HIMAP provides:
|
a front-end to tools like E-HARP, SETS and SDM. |
|
the facility to analyse a system with the option of repair and maintainance of components after each mission. |
HIMAP is an ideal package to analyse any practical system which could mean as complicated as a passenger aircraft or a relatively more simple system like a car.
The package has a X-Windows based GUI which makes working with the
software really easy. HIMAP is portable over SUN SPARC and HP systems, and a Windows®
version for PC is also available.
|
HIMAP Fault Tree Editor |
|
HIMAP Markov Chain Editor |
|
HIMAP Stochastic Petri Net Editor |
|
The HIMAP Manual
(Revision 2.0) (Postscript, 2.0
MBytes) |
|
Dr. Arun K. Somani |