2002 · 59 citations · 0 references
EngineeringComputer ScienceSystems EngineeringFormal MethodsReal-time SystemsStochastic ModelingAvailability EngineeringDiscrete-event SimulationMarkov ChainsReliability ModelingReliable System DesignSimulation MethodsAvailability ModelingAvailability ModellingContinuous-time Markov ChainsDiscrete-time Markov ChainsDiscrete-time Markov ProcessesSystem ReliabilitySystem Reliability AssessmentSystem Reliability Modeling
SMART is a new tool for performance, reliability, availability, and performability modeling. Numerical solution algorithms are available for both continuous- and discrete-time Markov chains. Mixed-time non-Markovian models can be studied using simulation. Multiple interacting models and fixed-point iterative techniques for the decomposition and solution of complex models can be easily specified. To assist in the model specification and help in avoiding common mistakes, the input language is strongly typed.