Model-based Analysis Support for Dependable Complex Systems in CHESS

Alberto Debiasi, Felicien Ihirwe, Pierluigi Pierini, Silvia Mazzini, Stefano Tonetta

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 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.

Download


Paper Citation


in Harvard Style

Debiasi A., Ihirwe F., Pierini P., Mazzini S. and Tonetta S. (2021). Model-based Analysis Support for Dependable Complex Systems in CHESS.In Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-487-9, pages 262-269. DOI: 10.5220/0010269702620269


in Bibtex Style

@conference{modelsward21,
author={Alberto Debiasi and Felicien Ihirwe and Pierluigi Pierini and Silvia Mazzini and Stefano Tonetta},
title={Model-based Analysis Support for Dependable Complex Systems in CHESS},
booktitle={Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2021},
pages={262-269},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0010269702620269},
isbn={978-989-758-487-9},
}


in EndNote Style

TY - CONF

JO - Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Model-based Analysis Support for Dependable Complex Systems in CHESS
SN - 978-989-758-487-9
AU - Debiasi A.
AU - Ihirwe F.
AU - Pierini P.
AU - Mazzini S.
AU - Tonetta S.
PY - 2021
SP - 262
EP - 269
DO - 10.5220/0010269702620269