2011 | OriginalPaper | Buchkapitel
On Enabling Dependability Assurance in Heterogeneous Networks through Automated Model-Based Analysis
verfasst von : Paolo Masci, Nicola Nostro, Felicita Di Giandomenico
Erschienen in: Software Engineering for Resilient Systems
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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.