Abstract
This paper presents a systematic literature review of platooning systems with a special focus on the strategies which have been adopted to validate platooning algorithms. We collect the existing studies in the platooning field. The proposed algorithms are compared based on some criteria including platooning operations, communication modes, and validation strategies. Our paper allows researchers to identify the contributions that deal with some issues related to platooning systems. Also, it shows several challenges which need to be tackled.
Article PDF
Explore related subjects
Find the latest articles, discoveries, and news in related topics.Avoid common mistakes on your manuscript.
References
K. Zhang, X. Li, C. Xie, Y. Wang, L. Li, C. Fei, et al., A scenario-reconfigurable simulator for verifying service-oriented cooperation mechanisms and policies of connected intelligent vehicles, Int. J. Softw. Innov. 7 (2019), 44–62.
Z. Bělinová, P. BureŠ, P. Jesty, Intelligent transport system architecture different approaches and future trends, in: J. Düh, H. Hufnagl, E. Juritsch, R. Pfliegl, H.K. Schimany, H. Schönegger (Eds.), Data and mobility, Springer, Berlin, Heidelberg, 2010, pp. 115–125.
D. Mèry, N.K. Singh, Formal specification of medical systems by proof-based refinement, ACM Trans. Embed. Comput. Syst. 12 (2013), 1–25.
M. D’Souza, R.N. Kashi, Avionics self-adaptive software: towards formal verification and validation, in: G. Fahrnberger, S. Gopinathan, L. Parida (Eds.), International Conference on Distributed Computing and Internet Technology, Springer, Cham, 2019, pp. 3–23.
P. Kavathekar, Y. Chen, Vehicle platooning: a brief survey and categorization, Proceedings of the ASME 2011 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, American Society of Mechanical Engineers Digital Collection, Washington, DC, 2011, pp. 829–845.
D. Jia, K. Lu, J. Wang, X. Zhang, X. Shen, A survey on platoon-based vehicular cyber-physical systems, IEEE Commun. Surveys Tutor. 18 (2015), 263–284.
E. Kulla, N. Jiang, E. Spaho, N. Nishihara, A survey on platooning techniques in vanets, in: L. Barolli, N. Javai, M. Ikeda, M. Takizawa (Eds.), 12th International Conference on Complex, Intelligent, and Software Intensive Systems (CISIS), Springer, Cham, 2018, pp. 650–659.
A.K. Bhoopalam, N. Agatz, R. Zuidwijk, Planning of truck platoons: a literature review and directions for future research, Transport. Res. B 107 (2018), 212–228.
L. Zhang, F. Chen, X. Ma, X. Pan, Fuel economy in truck platooning: a literature overview and directions for future research, J. Adv. Transport. 2020 (2020), 2604012.
B. Kitchenham, O. Pearl Brereton, D. Budgen, M. Turner, J. Bailey, S. Linkman, Systematic literature reviews in software engineering – a systematic literature review, Inform. Softw. Technol. 51 (2009), 7–15.
M. Amoozadeh, H. Deng, C.N. Chuah, H. Michael Zhang, D. Ghosal, Platoon management with cooperative adaptive cruise control enabled by VANET, Vehicul. Commun. 2 (2015), 110–123.
S.E. Shladover, C. Nowakowski, X.Y. Lu, R. Ferlis, Cooperative adaptive cruise control: definitions and operating concepts, Transport. Res. Rec. 2489 (2015), 145–152.
S. Zeadally, R. Hunt, Y.S. Chen, A. Irwin, A. Hassan, Vehicular ad hoc networks (VANETS): status, results, and challenges, Telecommun. Syst. 50 (2012), 217–241.
S. Maiti, S. Winter, L. Kulik, A conceptualization of vehicle platoons and platoon operations, Transport. Res. C 80 (2017), 1–19.
D.L. McGuinness, F. van Harmelen, OWL web ontology language overview, W3C Recommend. 10 (2004), 2004.
B. Ledbetter, S. Wehunt, M.A. Rahman, M.H. Manshaei, LIPs: a protocol for leadership incentives for heterogeneous and dynamic platoons, 2019 IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC), IEEE, Milwaukee, WI, USA, 2019, pp. 535–544.
M. Nofer, P. Gomber, O. Hinz, D. Schiereck, Blockchain, Bus. Inform. Syst. Eng. 59 (2017), 183–187.
M.H. Basiri, B. Ghojogh, N.L. Azad, S. Fischmeister, F. Karray, M. Crowley, Distributed nonlinear model predictive control and metric learning for heterogeneous vehicle platooning with cut-in/cut-out maneuvers, arXiv preprint arXiv:2004.00417, 2020.
A. Böhm, K. Kunert, Data age based MAC scheme for fast and reliable communication within and between platoons of vehicles, 2016 IEEE 12th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob), IEEE, New York, NY, USA, 2016, pp. 1–9.
S. Maiti, S. Winter, L. Kulik, S. Sarkar, The impact of flexible platoon formation operations, IEEE Trans. Intell. Vehicl. 5 (2020), 229–239.
H.Q. Le, I. Rashdan, S. Sand, Communication protocol for platoon of electric vehicles in mixed traffic scenarios, 2016 IEEE 27th Annual International Symposium on Personal, Indoor, and Mobile Radio Communications (PIMRC), IEEE, Valencia, Spain, 2016, pp. 1–5.
D. Eckhoff, N. Sofra, R. German, A performance study of cooperative awareness in ETSI ITS G5 and IEEE WAVE, 2013 10th Annual Conference on Wireless On-demand Network Systems and Services (WONS), IEEE, Banff, AB, Canada, 2013, pp. 196–200.
H. Hu, R. Lu, Z. Zhang, TPSQ: trust-based platoon service query via vehicular communications, Peer-to-Peer Netw. Appl. 10 (2017), 262–277.
M. Aramrattana, T. Larsson, C. Englund, J. Jansson, Nabo, Simulation of cut-in by manually driven vehicles in platooning scenarios, 2017 IEEE 20th International Conference on Intelligent Transportation Systems (ITSC), IEEE, Yokohama, Japan, 2017, pp. 1–6.
C. Sommer, R. German, F. Dressler, Bidirectionally coupled network and road traffic simulation for improved IVC analysis, IEEE Trans. Mob. Comput. 10 (2011), 3–15.
D. Krajzewicz, J. Erdmann, M. Behrisch, L. Bieker, Recent development and applications of SUMO — simulation of urban mobility, Int. J. Adv. Syst. Measure. 5 (2012), 128–138.
A. Paranjothi, M. Atiquzzaman, M.S. Khan, PMCD: platoon-merging approach for cooperative driving, Internet Technol. Lett. 3 (2020), e139.
G.F. Riley, T.R. Henderson, The ns-3 network simulator, in: K. Wehrle, M. Güneş, J. Gross (Eds.), Modeling and tools for network simulation, Springer, Berlin, Heidelberg, 2010, pp. 15–34.
S. Yang, S.E. Shladover, X.Y. Lu, J. Spring, D. Nelson, H. Ramezani, A first investigation of truck drivers’ on-the-road experience using cooperative adaptive cruise control, University of California, Berkeley, 2018.
M. Segata, S. Joerer, B. Bloessl, C. Sommer, F. Dressler, R. Lo Cigno, Plexe: a platooning extension for veins, 2014 IEEE Vehicular Networking Conference (VNC), IEEE, Paderborn, Germany, 2014, pp. 53–60.
M. Guériau, Self-organizing traffic based on dynamic platoon configuration, 2019 IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI), IEEE, Portland, OR, USA, 2019, pp. 1618–1622.
M. Guériau, B. Dafflon, F. Gechter, Vips: a simulator for platoon system evaluation, Simul. Modell. Pract. Theory 77 (2017), 157–176.
Y. Wang, Y. Zhou, W. Li, G. Wang, L. Ren, R. Huang, Design of a cooperative vehicular platoon system based on Zynq/SoC architecture, 11th EAI International Conference on Communications and Networking in China (ChinaCom), Springer, Cham, 2018, pp. 335–344.
P. Moorthy, N. Kapre, Zedwulf: power-performance tradeoffs of a 32-node Zynq SoC cluster, 2015 IEEE 23rd Annual International Symposium on Field-Programmable Custom Computing Machines, IEEE, Vancouver, BC, Canada, 2015, pp. 68–75.
L.J. Chen, T. Sun, N.C. Liang, An evaluation study of mobility support in zigbee networks, J. Signal Process. Syst. 59 (2010), 111–122.
M. Omae, N. Honma, K. Usami, Flexible and energy-saving platooning control using a two-layer controller, Int. J. Intell. Transport. Syst. Res. 10 (2012), 115–126.
A. Mendes, J.F. Ferreira, Towards verified handwritten calculational proofs, in: J. Avigad, A. Mahboubi (Eds.), Ninth International Conference on Interactive Theorem Proving (ITP), Springer, Cham, 2018, pp. 432–440.
C. Baier, J.P. Katoen, Principles of model checking, MIT Press, New York, 2008.
S.A. Cook, The complexity of theorem-proving procedures, Proceedings of the Third Annual ACM Symposium on Theory of Computing (STOC), 1971, pp. 151–158.
L. Jin, M. Cičić, K.H. Johansson, S. Amin, Analysis and design of vehicle platooning operations on mixed-traffic highways, arXiv preprint arXiv:2002.08164, 2020.
B. Liu, D. Jia, K. Lu, D. Ngoduy, J. Wang, L. Wu, A joint control–communication design for reliable vehicle platooning in hybrid traffic, IEEE Trans. Vehicul. Technol. 66 (2017), 9394–9409.
R. Alur, D.L. Dill, A theory of timed automata, J. Theor. Comput. Sci. 126 (1994), 183–235.
J. Billington, S. Christensen, K. van Hee, E. Kindler, O. Kummer, L. Petrucci, et al., The petri net markup language: concepts, technology, and tool, in: W.M.P. van der Aalst (Ed.), 24th International Conference on Application and Theory of Petri Nets (ICATPN), Springer, Berlin, Heidelberg, 2003, pp. 483–505.
O. Karoui, M. Khalgui, A. Koubâa, E. Guerfala, Z. Li, E. Tovar, Dual mode for vehicular platoon safety: simulation and formal verification, Inform. Sci. 402 (2017), 216–232.
G. Behrmann, A. David, K. G. Larsen, A tutorial on UPPAAL, in: M. Bernardo, F. Corradini (Eds.), Formal methods for the design of real-time systems, Springer, Berlin, Heidelberg, 2004, pp. 200–236.
M. El-Zaher, J.M. Contet, P. Gruer, F. Gechter, A. Koukam, Compositional verification for reactive multi-agent systems applied to platoon non collision verification, Stud. Inform. Univ. 10 (2012), 119–141.
H.N. Chu, A. Glad, O. Simonin, F. Sempe, A. Drogoul, F. Charpillet, Swarm approaches for the patrolling problem, information propagation vs. pheromone evaporation, 19th IEEE international conference on tools with artificial intelligence (ICTAI), IEEE, Patras, Greece, 2007, pp. 442–449.
S. Bensalem, V. Ganesh, Y. Lakhnech, C. Munoz, S. Owre, H. Rueß, et al., An overview of SAL, in: C. Michael Holloway, Fifth NASA Langley Formal Methods Workshop, IEEE, Williamsburg, VA, 2000.
C. Peng, M.M. Bonsangue, Z. Xu, Model checking longitudinal control in vehicle platoon systems, IEEE Access 7 (2019), 112015–112025.
J.M. Spivey, J.R. Abrial, The Z notation: a reference manual, Prentice Hall, Hemel Hempstead, 1992.
J.R. Abrial, M.K.O. Lee, D.S. Neilson, P.N. Scharbach, I.H. Sørensen, The B-method, in: S. Prehn, H. Toetenel (Eds.), VDM’91 Formal Software Development Methods, Springer, Berlin, Heidelberg, 1991, pp. 398–405.
T.S. Hoang, A. Fürst, J.R. Abrial, Event-B patterns and their tool support, Softw. Syst. Model. 12 (2013), 229–244.
O. Simonin, A. Lanoix, A. Scheuer, F. Charpillet, Specifying in B the Influence/Reaction Model to Study Situated MAS: Application to vehicles platooning, V2CS First International workshop on Verification and Validation of multi-agent models for complex systems, CiteSeer, France, 2011, p. 15.
J. Ferber, J.P. Müller, Influences and reaction: a model of situated multiagent systems, Proceedings of the Second International Conference on Multi-agent Systems (ICMAS), 1996, pp. 72–79.
A. Rashid, U. Siddique, O. Hasan, Formal verification of platoon control strategies, in: E. Johnsen, I. Schaefer (Eds.), 16th International Conference on Software Engineering and Formal Methods (SEFM), Springer, Cham, 2018, pp. 223–238.
M.J.C. Gordon, HOL: a proof generating system for higher-order logic, in: G. Birtwistle, P.A. Subrahmanyam (Eds.), VLSI specification, verification and synthesis, Springer, Boston, MA, 1988, pp. 73–128.
P. André, J.M. Mottu, G. Ardourel, Building test harness from service-based component models, 10th International Workshop on Model Driven Engineering, Verification and Validation (MoDeVVa), Miami, USA, 2013, pp. 11–20.
J.M. Mottu, P. André, M. Coutant, T. Le Berre, Shall we test service-based models or generated code?, 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), IEEE, Munich, Germany, 2019, pp. 493–502.
A. Bouhoute, M. Mosbah, A. Zemmari, I. Berrada, On the application of machine learning for cut-in maneuver recognition in platooning scenarios, 2020 IEEE 91st Vehicular Technology Conference (VTC-Spring), IEEE, Antwerp, Belgium, 2020, pp. 1–5.
A. Adler, D. Miculescu, S. Karaman, Optimal policies for platooning and ride sharing in autonomy-enabled transportation, Workshop on Algorithmic Foundations of Robotics (WAFR), Springer, San Francisco, CA, 2016, pp. 848–863.
P. Mallozzi, M. Sciancalepore, P. Pelliccione, Formal verification of the on-the-fly vehicle platooning protocol, in: I. Crnkovic, E. Troubitsyna (Eds.), International Workshop on Software Engineering for Resilient Systems (SERENE), Springer, Cham, 2016, pp. 62–75.
M. Kamali, L.A. Dennis, O. McAree, M. Fisher, S.M. Veres, Formal verification of autonomous vehicle platooning, Sci. Comput. Program. 148 (2017), 88–106.
F. Fakhfakh, M. Tounsi, M. Mosbah, D. Méry, A.H. Kacem, Proving distributed coloring of forests in dynamic networks, Comput. Sist. 21 (2017), 863–881.
F. Fakhfakh, M. Tounsi, M. Mosbah, Formal modeling and verification of a distributed algorithm for constructing maximal cliques in static networks, Comput. Sist. 23 (2019), 1417–1427.
A. Ferreira, On models and algorithms for dynamic communication networks: the case for evolving graphs, 4e’me rencontres francophones sur les Aspects Algorithmiques des Télé communications (Algo-Tel), INRIA Press, 2002, pp. 155–161.
M.E.J. Newman, Random graphs as models of networks, in: S. Bornholdt, H.G. Schuster (Eds.), Handbook of graphs and networks, Wiley Online Library, Verlag GmbH & Co. KGaA, 2003, pp. 35–68.
T.M. King, A.A. Allen, R. Cruz, P.J. Clarke, Safe runtime validation of behavioral adaptations in autonomic software, International Conference on Autonomic and Trusted Computing, Springer, Berlin, Heidelberg, 2011, pp. 31–46.
ETSI: ES 201 873-1 V3.1.1, Methods for testing and specification (MTS). The testing and test control notation version 3, part 1: TTCN-3 core language, 2005.
A. Petrillo, A. Pescapé, S. Santini, A collaborative approach for improving the security of vehicular scenarios: the case of platooning, Comput. Commun. 122 (2018), 59–75.
F. Farokhi, I. Shames, K.H. Johansson, Private and secure coordination of match-making for heavy-duty vehicle platooning, IFAC-PapersOnLine 50 (2017), 7345–7350.
S. Dadras, S. Dadras, C. Winstead, Collaborative attacks on autonomous vehicle platooning, 2018 IEEE 61st International Midwest Symposium on Circuits and Systems (MWSCAS), IEEE, Windsor, ON, Canada, 2018, pp. 464–467.
U. Ahmad, H. Song, A. Bilal, M. Alazab, A. Jolfaei, Securing smart vehicles from relay attacks using machine learning, J. Supercomput. 76 (2020), 2665–2682.
A. Uchikawa, R. Hatori, T. Kuroki, H. Shigeno, Filter multicast: a dynamic platooning management method, 2010 Seventh IEEE Consumer Communications and Networking Conference (CCNC), IEEE, Las Vegas, NV, USA, 2010, pp. 1–5.
K.Y. Liang, J. Mårtensson, K.H. Johansson, Heavy-duty vehicle platoon formation for fuel efficiency, IEEE Trans. Intell. Transport. Syst. 17 (2015), 1051–1061.
A. Sarker, C. Qiu, H. Shen, A decentralized network with fast and lightweight autonomous channel selection in vehicle platoons for collision avoidance, 2016 IEEE 13th International Conference on Mobile Ad Hoc and Sensor Systems (MASS), IEEE, Brasilia, Brazil, 2016, pp. 272–280.
J. Larson, T. Munson, V. Sokolov, Coordinated platoon routing in a metropolitan network, Proceedings of the Seventh SIAM Workshop on Combinatorial Scientific Computing (CSC), SIAM, New Mexico, USA, 2016, pp. 73–82.
J. Heinovski, F. Dressler, Platoon formation: optimized car to platoon assignment strategies and protocols, 2018 IEEE Vehicular Networking Conference (VNC), IEEE, Taipei, Taiwan, 2018, pp. 1–8.
P. Wang, B. Di, H. Zhang, K. Bian, L. Song, Platoon cooperation in cellular V2X networks for 5G and beyond, IEEE Trans. Wireless Commun. 18 (2019), 3919–3932.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
This is an open access article distributed under the CC BY-NC 4.0 license (http://creativecommons.org/licenses/by-nc/4.0/).
About this article
Cite this article
Fakhfakh, F., Tounsi, M. & Mosbah, M. Vehicle Platooning Systems: Review, Classification and Validation Strategies. Int J Netw Distrib Comput 8, 203–213 (2020). https://doi.org/10.2991/ijndc.k.200829.001
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.2991/ijndc.k.200829.001