论文标题
部分可观测时空混沌系统的无模型预测
Formal Methods for Characterization and Analysis of Quality Specifications in Component-based Systems
论文作者
论文摘要
基于组件的设计范式由于现代系统复杂性的多产而至关重要。由于组件主要是由多方供应商开发的，并且经常组装以实现整体系统，因此设计师的责任是证明此类系统的功能和非功能性要求。一些早期的作品集中于正式分析此类组成系统的行为正确性，安全性，安全性，可靠性和鲁棒性。但是，对此类系统的质量度量的保证也被认为是其接受的重要参数。质量措施的形式化仍然处于不成熟状态，通常由用户满意度决定。本文提出了一个新颖的组成框架，可从其组成部分的形式质量规范中对基于组件的系统的可靠质量分析。所提出的框架可以为基于各个组件的系统结构的质量属性提供优雅而通用的计算方法。除此之外，我们还提供了正式的查询质量评估和设计探索框架，使设计人员能够探索各种组件结构和操作设置，并最终融合到更好可接受的系统中。在基于组件的系统结构上介绍了详细的案例研究，以显示我们提出的框架的功效和实用性。
Component-based design paradigm is of paramount importance due to prolific growth in the complexity of modern-day systems. Since the components are developed primarily by multi-party vendors and often assembled to realize the overall system, it is an onus of the designer to certify both the functional and non-functional requirements of such systems. Several of the earlier works concentrated on formally analyzing the behavioral correctness, safety, security, reliability and robustness of such compositional systems. However, the assurance for quality measures of such systems is also considered as an important parameter for their acceptance. Formalization of quality measures is still at an immature state and often dictated by the user satisfaction. This paper presents a novel compositional framework for reliable quality analysis of component-based systems from the formal quality specifications of its constituent components. The proposed framework enables elegant and generic computation methods for quality attributes of various component-based system structures. In addition to this, we provide a formal query-driven quality assessment and design exploration framework which enables the designer to explore various component structures and operating setups and finally converge into better acceptable systems. A detailed case-study is presented over a component-based system structure to show the efficacy and practicality of our proposed framework.
