Skip to main content
SpringerLink
Log in

Towards Predictable Vehicular Networks

  • Chapter
  • First Online:
Intelligent Transportation Systems

Part of the book series: Studies in Systems, Decision and Control ((SSDC,volume 52))

  • 2297 Accesses

Abstract

Communication primitives consider information delivery with different guarantees regarding their reliability. The provision of reliability and predictability needs to overcome a number of challenges with respect to failures and a number of known impossibility results. This chapter covers a number of these challenges in the context of vehicular systems and networks. We start by showing the medium access control (MAC) protocol for wireless mobile ad hoc networks can recover from timing failures and message collision and yet provide a predictable schedule in a time-division fashion without the need for external reference, such as commonly synchronized clock. We then consider the case of transport layer protocols and show how to deal with settings in which messages can be omitted, reordered and duplicated. We also consider how mobile ad hoc networks and vehicular networks can organize themselves for emulating virtual nodes as well as emulating replicated state-machines using group communication. In this context, we discuss the different alternatives for overcoming well-known impossibilities when considering cooperative vehicular applications. Finally, we exemplify applications and discuss their validation.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. N.A. Lynch, Distributed Computing (Morgan Kaufmann Publishers, 1996). ISBN: 1-55860-348-4

    Google Scholar 

  2. M.J. Fischer, N.A. Lynch, and M.Paterson (ed.), Impossibility of distributed consensus with one faulty process. J. ACM 32(2), 374–382 (1985)

    Google Scholar 

  3. Friedhelm Meyer auf der Heide, C.A. Phillips (eds.), Best-Effort Group Service in Dynamic Networks, in SPAA 2010: Proceedings of the 22nd Annual ACM Symposium on Parallelism in Algorithms and Architectures, Thira, Santorini, Greece, June13-15, 2010, (ACM, 2010), pp. 233–242. ISBN: 978-1-4503-0079-7

    Google Scholar 

  4. E.W. Dijkstra, Self-stabilizing systems in spite of distributed control. ACM Commun. 17(11), 643–644 (1974). doi:10.1145/361179.361202

    Article  MATH  Google Scholar 

  5. S. Dolev, Self-Stabilization (MIT Press, Cambridge, 2000)

    Google Scholar 

  6. Autonomous TDMA Alignment for VANETs, in Proceedings of the 76th IEEE Vehicular Technology Conference, VTC Fall 2012, Quebec City, QC, Canada, September 3-6, 2012, (IEEE, 2012), pp. 1–5. ISBN: 978-1-4673-1880-8. doi:10.1109/VTCFall..6399373

  7. P. Leone, M. Papatriantafilou and E.M. Schiller, Relocation Analysis of Stabilizing MAC Algorithms for Large-Scale Mobile Ad Hoc Networks, Lecture Notes in Computer Science, vol. 5804 (Springer, 2009), pp. 203–217. ISBN: 978-3-642-05433-4. doi:10.1007/978-3-642-05434-1_21

    Google Scholar 

  8. P. Leone, E. Schiller, Self-stabilizing TDMA algorithms for dynamic wireless ad hoc networks. Int. J. Distrib. Sens. Netw. 2013 (2013). doi:10.1155/2013/639761

    Google Scholar 

  9. P. Leone, M. Papatriantafilou, E. M. Schiller, and G. Zhu (eds.), Chameleon-MAC: Adaptive and Self-* Algorithms for Media Access Control in Mobile Ad Hoc Networks, in Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings, Lecture Notes in Computer Science, vol. 6366 (Springer, 2010), pp. 468–488. ISBN: 978-3-642-16022-6. doi:10.1007/978-3-642-16023-3_37

    Google Scholar 

  10. T. Petig, E. Schiller, and P. Tsigas Self-stabilizing TDMA Algorithms for Wireless Ad-hoc Networks without External Reference, in 13th Annual Mediterranean Ad Hoc Networking Workshop, MED-HOC-NET 2014, Piran, Slovenia, June 2-4, 2014, (IEEE, 2014), pp. 87–94. ISBN: 978-1-4799-5258-8. doi:10.1109/MedHocNet.2014.6849109

  11. S. Dolev, A. Hanemann, E. M. Schiller, and S. Sharma (eds.), Self-stabilizing End-to-End Communication in (bounded capacity, omitting, duplicating and non-fifo) Dynamic Networks, in Stabilization, Safety, and Security of Distributed Systems - 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings, Lecture Notes in Computer Science, vol. 7596 (Springer, 2012), pp. 133–147. ISBN: 978-3-642-33535-8. doi:10.1007/978-3-642-33536-5_14

    Google Scholar 

  12. S. Dolev, O. Liba, and E. M. Schiller (eds.), Self-stabilizing Byzantine Resilient Topology Discovery and Message Delivery, in Networked Systems - First International Conference, NETYS 2013, Marrakech, Morocco, May 2-4, 2013, Revised Selected Papers, Lecture Notes in Computer Science, vol. 7853 (Springer, 2013), pp. 42–57. ISBN: 978-3-642-40147-3. doi:10.1007/978-3-642-40148-0_4

    Google Scholar 

  13. S. Dolev, E. Schiller, Communication adaptive self-stabilizing group membership service. IEEE Trans. Parallel Distrib. Syst. 14(7), 709–720 (2003). doi:10.1109/TPDS.2003.1214322

    Article  Google Scholar 

  14. S. Dolev, E. Schiller, Self-stabilizing group communication in directed networks. Acta Informatica 40(9), 609–636 (2004). doi:10.1007/s00236-004-0143-1

  15. K.P. Birman, R. van Renesse et al., Reliable Distributed Computing with the Isis Toolkit, vol. 85 (IEEE Computer Society Press, Los Alamitos, 1994)

    Google Scholar 

  16. A. Bartoli, Implementing a replicated service with group communication. J. Syst. Architect. 50(8), 493–519 (2004). doi:10.1016/j.sysarc.2003.11.003

    Article  Google Scholar 

  17. K. Birman (ed.), A History of the Virtual Synchrony Replication Model, in Replication: Theory and Practice, Lecture Notes in Computer Science, vol. 5959 (Springer, 2010), pp. 91–120. ISBN: 978-3-642-11293-5. doi:10.1007/978-3-642-11294-2_6

    Google Scholar 

  18. R. Khazan, A. Fekete, and N. A. Lynch (eds.), Multicast Group Communication as a Base for a Load-Balancing Replicated Data Service, in Distributed Computing, 12th International Symposium, DISC ’98, Andros, Greece, September 24-26, 1998, Proceedings, Lecture Notes in Computer Science, vol. 1499 (Springer, 1998), pp. 258–272. ISBN: 3-540-65066-0. doi:10.1007/BFb0056488

    Google Scholar 

  19. S. Dolev, C. Georgiou, I. Marcoullis, and E. M. Schiller (eds.), Practically Stabilizing Virtual Synchrony, in Stabilization, Safety, and Security of DistributedSystems - 17th International Symposium, SSS 2015, Edmonton, Canada, August 18-21, 2015. Proceedings, Lecture Notes in Computer Science (Springer, 2015)

    Google Scholar 

  20. S. Dolev, T. Petig, and E. M. Schiller (eds.), Brief Announcement: Robust and Private Distributed Shared Atomic Memory in Message Passing Networks, in Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing, PODC 2015, Donostia-San Sebastián, Spain, July 21 - 23, 2015, (ACM, 2015), pp. 311–313. ISBN: 978-1-4503-3617-8. doi:10.1145/2767386.2767450

  21. R. Fan and N. A. Lynch (eds.), Efficient Replication of Large Data Objects, in Distributed Computing, 17th International Conference, DISC 2003, Sorrento, Italy, October 1-3, 2003,Proceedings, Lecture Notes in Computer Science, vol. 2848 (Springer, 2003), pp. 75–91. ISBN: 3-540-20184-X. doi:10.1007/978-3-540-39989-6_6

    Google Scholar 

  22. S. Dolev, S. Gilbert, E. Schiller, A. A. Shvartsman, and J. L. Welch (eds.), Autonomous Virtual Mobile Nodes, in Joint Workshop on Foundations of Mobile Computing (DIALM-POMC), (2005), pp. 62–69. ISBN: 1-58113-986-1. doi:10.1145/1073970.1074004

  23. S. Dolev, S. Gilbert, E. Schiller, A. A. Shvartsman, and J. L. Welch (eds.), Autonomous Virtual Mobile Nodes, in SPAA 2005: Proceedings of the 17th Annual ACM Symposium on Parallelism in Algorithms and Architectures, July 18-20, 2005, Las Vegas,Nevada, USA (ACM, 2005), p. 215

    Google Scholar 

  24. S. Dolev, S. Gilbert, N. A. Lynch, E. Schiller, A. A. Shvartsman, and J. L. Welch (eds.), Brief Announcement: Virtual Mobile Nodes for Mobile Ad Hoc Networks, in Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Distributed Computing, PODC 2004, St. John’s, Newfoundland, Canada, July 25-28, 2004, (ACM, 2004), p. 385

    Google Scholar 

  25. S. Dolev, S. Gilbert, N. A. Lynch, E. Schiller, A. A. Shvartsman, and J. L. Welch (eds.), Virtual Mobile Nodes for Mobile Ad Hoc Networks, in Distributed Computing, 18th International Conference, DISC 2004, Amsterdam, The Netherlands, October 4-7, 2004, Proceedings, Lecture Notes in Computer Science, vol. 3274 (Springer, 2004), pp. 230–244. ISBN: 3-540-23306-7. doi:10.1007/978-3-540-30186-8_17

    Google Scholar 

  26. S. Dolev, S. Gilbert, L. Lahiani, N. A. Lynch, and T. Nolte (eds.), Timed Virtual Stationary Automata for Mobile Networks, in Principles of Distributed Systems, 9th International Conference, OPODIS 2005, Pisa, Italy, December 12-14, 2005, RevisedSelected Papers, Lecture Notes in Computer Science, vol. 3974 (Springer, 2005), pp. 130–145. ISBN: 3-540-36321-1. doi:10.1007/11795490_12

    Google Scholar 

  27. S. Dolev, E. Schiller, J.L. Welch, Random walk for self-stabilizing group communication in ad hoc networks. IEEE Trans. Mob. Comput. 5(7), 893–905 (2006). doi:10.1109/TMC.2006.104

    Article  Google Scholar 

  28. Z. Bar-Yossef, R. Friedman, G. Kliot, RaWMS—random walk based lightweight membership service for wireless ad hoc networks. ACM Trans. Comput. Syst. 26(2) (2008). doi:10.1145/1365815.1365817

    Google Scholar 

  29. J. Luo, P.T. Eugster, J.-P. Hubaux, Pilot: probabilistic lightweight group communication system for ad hoc networks. IEEE Trans. Mob. Comput. 3(2), 164–179 (2004) doi:10.1109/TMC.2004.12

    Google Scholar 

  30. O. Morales-Ponce, E. M. Schiller, and P. Falcone (eds.), Cooperation with Disagreement Correction in the Presence of Communication Failures, in (IEEE, 2014), Intelligent Transportation Systems (ITSC), 2014 IEEE 17th International Conference on, pp. 1105–1110

    Google Scholar 

  31. O. Morales Ponce, E.M. Schiller, P. Falcone, Cooperation with Disagreement Correction in the Presence of Communication Failures. In: CoRR abs/1408.7035 (2014). arXiv:1408.7035

  32. B. Kulcsar, O. Morales-Ponce, M. Papatriantafilou, E.M. Schiller and P. Tsigas (ed.), Cooperative Driving for Best Road Network Capacity, Nationella Konferens i Transportforskning (2013)

    Google Scholar 

  33. R. Kianfar, P. Falcone, J. Fredriksson, Safety verification of automated driving systems. IEEE Intell. Transp. Syst. Mag. 5(4), 73–86 (2013). doi:10.1109/MITS.2013.2278405

    Article  Google Scholar 

  34. J.H. Lala, R.E. Harper, S. Alger, A design approach for utrareliable real-time systems. IEEE Comput. 24(5), 12–22 (1991). doi:10.1109/2.76283

    Article  Google Scholar 

  35. A. Fekete et al., The impossibility of implementing reliable communication in the face of crashes. J. ACM 40(5), 1087–1107 (1993)

    Article  MATH  MathSciNet  Google Scholar 

  36. M.J. Fischer, N.A. Lynch, M. Merritt, Easy impossibility proofs for distributed consensus problems. Distrib. Comput. 1(1), 26–39 (1986)

    Article  MATH  Google Scholar 

  37. N.A. Lynch, Distributed Algorithms (Morgan Kaufmann Publishers, 1996). ISBN:1-55860-348-4

    Google Scholar 

  38. J.-F. Hermant, G. Le Lann, Fast asynchronous uniform consensus in real-time distributed systems. IEEE Trans. Comput. 51(8), 931–944 (2002)

    Article  Google Scholar 

  39. M. K. Aguilera, G. L. Lann, and S. Toueg (eds.), On the Impact of Fast Failure Detectors on Real-Time Fault-Tolerant Systems, in Distributed Computing, 16th International Conference, DISC 2002, Toulouse, France, October 28-30, 2002 Proceedings, Lecture Notes in Computer Science, vol. 2508 (Springer, 2002), pp. 354–370. ISBN: 3-540-00073-9

    Google Scholar 

  40. S.P. Boyd et al., Randomized gossip algorithms. IEEE Trans. Inf. Theory. 52(6), 2508–2530 (2006)

    Article  MATH  Google Scholar 

  41. C. Georgiou, S. Gilbert, D.R. Kowalski, Meeting the bdeadline: on the complexity of fault-tolerant continuous gossip. Distrib. Comput. 24(5), 223–244 (2011)

    Article  MATH  Google Scholar 

  42. A. Casimiro et al., A Kernel-Based Architecture for Safe Cooperative Vehicular Functions, Industrial Embedded Systems (SIES), 2014 9th IEEE International Symposium on, June 2014, pp. 228–237. doi:10.1109/SIES.2014.6871208

  43. A. Casimiro, O. Morales Ponce, T. Petig, and E.M. Schiller (ed.), Vehicular Coordination via a Safety Kernel in the Gulliver Test-Bed, in Distributed Computing Systems Workshops (ICDCSW), 2014 IEEE 34th International Conference on, June 2014, pp. 167–176. doi:10.1109/ICDCSW.2014.25

  44. C. Berger, O. M. Ponce, T. Petig, and E. M. Schiller (eds.), Driving with Confidence: Local Dynamic Maps that Provide LoS for the Gulliver Test-Bed, in 3rd Workshop on Architecting Safety in Collaborative Mobile Systems (ASCoMS), Florence, Italy, September 8-9, 2014. Proceedings, Lecture Notes in Computer Science, vol. 8696 (Springer, 2014), pp. 36–45. ISBN: 978-3-319-10556-7. doi:10.1007/978-3-319-10557-4_6

    Google Scholar 

  45. J. Ibanez-Guzman, S. Lefevre, A. Mokkadem, and S. Rodhaim (ed.), Vehicle to Vehicle Communications Applied to Road Intersection Safety, Field Results, in Intelligent Transportation Systems (ITSC), 2010 13th International IEEE Conference on Sep 2010, pp. 192–197. doi:10.1109/ITSC.2010.5625246

  46. A. Casimiro et al. (eds.), KARYON: Towards Safety Kernels for Cooperative Vehicular Systems, in Stabilization, Safety, and Security of Distributed Systems - 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings, Lecture Notes in Computer Science, vol. 7596 (Springer, 2012), pp. 232–235. ISBN: 978-3-642-33535-8. doi:10.1007/978-3-642-33536-5_22

    Google Scholar 

  47. P.N.D.  Costa, J. Craveiro, A. Casimiro, and J. Rufino (eds.), Safety Kernel for Cooperative Sensor-Based Systems, in SAFECOMP 2013 - Workshop ASCoMS (Architecting Safety in Collaborative Mobile Systems) of the 32nd International Conference onComputer Safety, Reliability and Security, Toulouse, France, 2013, (HAL, 2013). http://hal.archives-ouvertes.fr/SAFECOMP2013-ASCOMS/hal-00847903

  48. E. Vial and A. Casimiro (eds.), Evaluation of Safety Rules in a Safety Kernel-Based Architecture, in SAFECOMP 2014 - Workshop ASCoMS (Architecting Safety inCollaborative Mobile Systems) of the 33rd International Conference on Computer Safety, Reliability and Security, Florence, Italy, September 8-9, 2014. Proceedings, Lecture Notes in Computer Science, vol. 8696 (Springer, 2014), pp. 27–35. ISBN: 978-3-319-10556-7. doi:10.1007/978-3-319-10557-4_5

    Google Scholar 

  49. M. Pahlavan, M. Papatriantafilou, and E. M. Schiller (ed.), Gulliver: A Test-Bed for Developing, Demonstrating and Prototyping Vehicular Systems, in Proceedings of the 75th IEEE Vehicular Technology Conference, VTC Spring 2012, Yokohama, Japan, May 6-9, 2012, (IEEE, 2012), pp. 1–2. ISBN: 978-1-4673-0989-9. doi:10.1109/VETECS.2012.6239951

  50. C. Berger et al., Bridging physical and digital traffic system simulations with the gulliver test-bed, in Proceedings of 5th International Workshop on Communication Technologies for Vehicles, Nets4Cars/Nets4Trains 2013, Villeneuve d’Ascq, France, 14–15 May 2013, ed. by Marion Berbineau et al., vol. 7865. Lecture Notes in Computer Science (Springer, 2013), pp. 169–184. ISBN: 978-3-642-37973-4. doi:10.1007/978-3-642-37974-1_14

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science and Engineering, Chalmers University of Technology, Gothenburg, Sweden

    Elad Michael Schiller

Authors
  1. Elad Michael Schiller
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Elad Michael Schiller .

Editor information

Editors and Affiliations

  1. Instituto de Telecomunicações, Campus Universitário de Santiago, Aveiro, Portugal

    Muhammad Alam

  2. Campus Universitário de Santiago, Instituto de Telecomunicações, Aveiro, Portugal

    Joaquim Ferreira

  3. Campus Universitário de Santiago, Instituto de Telecomunicações, Aveiro, Portugal

    José Fonseca

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing Switzerland

About this chapter

Cite this chapter

Schiller, E.M. (2016). Towards Predictable Vehicular Networks. In: Alam, M., Ferreira, J., Fonseca, J. (eds) Intelligent Transportation Systems. Studies in Systems, Decision and Control, vol 52. Springer, Cham. https://doi.org/10.1007/978-3-319-28183-4_7

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-28183-4_7

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-28181-0

  • Online ISBN: 978-3-319-28183-4

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation