Towards A Theory of Hierarchical Modeling

当前的性能和可靠性建模技术和工具是 被认为是，本身，在很大程度上不足以获得现实的 预测超大规模电子系统的行为。 许多作者都遇到了难以处理的困难， 大规模的模型，并采取了各种专门的，广告 特殊技术。 这个项目的重点是发展一个高层次的形式主义 （语言）用于规范、组成、分解和 大规模性能和可靠性模型的解决方案。 是 预计这种形式主义的模型组成将有助于 在组装这些大规模系统的模型， 了解错误以及通过以下方式实现的效率增益 替代模型组合结构。 自动化模型 管道系统有望出现。

Current performance and reliability modeling techniques and tools are seen to be, by themselves, largely inadequate for obtaining realistic predictions of the behavior of very large scale electronics systems. Numerous authors have experienced difficulties with tractability of large scale models, and have resorted to a variety of specialized, ad hoc techniques. The focus of this project is the development of a high-level formalism (language) for the specification, composition, decomposition, and solution of large scale performance and reliability models. It is expected that this formalism for model composition will aid the modeler in assembling models of these large scale systems and in understanding the errors as well as the gain in efficiency achieved by alternative model composition structures. An automated model pipefitting system is expected to emerge.