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.

中文翻译：

---

CHESS 中对可靠复杂系统的基于模型的分析支持

与可靠的复杂系统相关的挑战是异构的，涉及系统的不同方面。一方面，决策过程需要考虑多种选择。另一方面，系统逻辑架构的设计必须考虑安全性、可靠性和安全性等各种可靠性问题。此外，在高保证系统的情况下，必须使用严格的方法对此类问题进行分析。在本文中，我们介绍了 CHESS 的新发展，这是一种用于开发高完整性系统的跨域、模型驱动、基于组件的开源工具。我们专注于最近发布的 CHESS 新版本，它支持基于扩展模型的开发以及针对安全和安保问题的分析。最后，