Model-based analysis support for dependable complex systems in CHESS - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

Model-based analysis support for dependable complex systems in CHESS

Felicien Ihirwe
  • Fonction : Auteur
Pierluigi Pierini
  • Fonction : Auteur
  • PersonId : 1039472
Silvia Mazzini
  • Fonction : Auteur
Stefano Tonetta
  • Fonction : Auteur
  • PersonId : 1081478

Résumé

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. Finally, we present contributions of CHESS to several international research projects.
Fichier principal
Vignette du fichier
Model_based_analysis_support_for_dependable_complex_systems_in_CHESS (1).pdf (985.53 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03002722 , version 1 (12-11-2020)

Identifiants

  • HAL Id : hal-03002722 , version 1

Citer

Alberto Debiasi, Felicien Ihirwe, Pierluigi Pierini, Silvia Mazzini, Stefano Tonetta. Model-based analysis support for dependable complex systems in CHESS. 9th International Conference on Model-Driven Engineering and Software Development, Feb 2021, Vienna (Online), Austria. ⟨hal-03002722⟩
150 Consultations
116 Téléchargements

Partager

Gmail Facebook X LinkedIn More