SOSP '01 Proceedings of the eighteenth ACM symposium on Operating systems principles
Stochastic activity networks: formal definitions and concepts
Lectures on formal methods and performance analysis
Proceedings of the 2002 conference on Applications, technologies, architectures, and protocols for computer communications
Möbius: An Extensible Tool for Performance and Dependability Modeling
TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
OverQoS: offering Internet QoS using overlays
ACM SIGCOMM Computer Communication Review
VIATRA " Visual Automated Transformations for Formal Verification and Validation of UML Models
Proceedings of the 17th IEEE international conference on Automated software engineering
Mayday: distributed filtering for internet services
USITS'03 Proceedings of the 4th conference on USENIX Symposium on Internet Technologies and Systems - Volume 4
The ADAPT Tool: From AADL Architectural Models to Stochastic Petri Nets through Model Transformation
EDCC-7 '08 Proceedings of the 2008 Seventh European Dependable Computing Conference
Path-diversity P2P overlay retransmissioll for reliable IP-multicast
IEEE Transactions on Multimedia
Genet: A Tool for the Synthesis and Mining of Petri Nets
ACSD '09 Proceedings of the 2009 Ninth International Conference on Application of Concurrency to System Design
A system dependability modeling framework using AADL and GSPNs
Architecting dependable systems IV
A survey on the design, applications, and enhancements of application-layer overlay networks
ACM Computing Surveys (CSUR)
IEEE/ACM Transactions on Networking (TON)
Towards Automated Dependability Analysis of Dynamically Connected Systems
ISADS '11 Proceedings of the 2011 Tenth International Symposium on Autonomous Decentralized Systems
| Hi-index | 0.00 |
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.