Gossiping components for cyber-physical systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 8627 LNCS, Issue , 2014, Pages 250-266

  Bures, Tomas ^a,b   Gerostathopoulos, Ilias ^a   Hnetynka, Petr ^a   Keznikl, Jaroslav ^a,b   Kit, Michal ^a   Plasil, Frantisek ^a  

^a CHARLES UNIVERSITY   (Czech Republic)

^b INSTITUTE OF COMPUTER SCIENCE   (Czech Republic)

Author keywords

Component; Cyber Physical Systems; Ensemble; Gossip; MANET

Indexed keywords

COMPLEX NETWORKS; EMBEDDED SYSTEMS; MOBILE AD HOC NETWORKS; SOFTWARE ARCHITECTURE;

COMPONENT; CYBER PHYSICAL SYSTEMS (CPSS); ENSEMBLE; GOSSIP; MANET;

DYNAMICS;

EID: 84958526505     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-319-09970-5_23     Document Type: Conference Paper

References (28)

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)
2. Lee, E.A.: Cyber Physical Systems: Design Challenges. In: Proc. of ISORC 2008, Orlando, FL, USA, pp. 363-369 (2008)
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)
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)
5. Eugster, P.T., Guerraoui, R., Handurukande, S.B., Kouznetsov, P., Kermarrec, A.-M.: Lightweight probabilistic broadcast. ACM TOCS 21, 341-374 (2003)
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)
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)
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)
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)
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)
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-03
12. OSI: OSI Basic Reference Model: The Basic Model-ISO/IEC 7498-1, http://standards.iso.org
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)
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)
15. Eugster, P., Felber, P., Le Fessant, F.: The "Art" of Programming Gossip-based Systems. ACM SIGOPS Oper. Syst. Rev. 41, 37-42 (2007)
16. Taiani, F., Lin, S., Blair, S.G.: GossipKit: A Unified Component Framework for Gossip. IEEE Trans. Softw. Eng. PP, 1-17 (2013)
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)
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)
19. Kermarrec, A.-M., Van Steen, M.: Gossiping in distributed systems. ACM SIGOPS Oper. Syst. Rev. 41, 2-7 (2007)
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)
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)
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)
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)
24. Liu, H., Parashar, M., Hariri, S.: A Component Based Programming Framework for Autonomic Applications. In: Proc. of ICAC 2004, pp. 10-17 (2004)
25. Kramer, J., Magee, J.: Self-managed systems: An architectural challenge. In: Proc. of FOSE 2007, pp. 259-268. IEEE, Minneapolis (2007)
26. Baresi, L., Guinea, S., Tamburrelli, G.: Towards Decentralized Self-adaptive Componentbased Systems. In: Proc. of SEAMS 2008, pp. 57-64. ACM, Leipzig (2008)
27. Peper, C., Schneider, D.: Component engineering for adaptive ad-hoc systems. In: Proceedings of SEAMS 2008, pp. 49-56. ACM, Leipzig (2008)
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)