Himap: Architecture, features, and hierarchical model specification techniques

Abstract

Accurate analysis of complex systems for their reliability and performance is a challenging task. Development of powerful and easy-to-use tools allow engineers and system designers to accurately model such systems. Several tools have been developed addressing these needs, HIMAP is one such tool that helps analyze system behavior that are used in multi-phased missions and in systems that employ scheduled maintenance. The tool accounts for the effects of phase changes, that may include configuration and behavior changes, and maintenance of components. In this paper, we describe the most important features of HIMAP and hierarchical model specification techniques that al- low easy development and solution of models.