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

  • Paolo Masci
  • Nicola Nostro
  • Felicita Di Giandomenico
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6968)


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.


Heterogeneous Network Overlay Network Label Transition System Dependability Mechanism Input Gate 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Connect: Emergent connectors for Eternal Software Intensive Networked Systems (2009-2013),
  2. 2.
    Akamai Technologies, Inc. Akamai sureroute for failover and performance (2003)Google Scholar
  3. 3.
    Andersen, D., Balakrishnan, H., Kaashoek, F., Morris, R.: Resilient overlay networks. SIGOPS Oper. Syst. Rev. 35, 131–145 (2001)CrossRefGoogle Scholar
  4. 4.
    Andersen, D.G.: Mayday: Distributed Filtering for Internet Services. In: 4th Usenix Symposium on Internet Technologies and Systems, Seattle, WA (March 2003)Google Scholar
  5. 5.
    Bondavalli, A., Cin, M.D., Latella, D., Majzik, I., Pataricza, A., Savoia, G.: Dependability analysis in the early phases of uml-based system design. Language 16(5), 265–275 (2001)Google Scholar
  6. 6.
    Braden, R.T.: RFC 1122: Requirements for Internet hosts—communication layers (October 1989)Google Scholar
  7. 7.
    Carmona, J., Cortadella, J., Kishinevsky, M.: Genet: A tool for the synthesis and mining of petri nets. In: ACSD 2009, pp. 181–185. IEEE Computer Society, Washington, DC, USA (2009)Google Scholar
  8. 8.
    CONNECT Consortium. Deliverable D5.2 – Dependability Assurance (available soon) (2011)Google Scholar
  9. 9.
    Csertan, G., Huszerl, G., Majzik, I., Pap, Z., Pataricza, A., Varro, D., Varró, D.: Viatra - visual automated transformations for formal verification and validation of uml models. In: 17th IEEE International Conference on Automated Software Engineering (ASE 2002), pp. 267–270 (2002)Google Scholar
  10. 10.
    Daly, D., Deavours, D.D., Doyle, J.M., Webster, P.G., Sanders, W.H.: Möbius: An extensible tool for performance and dependability modeling. In: Haverkort, B.R., Bohnenkamp, H.C., Smith, C.U. (eds.) TOOLS 2000. LNCS, vol. 1786, pp. 332–336. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  11. 11.
    Keromytis, A.D., Misra, V., Rubenstein, D.: Sos: Secure overlay services. In: Proceedings of ACM SIGCOMM, pp. 61–72 (2002)Google Scholar
  12. 12.
    Kurian, J., Sarac, K.: A survey on the design, applications, and enhancements of application-layer overlay networks. ACM Comput. Surv. 43, 5:1–5:34 (2010)Google Scholar
  13. 13.
    Masci, P., Martinucci, M., Di Giandomenico, F.: Towards automated dependability analysis of dynamically connected systems. In: Proc. 10th Intl. Symposium On Autonomous Decentralised Systems, ISADS 2011 (2011)Google Scholar
  14. 14.
    Movaghar, A.: Stochastic activity networks: a new definition and some properties. Scientia Iranica 8(4), 303–311 (2001)MathSciNetzbMATHGoogle Scholar
  15. 15.
    Movaghar, A., Meyer, J.F.: Performability modelling with stochastic activity networks. In: Proc. of the 1984 Real-Time Systems Symposium, pp. 215–224 (1984)Google Scholar
  16. 16.
    Murata, T.: Petri nets: Properties, analysis and applications. Proceedings of the IEEE 77(4), 541–580 (1989)CrossRefGoogle Scholar
  17. 17.
    Petri, C.A.: Kommunikation mit Automaten. PhD thesis, Technische Hochschule Darmstadt (1961)Google Scholar
  18. 18.
    ReSIST Consortium. EU project ReSIST: Resilience for Survivability in IST. Deliverable D33: Resilience-explicit computing. Technical report (2008),
  19. 19.
    Rugina, A.-E., Kanoun, K., Kaâniche, M.: A system dependability modeling framework using AADL and gSPNs. In: de Lemos, R., Gacek, C., Romanovsky, A. (eds.) Architecting Dependable Systems IV. LNCS, vol. 4615, pp. 14–38. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  20. 20.
    Rugina, A.-E., Kanoun, K., Kaaniche, M.: The adapt tool: From aadl architectural models to stochastic petri nets through model transformation. In: Seventh European Dependable Computing Conference, pp. 85–90 (2008)Google Scholar
  21. 21.
    Sanders, W.H., Meyer, J.F.: Stochastic activity networks: formal definitions and concepts. In: Lectures on Formal Methods and Performance Analysis: First EEF/Euro Summer School on Trends in Computer Scienc, pp. 315–343. Springer-Verlag New York, Inc., New York (2002)Google Scholar
  22. 22.
    Subramanian, L., Stoica, I., Balakrishnan, H., Katz, R.H.: Overqos: offering internet qos using overlays. SIGCOMM Comput. Commun. Rev. 33, 11–16 (2003)CrossRefGoogle Scholar
  23. 23.
    Zeng, W., Zhu, Y., Lu, H., Zhuang, X.: Path-diversity p2p overlay retransmission for reliable ip-multicast. IEEE Transactions on Multimedia 11(5), 960–971 (2009)CrossRefGoogle Scholar
  24. 24.
    Zhou, Z., Peng, Z., Cui, J.-H., Shi, Z.: Efficient multipath communication for time-critical applications in underwater acoustic sensor networks. IEEE/ACM Trans. Netw. 19, 28–41 (2011)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Paolo Masci
    • 1
  • Nicola Nostro
    • 2
  • Felicita Di Giandomenico
    • 2
  1. 1.Queen Mary University of LondonUK
  2. 2.ISTI-CNRPisaItaly

Personalised recommendations