loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Alberto Debiasi 1 ; Felicien Ihirwe 2 ; Pierluigi Pierini 2 ; Silvia Mazzini 2 and Stefano Tonetta 1

Affiliations: 1 Embedded Systems Unit, Fondazione Bruno Kessler (FBK), Povo, Italy ; 2 Innovation Technology Service Lab, Intecs Solutions Spa, Pisa, Italy

Keyword(s): CHESS, Model Driven Engineering, Complex Systems, Dependability Analysis.

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.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 54.163.200.109

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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 - MODELSWARD; ISBN 978-989-758-487-9; ISSN 2184-4348, SciTePress, pages 262-269. DOI: 10.5220/0010269702620269

@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 - MODELSWARD},
year={2021},
pages={262-269},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0010269702620269},
isbn={978-989-758-487-9},
issn={2184-4348},
}

TY - CONF

JO - Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development - MODELSWARD
TI - Model-based Analysis Support for Dependable Complex Systems in CHESS
SN - 978-989-758-487-9
IS - 2184-4348
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
PB - SciTePress