Markov Modeling Programs


CARE III (Computer Aided Reliability Estimation) (COSMIC)

Models highly reliable, non-repairable systems complex, redundant, fault tolerable systems). Accepts fault trees, non-homogeneous Markov chains, and semi-Markov chains as input. Provides numerical values or graphical plots on reliability coverage data. Cannot model repairable behavior. These programs are written in FORTRAN IV. 

CARE®  RBD Markov Model (http://www.bqr.com)

The CARE® RBD module is the ultimate tool for the project management and system engineering personnel for reliability Allocation and reliability Calculation. The RBD tool provides six basic model types that provide engineering personnel with capability to model the functionality of ANY complex system (electronic, mechanical and software).
The Markov model uses states and transitions (State Transition Diagram) of corresponding sub blocks.
The entire Markov block fails only if a predefined failure state, in the State Transition Diagram, is reached as a result of random failures in the sub-blocks.
The software provides the following results:  MTBF\FPMH, Reliability, Availability, Down Time (Hrs),  MTTR (Min).

CARMS (Computer-Aided Rate Modeling and Simulation) (DAINA)

This program is an interactive Markov, Semi-Markov, and nonlinear Markov analysis with adaptive Runge-Kutta and backwards-difference solutions modeling tool designed for reliability, availability, and maintainability analysis of redundant systems. Models are constructed through a graphical state diagram, transition matrix, or expert system and all simulation results are displayed graphically. The program comes complete with a 250 page book called "Markov Modeling for Reliability Analysis". 

CARSA (Computer Aided Redundant System Reliability Analysis) (COSMIC)

This program facilitates the reliability assessment for fault tolerant reconfigurable systems. CARSA utilizes Markov modeling for failure effect coverage. CARSA bypasses disadvantages of Markov modeling (the large number of states required to model a system with many internal consolidation nodes) by partitioning the system so that the Markov model is a lower dimension. 

MARKOV1 (Decision Systems Associates)

General purpose software to build and solve Markov models. 

MKV (Isograph Inc)

Some reliability problems can be solved effectively using the Markov analysis technique. This method analyses state transition diagrams. Steady state or time dependent transition rates are allowed. The time dimension can be divided into phases that could represent different operating modes such as maintenance tasks or varying loads.
 


PC Availability (Markov) (Management Sciences)

Modeling system availability using block diagrams and Markov analysis. Provides a method for studying the influence of alternative failure rates and repair rates, and logistics support on system availability. Outputs include steady state or point in time calculations, double precision calculations, output data extraction and report generation. Allows modeling of dependent failure rates and repair times, sensitivity analysis of component failure rates and repair times. 

RAP (Reliability and Availability Program) (COSMIC)

Provides reliability, availability, and maintainability analyses for naval shipboard use. Models probabilistic behavior of a set of equipment as a continuous time, homogeneous, discrete state Markov Process. The statistical probability of the system being in a macro state during a mission is computed. These statistics are translated into a measure of system reliability and availability for each mission phase. 

SURE (Semi-Markov Unreliability Range Evaluator) (COSMIC)

An analysis tool for reconfigurable, fault tolerant systems. This program calculates accurate upper and lower limits for the death-states for a large class of semi-Markov models within a specified mission time.


Menu for Tools | Main Menu