DeepAI AI Chat
Log In Sign Up

Model-based analysis support for dependable complex systems in CHESS

by   Felicien Ihirwe, et al.
Fondazione Bruno Kessler

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.


Model-driven Engineering of Safety and Security Systems: A Systematic Mapping Study

This paper presents a systematic mapping study on the model-driven engin...

A Compendium on Distributed Systems

Computer systems have evolved over the years starting from sizable, sing...

System-of-Systems Viewpoint for System Architecture Documentation

Context: The systems comprising a system of systems (SoS) are inde- pend...

Sound Development of Safety Supervisors

Safety supervisors are controllers enforcing safety properties by keepin...

Application of Validation Obligations to Security Concerns

Our lives become increasingly dependent on safety- and security-critical...