Title:Model-based analysis support for dependable complex systems in CHESS

Abstract:One of the issues in dependable complex systems execution process is the presence of a high dimension of decisions to be taken into account when deciding the next action to be taken. While in designing the logical architecture of a system, various dependability aspects such as safety, reliability, and security must be considered. Moreover, in case of high-assurance systems, it is required to analyze these aspects with rigorous methods. In this paper, we present an open-source tool called \textbf{CHESS}, a cross-domain model-based engineering environment, along with various analysis support for dependable complex systems. CHESS enforces the decoupling of different functional parts of the system as components that can be modeled, analyzed, verified, stored, reused individually, and later be integrated to meet the system's common goal. Extended from UML/SysML and MARTE, the CHESSML modeling language supports the modeling of real-time dependable systems including safety and security aspects. In CHESS the user can perform different model-based analyses to ensure system dependability at various stages of the development. As a result, we present the newly released CHESS features and we will show how CHESS contributed to several research projects.