Integrated Environment for Performance, Reliability and Availability Modeling.Phase 1

摘要

There are a variety of analysis techniques and representation formalisms thathave been developed to support the performance, reliability and availability analysis of complex systems. Such techniques include discrete-event simulation, numerical analysis of stochastic processes and product-form combinatorial methods. All these techniques have different strengths and limitations. The research community has developed several new specification and analysis techniques that have demonstrated dramatic improvements in capability over the technology in common use today. Most of these new techniques exploit some form of system decomposition, requiring the combination of multiple submodels, perhaps represented using different formalisms, and possibly analyzed in parallel using different computers. This STTR project aimed to design a new architecture for an integrated modeling environment that would support the fundamental operations necessary to allow sophisticated modeling techniques to be applied easily in practice. The project led to the development of the SMART and MDL languages, and a corresponding academic prototype.