On enabling dependability assurance in heterogeneous networks through automated model-based analysis

Abstract : We present the specifi cation of a basic library of dependability mechanisms that can be used within automated approaches for synthesising dependable Connectors in heterogeneous networks. The library builds on classical dependability patterns, such as majority voting and retry, and uses the concept of overlay networks for triggering the synthesis of speci fic dependability mechanisms in the Connector from high-level specifi cations. We translated such dependability mechanisms into SAN models with the aim to evaluate, through model-based analysis, which dependability mechanisms should be embedded in the synthesised Connector for ensuring a given dependability level between networked systems willing to be connected. A case study is also presented to show the application of selected library mechanisms. This work is carried out in the context of Connect, a European FET project which is investigating the possibility of enabling long-lasting inter-operation among networked systems by synthesising mediating Connectors at run-time.
Type de document :
Communication dans un congrès
3rd International Workshop on Software Engineering for Resilient Systems, Sep 2011, Geneva, Switzerland. 2011
Liste complète des métadonnées

Littérature citée [22 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00647365
Contributeur : Francesca Lonetti <>
Soumis le : jeudi 1 décembre 2011 - 21:05:13
Dernière modification le : mardi 31 juillet 2018 - 16:58:01
Document(s) archivé(s) le : vendredi 16 novembre 2012 - 14:05:45

Fichier

SERENE2011.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00647365, version 1

Collections

Citation

Paolo Masci, Nicola Nostro, Felicita Di Giandomenico. On enabling dependability assurance in heterogeneous networks through automated model-based analysis. 3rd International Workshop on Software Engineering for Resilient Systems, Sep 2011, Geneva, Switzerland. 2011. 〈hal-00647365〉

Partager

Métriques

Consultations de la notice

116

Téléchargements de fichiers

128