Accurate analysis and modeling is essential to successfully develop large complex systems that are responsive, reliable and highly available. The most challenging problem for modeling is to manage the complexity of both the model specification and its analysis. There are a variety of valuable advances that have been developed in largely academic settings that have not made the transition to the commercial marketplace. These techniques, such as hybrid modeling and stochastic decomposition methods require sophisticated tool support, but promise to greatly increase our ability to analyze and understand large complex systems. The proposed effort will focus on designing an extensible toolset suitable for commercial use which supports hierachical models, modeling formalisms and using different solution techniques.
Keywords: performance reliability availability modeling stochastic processes simulation analysis
