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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
Lee, E.A.: Cyber Physical Systems: Design Challenges. In: Proc. of ISORC 2008, Orlando, FL, USA, pp. 363–369 (2008)
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)
Williams, B., Camp, T.: Comparison of Broadcasting Techniques for Mobile Ad Hoc Networks. In: Proc. of MobiHoc 2002, pp. 194–205. ACM, Lausanne (2002)
Eugster, P.T., Guerraoui, R., Handurukande, S.B., Kouznetsov, P., Kermarrec, A.-M.: Lightweight probabilistic broadcast. ACM TOCS 21, 341–374 (2003)
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)
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)
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)
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)
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)
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-03
OSI: OSI Basic Reference Model: The Basic Model - ISO/IEC 7498-1, http://standards.iso.org
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)
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)
Eugster, P., Felber, P., Le Fessant, F.: The “Art” of Programming Gossip-based Systems. ACM SIGOPS Oper. Syst. Rev. 41, 37–42 (2007)
Taiani, F., Lin, S., Blair, S.G.: GossipKit: A Unified Component Framework for Gossip. IEEE Trans. Softw. Eng. PP, 1–17 (2013)
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)
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)
Kermarrec, A.-M., Van Steen, M.: Gossiping in distributed systems. ACM SIGOPS Oper. Syst. Rev. 41, 2–7 (2007)
Karp, B., Kung, H.T.: GPSR: Greedy Perimeter Stateless Routing for Wireless Networks. In: Proc. of MobiCom 2000, pp. 243–254. ACM, Boston (2000)
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)
Miranda, H., Leggio, S., Rodrigues, L., Raatikainen, K.: A Power-Aware Broadcasting Algorithm. In: Proc. of PIMRC 2006, pp. 1–5. IEEE, Helsinki (2006)
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)
Liu, H., Parashar, M., Hariri, S.: A Component Based Programming Framework for Autonomic Applications. In: Proc. of ICAC 2004, pp. 10–17 (2004)
Kramer, J., Magee, J.: Self-managed systems: an architectural challenge. In: Proc. of FOSE 2007, pp. 259–268. IEEE, Minneapolis (2007)
Baresi, L., Guinea, S., Tamburrelli, G.: Towards Decentralized Self-adaptive Component-based Systems. In: Proc. of SEAMS 2008, pp. 57–64. ACM, Leipzig (2008)
Peper, C., Schneider, D.: Component engineering for adaptive ad-hoc systems. In: Proceedings of SEAMS 2008, pp. 49–56. ACM, Leipzig (2008)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Bures, T., Gerostathopoulos, I., Hnetynka, P., Keznikl, J., Kit, M., Plasil, F. (2014). Gossiping Components for Cyber-Physical Systems. In: Avgeriou, P., Zdun, U. (eds) Software Architecture. ECSA 2014. Lecture Notes in Computer Science, vol 8627. Springer, Cham. https://doi.org/10.1007/978-3-319-09970-5_23
Download citation
DOI: https://doi.org/10.1007/978-3-319-09970-5_23
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-09969-9
Online ISBN: 978-3-319-09970-5
eBook Packages: Computer ScienceComputer Science (R0)