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

We present the specification of a basic library of dependability mechanisms that can be used within automated approaches for synthesising dependable

connect

ors 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

connect

or 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

connect

or 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

connect

ors at run-time.