论文标题
基于模型的分析支持国际象棋中可靠的复杂系统
Model-based analysis support for dependable complex systems in CHESS
论文作者
论文摘要
与可靠的复杂系统相关的挑战是异质性的，并且涉及系统的不同方面。一方面，决策过程需要考虑许多选择。另一方面，系统的逻辑体系结构的设计必须考虑各种可靠性问题，例如安全性，可靠性和安全性。此外，在高保险系统的情况下，必须使用严格的方法进行此类问题的分析。在本文中，我们介绍了国际象棋的新开发，这是一种跨域，模型驱动的，基于组件的和开源工具，用于开发高融合系统。我们专注于新的国际象棋新近分布式版本，该版本支持基于扩展模型的开发和安全和安全问题的分析。最后，我们为几个国际研究项目提供了国际象棋的贡献。
The challenges related to dependable complex systems are heterogeneous and involve different aspects of the system. On one hand, the decision-making processes need to take into account many options. On the other hand, the design of the system's logical architecture must consider various dependability concerns such as safety, reliability, and security. Moreover, in case of high-assurance systems, the analysis of such concerns must be performed with rigorous methods. In this paper, we present the new development of CHESS, a cross-domain, model-driven, component-based, and open-source tool for the development of high-integrity systems. We focus on the new recently distributed version of CHESS, which supports extended model-based development and analyses for safety and security concerns. Finally, we present contributions of CHESS to several international research projects.
