We present the specification 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 specific dependability mechanisms in the connector from high-level specifications. 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

On Enabling Dependability Assurance in Heterogeneous Networks through Automated Model-Based Analysis / Paolo Masci; Nicola Nostro; Felicita Di Giandomenico. - STAMPA. - 6968:(2011), pp. 78-92. (Intervento presentato al convegno 3rd International Workshop on Software Engineering for Resilient Systems tenutosi a Geneva, Switzerland nel 2011) [10.1007/978-3-642-24124-6_7].

On Enabling Dependability Assurance in Heterogeneous Networks through Automated Model-Based Analysis

NOSTRO, NICOLA;DI GIANDOMENICO, FELICITA
2011

Abstract

We present the specification 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 specific dependability mechanisms in the connector from high-level specifications. 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
2011
Software Engineering for Resilient Systems Lecture Notes in Computer Science - Proc. Third International Workshop, SERENE 2011
3rd International Workshop on Software Engineering for Resilient Systems
Geneva, Switzerland
2011
Paolo Masci; Nicola Nostro; Felicita Di Giandomenico
File in questo prodotto:
File Dimensione Formato  
MNDG_serene11.pdf

Accesso chiuso

Tipologia: Altro
Licenza: Tutti i diritti riservati
Dimensione 326.92 kB
Formato Adobe PDF
326.92 kB Adobe PDF   Richiedi una copia

I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/605019
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 3
  • ???jsp.display-item.citation.isi??? ND
social impact