Gossiping Components for Cyber-Physical Systems

  • Tomas Bures
  • Ilias Gerostathopoulos
  • Petr Hnetynka
  • Jaroslav Keznikl
  • Michal Kit
  • Frantisek Plasil
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8627)

Abstract

Developing software for dynamic cyber-physical systems (CPS) is a complex task. One has to deal with the dynamicity and unreliability of the physical environment where the software resides in, while, at the same time, provide sufficient levels of dependability and scalability. Although emerging software engineering abstractions, such as dynamic ad-hoc component ensembles, provide a convenient way to structure software for dynamic CPS, they need to be mapped to robust decentralized execution schemes in real-life settings. A particular challenge in this context is the robust distributed data dissemination in dynamic networks. Gossip-based communication stands as a promising solution to this challenge. We argue, that exploitation of application-specific information, software architecture in particular, has a large potential for improving the robustness and performance of gossip-based communication. This paper proposes a synergy between high-level architectural models and low-level communication models to effectively enable application-specific gossiping in component-based systems. The synergy is exemplified on the DEECo component model which is tailored to the needs and specifics of CPS, and evaluated on an emergency coordination case study with realistic network configurations.

Keywords

Component Ensemble Gossip Cyber-Physical Systems MANET 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Beetz, K., Böhm, W.: Challenges in Engineering for Software-Intensive Embedded Systems. In: Model-Based Engineering of Embedded Systems, pp. 3–14. Springer (2012)Google Scholar
  2. 2.
    Lee, E.A.: Cyber Physical Systems: Design Challenges. In: Proc. of ISORC 2008, Orlando, FL, USA, pp. 363–369 (2008)Google Scholar
  3. 3.
    Friedman, R., Gavidia, D., Rodrigues, L., Viana, A.C., Voulgaris, S.: Gossiping on MANETs: The Beauty and the Beast. ACM SIGOPS Oper. Syst. Rev. 41, 67–74 (2007)CrossRefGoogle Scholar
  4. 4.
    Williams, B., Camp, T.: Comparison of Broadcasting Techniques for Mobile Ad Hoc Networks. In: Proc. of MobiHoc 2002, pp. 194–205. ACM, Lausanne (2002)Google Scholar
  5. 5.
    Eugster, P.T., Guerraoui, R., Handurukande, S.B., Kouznetsov, P., Kermarrec, A.-M.: Lightweight probabilistic broadcast. ACM TOCS 21, 341–374 (2003)CrossRefGoogle Scholar
  6. 6.
    Tseng, Y.-C., Ni, S.-Y., Chen, Y.-S., Sheu, J.-P.: The Broadcast Storm Problem in a Mobile Ad Hoc Network. Wirel. Networks 8, 153–167 (2002)CrossRefMATHGoogle Scholar
  7. 7.
    Bures, T., Gerostathopoulos, I., Hnetynka, P., Keznikl, J., Kit, M., Plasil, F.: DEECo – an Ensemble-Based Component System. In: Proc. of CBSE 2013, pp. 81–90. ACM, Vancouver (2013)Google Scholar
  8. 8.
    Ali, R., Al, B.T., Gerostathopoulos, I., Keznikl, J., Plasil, F.: Architecture Adaptation Based on Belief Inaccuracy Estimation. To appear in Proc. of WICSA 2014 (2014)Google Scholar
  9. 9.
    Drabkin, V., Friedman, R., Kliot, G., Segal, M.: RAPID: Reliable Probabilistic Dissemination in Wireless Ad-Hoc Networks. In: Proc. of SRDS 2007, pp. 13–22. IEEE, Beijing (2007)Google Scholar
  10. 10.
    Barnat, J., Benes, N., Bures, T., Cerna, I., Keznikl, J., Plasil, F.: Towards Verification of Ensemble-Based Component Systems. In: Fiadeiro, J.L., Liu, Z., Xue, J. (eds.) FACS 2013. LNCS, vol. 8348, pp. 41–60. Springer, Heidelberg (2014)Google Scholar
  11. 11.
    Bures, T., Gerostathopoulos, I., Hnetynka, P., Keznikl, J., Kit, M., Plasil, F.: Computational Model for Gossiping Components in Cyber-Physical Systems. Charles University in Prague, TR no. D3S-TR-2014-03Google Scholar
  12. 12.
    OSI: OSI Basic Reference Model: The Basic Model - ISO/IEC 7498-1, http://standards.iso.org
  13. 13.
    Yoo, J., Kim, C.-k.: On the Hidden Terminal Problem in Multi-rate Ad Hoc Wireless Networks. In: Kim, C. (ed.) ICOIN 2005. LNCS, vol. 3391, pp. 479–488. Springer, Heidelberg (2005)Google Scholar
  14. 14.
    Rivière, E., Baldoni, R., Li, H., Pereira, J.: Compositional gossip: A conceptual architecture for designing gossip-based applications. ACM SIGOPS Oper. Syst. Rev. 41, 43–50 (2007)CrossRefGoogle Scholar
  15. 15.
    Eugster, P., Felber, P., Le Fessant, F.: The “Art” of Programming Gossip-based Systems. ACM SIGOPS Oper. Syst. Rev. 41, 37–42 (2007)CrossRefGoogle Scholar
  16. 16.
    Taiani, F., Lin, S., Blair, S.G.: GossipKit: A Unified Component Framework for Gossip. IEEE Trans. Softw. Eng. PP, 1–17 (2013)Google Scholar
  17. 17.
    Branco, M., Leitão, J., Rodrigues, L.: Bounded Gossip: A Gossip Protocol for Large-Scale Datacenters. In: Proc. of SAC 2013, pp. 591–596. ACM, Coimbra (2013)Google Scholar
  18. 18.
    Khelil, A., Suri, N.: Gossiping: Adaptive and Reliable Broadcasting in MANETs. In: Bondavalli, A., Brasileiro, F., Rajsbaum, S. (eds.) LADC 2007. LNCS, vol. 4746, pp. 123–141. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  19. 19.
    Kermarrec, A.-M., Van Steen, M.: Gossiping in distributed systems. ACM SIGOPS Oper. Syst. Rev. 41, 2–7 (2007)CrossRefGoogle Scholar
  20. 20.
    Karp, B., Kung, H.T.: GPSR: Greedy Perimeter Stateless Routing for Wireless Networks. In: Proc. of MobiCom 2000, pp. 243–254. ACM, Boston (2000)Google Scholar
  21. 21.
    Cartigny, J., Simplot, D.: Border Node Retransmission Based Probabilistic Broadcast Protocols in Ad-Hoc Networks. In: Proc. of HICSS 2003, pp. 303–312. IEEE, Hawaii (2003)Google Scholar
  22. 22.
    Miranda, H., Leggio, S., Rodrigues, L., Raatikainen, K.: A Power-Aware Broadcasting Algorithm. In: Proc. of PIMRC 2006, pp. 1–5. IEEE, Helsinki (2006)Google Scholar
  23. 23.
    Serugendo, G.D.M., Fitzgerald, J., Romanovsky, A.: MetaSelf – An Architecture and a Development Method for Dependable Self- * Systems. In: Proc. of SAC 2010, pp. 457–461. ACM, Sierre (2010)Google Scholar
  24. 24.
    Liu, H., Parashar, M., Hariri, S.: A Component Based Programming Framework for Autonomic Applications. In: Proc. of ICAC 2004, pp. 10–17 (2004)Google Scholar
  25. 25.
    Kramer, J., Magee, J.: Self-managed systems: an architectural challenge. In: Proc. of FOSE 2007, pp. 259–268. IEEE, Minneapolis (2007)Google Scholar
  26. 26.
    Baresi, L., Guinea, S., Tamburrelli, G.: Towards Decentralized Self-adaptive Component-based Systems. In: Proc. of SEAMS 2008, pp. 57–64. ACM, Leipzig (2008)Google Scholar
  27. 27.
    Peper, C., Schneider, D.: Component engineering for adaptive ad-hoc systems. In: Proceedings of SEAMS 2008, pp. 49–56. ACM, Leipzig (2008)Google Scholar
  28. 28.
    Morin, B., Barais, O., Jezequel, J.-M., Fleurey, F., Solberg, A.: Models at Runtime to Support Dynamic Adaptation. Computer (Long. Beach. Calif.) 42, 44–51 (2009)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Tomas Bures
    • 1
    • 2
  • Ilias Gerostathopoulos
    • 1
  • Petr Hnetynka
    • 1
  • Jaroslav Keznikl
    • 1
    • 2
  • Michal Kit
    • 1
  • Frantisek Plasil
    • 1
  1. 1.Faculty of Mathematics and PhysicsCharles University in PraguePragueCzech Republic
  2. 2.Institute of Computer ScienceAcademy of Sciences of the Czech RepublicPragueCzech Republic

Personalised recommendations