Model-based analysis support for dependable complex systems in CHESS

TL;DR

This paper introduces the latest version of CHESS, a model-driven tool supporting rigorous safety and security analysis for dependable high-integrity complex systems, enhancing decision-making and architectural design.

Contribution

The paper presents the new distributed version of CHESS, extending model-based development and analysis capabilities for safety and security in high-assurance systems.

Findings

Supports extended model-based development for safety and security

Enables rigorous analysis of dependability concerns

Contributes to international research projects

Abstract

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.