Recent Advances and Trends in On-Board Embedded and Networked Automotive Systems

IEEE Transactions on Industrial Informatics

Volumn 15, Issue 2, 2019, Pages 1038-1051

  Bello, Lucia Lo ^a   Mariani, Riccardo ^b   Mubeen, Saad ^c   Saponara, Sergio ^d  

^a UNIVERSITY OF CATANIA   (Italy)

^b INTEL CORPORATION   (United States)

^c MÄLARDALEN UNIVERSITY   (Sweden)

^d UNIVERSITY OF PISA   (Italy)

Author keywords

Automotive Ethernet; automotive software (SW); embedded systems; functional safety; on board security; real time (RT) networks; time sensitive networking

Indexed keywords

ACCIDENT PREVENTION; AUTOMOBILES; AUTOMOTIVE ENGINEERING; COMPUTER ARCHITECTURE; COMPUTER HARDWARE; COMPUTER SOFTWARE; HARDWARE; NETWORK ARCHITECTURE; SAFETY ENGINEERING; SOFTWARE DESIGN; STANDARDS;

AUTOMOTIVE SOFTWARE; FUNCTIONAL SAFETY; ON-BOARD SECURITY; REAL-TIME NETWORKS; TIME-SENSITIVE NETWORKING;

EMBEDDED SYSTEMS;

EID: 85056167368     PISSN: 15513203     EISSN: None     Source Type: Journal    
DOI: 10.1109/TII.2018.2879544     Document Type: Article

References (123)

1. Global Market Insights, "Embedded system market size by application, by product. Industry outlook report, regional analysis, application development potential, price trends, competitive market share & forecast, 2016 to 2023, " GlobalMarket Insights, Selbyville, DE, USA, Tech. Rep. GMI117, 2016.
2. F. Salewski and S. Kowalewski, "Hardware/software design considerations for automotive embedded systems, " IEEE Trans. Ind. Inform., vol. 4, no. 3, pp. 156-163, Aug. 2008.
3. S. Saponara, G. Pasetti, F. Tinfena, P. Dabramo, and L. Fanucci, "HVCMOS design and characterization of a smart rotor coil driver for automotive alternators, " IEEE Trans. Ind. Electron., vol. 60, no. 6, pp. 2309-2317, Jun. 2013.
4. Intel, "Technology and computing requirements for self-driving cars, " doc. no. 0514/RH/CMD/PDF, 2016.
5. S. Saponara, G. Ciarpi, and B. Neri, "System-level modelling/analysis and LNA design in low-cost automotive technology of a v2x wireless transceiver, " in Proc. 3rd IEEE Int. Forum Res. Technol. Soc. Ind. Leveraging Better Tomorrow, Sep. 2017, pp. 1-5.
6. P. Guturu, "Explosivewireless consumer demand for network bandwidthfifth generation and beyond [future directions], " IEEE Consum. Electron. Mag., vol. 6, no. 2, pp. 27-31, Apr. 2017.
7. S. Brunner, J. Roder, M. Kucera, and T. Waas, "Automotive e/earchitecture enhancements by usage of Ethernet TSN, " in Proc. IEEE 13th Workshop Intell. Solutions Embedded Syst., Jun. 2017, pp. 9-13.
8. J. Dvorak and Z. Hanzalek, "Using two independent channels with gateway for FlexRay static segment scheduling, " IEEE Trans. Ind. Inform., vol. 12, no. 5, p. 1887-1895, Oct. 2016.
9. ISO 11898-1, Road Vehicles-Interchange of Digital Information-Controller Area Network (CAN) for High-Speed Communication, ISO Standard-11898, Nov. 1993.
10. G. M. Zago and E. P. de Freitas, "A quantitative performance study on can and can FD vehicular networks, " IEEE Trans. Ind. Electron., vol. 65, no. 5, pp. 4413-4422, May 2018.
11. B. Kraemer, "Automotive Ethernet, " IEEE Commun. Mag., vol. 54, no. 12, pp. 4-4, Dec. 2016.
12. S. Saponara and B. Neri, "Radar sensor signal acquisition and multidimensional FFT processing for surveillance applications in transport systems, " IEEE Trans. Instrum. Meas., vol. 66, no. 4, pp. 604-6125, Apr. 2017.
13. A. Lucas, M. Iliadis, R. Molina, and A. K. Katsaggelos, "Using deep neural networks for inverse problems in imaging: Beyond analytical methods, " IEEE Signal Process. Mag., vol. 35, no. 1, pp. 20-36, Jan. 2018.
14. M. Al-Qizwini, I. Barjasteh, H. Al-Qassab, andH. Radha, "Deep learning algorithm for autonomous driving using GoogLeNet, " in Proc. IEEE Intell. Veh. Symp., Jun. 2017, pp. 89-96.
15. W. Shi, M. B. Alawieh, X. Li, H. Yu, N. Arechiga, and N. Tomatsu, "Efficient statistical validation of machine learning systems for autonomous driving, " in Proc. IEEE/ACM Int. Conf. Comput.-Aided Des., Nov. 2016, pp. 1-8.
16. C. Vallon, Z. Ercan, A. Carvalho, and F. Borrelli, "A machine learning approach for personalized autonomous lane change initiation and control, " in Proc. IEEE Intell. Veh. Symp., 2017, pp. 1590-1595.
17. N. Gallardo, N. Gamez, P. Rad, andM. Jamshidi, "Autonomous decision making for a driver-less car, " in Proc. 12th Syst. Syst. Eng. Conf., Jun. 2017, pp. 1-6.
18. C. Ilas, "Perception in autonomous ground vehicles, " in Proc. Int. Conf. Electron., Comput. Artif. Intell., Jun. 2013, pp. 1-6.
19. G. Prabhakar, B. Kailath, S. Natarajan, and R. Kumar, "Obstacle detection and classification using deep learning for tracking in high-speed autonomous driving, " in Proc. IEEE Region 10 Symp., Jul. 2017, pp. 1-6.
20. M. Giering, V. Venugopalan, and K. Reddy, "Multi-modal sensor registration for vehicle perception via deep neural networks, " in Proc. IEEE High Perform. Extreme Comput. Conf., Sep. 2015, pp. 1-6.
21. C. Laugier and J. Chartre, "Intelligent perception and situation awareness for automated vehicles, " in Proc. Conf. GTC Eur., 2016, pp. 1-22.
22. G. Tanzmeister and D. Wollherr, "Evidential grid-based tracking and mapping, " IEEE Trans. Intell. Transp. Syst., vol. 18, no. 6, pp. 1454-1467, Jun. 2017.
23. S. C. Talbot and S. Ren, "Comparision of fieldbus systems CAN, TTCAN, FlexRay and lin in passenger vehicles, " in Proc. 29th IEEE Int. Conf. Distrib. Comput. Syst. Workshops, 2009, pp. 26-31.
24. U. Keskin, "In-vehicle communication networks: A literature survey, " Comput. Sci., Technische Universiteit Eindhoven (TU/e), Eindhoven, The Netherlands, Tech. Rep., 2009.
25. S. Tuohy, M. Glavin, E. Jones, M. Trivedi, and L. Kilmartin, "Next generation wired intra-vehicle networks, a review, " in Proc. IEEE Intell. Veh. Symp., Jun. 2013, pp. 777-782.
26. N. Navet and F. Simonot-Lion, "In-vehicle communication networks, A historical perspective and review, " in Industrial Communication Technology Handbook, vol. 96, 2nd ed. Boca Raton, FL, USA: CRC Press, 2013.
27. S. Tuohy, M. Glavin, C. Hughes, E. Jones, M. Trivedi, and L. Kilmartin, "Intra-vehicle networks: A review, " IEEE Trans. Intell. Transp. Syst., vol. 16, no. 2, pp. 534-545, Apr. 2015.
28. W. Zeng, M. A. S. Khalid, and S. Chowdhury, "In-vehicle networks outlook: Achievements and challenges, " IEEE Commun. Surv. Tut., vol. 18, no. 3, pp. 1552-1571, Jul.-Sep. 2016.
29. C. Ebert and J. Favaro, "Automotive software, " IEEE Softw., vol. 34, no. 3, pp. 33-39, Jun. 2017.
30. M. Broy, I. Kruger, A. Pretschner, and C. Salzmann, "Engineering automotive software, " Proc. IEEE, vol. 95, no. 2, pp. 356-373, Feb. 2007.
31. J. Schroeder et al., "Predicting and evaluating software model growth in the automotive industry, " in Proc. IEEE Int. Conf. Softw. Maintenance Evol., Sep. 2017, pp. 584-593.
32. I. Baas, "A glimpse into the future of travel and its impact on marketing, " 2016. [Online]. Available: http: //www. Thedrum. com/opinion/ 2016/01/11/glimpse-future-travel-and-its-impact-marketing, Accessed on: Jan. 15, 2018.
33. T. A. Henzinger and J. Sifakis, "The embedded systems design challenge, " in Proc. 14th Int. Symp. Formal Methods, 2006, pp. 1-15.
34. I. Crnkovic and M. Larsson, Building Reliable Component-Based Software Systems. Norwood, MA, USA: Artech House, 2002.
35. P. Thorngren, "Keynote talk: Experiences from EAST-ADL Use, " EASTADL Open Workshop, Gothenberg, Sweden, Oct. 2013.
36. I. Crnkovic, S. Sentilles, A. Vulgarakis, and M. Chaudron, "A classification framework for software component models, " IEEE Trans. Softw. Eng., vol. 37, no. 5, pp. 593-615, Sep. 2011.
37. K. Petersen et al., "Choosing component origins for software intensive systems: In-house, COTS, OSS or outsourcing-A case survey, " IEEE Trans. Softw. Eng., vol. 44, no. 3, pp. 237-261, Mar. 2018.
38. "EAST-ADL Domain Model Specification, V2. 1. 12, " Online. Available: http: //www. east-adl. info/Specification/V2. 1. 12/EAST-ADLSpecification- V2. 1. 12. pdf
39. P. Cuenot et al., "Managing complexity of automotive electronics using the EAST-ADL, " in Proc. 12th IEEE Int. Conf. Eng. Complex Comput. Syst., Jul. 2007, pp. 353-358.
40. D. Chen et al., "Integrated safety and architecture modeling for automotive embedded systems, " e&i Elektrotechnik und Informationstechnik, vol. 128, no. 6, pp. 196-202, Jun. 2011.
41. D. Chen, L. Feng, T. Qureshi, H. Lönn, and F. Hagl, "An architectural approach to the analysis, verification and validation of software intensive embedded systems, " Computing, vol. 95, no. 8, pp. 649-688, 2013.
42. R. T. Kolagari et al., "Model-based analysis and engineering of automotive architectures with EAST-ADL: Revisited, " Int. J. Conceptual Struct. Smart Appl., vol. 3, no. 2, pp. 25-70, 2015.
43. S. Fürst and M. Bechter, "AUTOSAR for connected and autonomous vehicles: The AUTOSAR adaptive platform, " in Proc. 46th Annu. IEEE/IFIP Int. Conf. Dependable Syst. Netw. Workshop, Jun. 2016, pp. 215-217.
44. K. Hänninen, J. Maki-Turja, M. Nolin, M. Lindberg, J. Lundback, and K. Lundback, "The Rubus component model for resource constrained real-time systems, " in Proc. IEEE Symp. Ind. Embedded Syst., 2008, pp. 177-183.
45. S. Mubeen, H. Lawson, J. Lundbäck, M. Gålnander, and K. L. Lundbäck, "Provisioning of predictable embedded software in the vehicle industry: The Rubus approach, " in Proc. IEEE/ACM4th Int. Workshop Softw. Eng. Res. Ind. Pract., May 2017, pp. 3-9.
46. Road Vehicles-Functional Safety, ISO 26262-1: 2011 [Online]. Available: http: //www. iso. org/
47. G. Bahig and A. El-Kadi, "Formal verification of automotive design in compliance with ISO 26262 design verification guidelines, " IEEE Access, vol. 5, pp. 4505-4516, 2017.
48. Fraunhofer ESK, "Future vehicle software architectures, " Online. [Available]: https: //www. esk. fraunhofer. de/en/research/projects/adaptives-bo rdnetz. htm l, Accessed on Jan. 15, 2018.
49. S. Mubeen, J. Mäki-Turja, and M. Sjödin, "Communications-oriented development of component-based vehicular distributed real-time embedded systems, " J. Syst. Arch., vol. 60, no. 2, pp. 207-220, 2014.
50. S. Mubeen, T. Nolte, M. Sjödin, J. Lundbäck, and K.-L. Lundbäck, "Supporting timing analysis of vehicular embedded systems through the refinement of timing constraints, " Softw. Syst. Model., Jan. 2017. Available: https: //doi. org/10. 1007/s10270-017-0579-8
51. D. Schmidt and F. Kuhns, "An overview of the real-time CORBA specification, " Computer, vol. 33, no. 6, pp. 56-63, Jun. 2000.
52. M. G. Valls, I. R. Lopez, and L. F. Villar, "iLAND: An enhanced middleware for real-time reconfiguration of service oriented distributed realtime systems, " IEEE Trans. Ind. Inform., vol. 9, no. 1, pp. 228-236, Feb. 2013.
53. X. Ke, K. Sierszecki, and C. Angelov, "COMDES-II: A Componentbased framework for generative development of distributed real-time control systems, " in Proc. 13th IEEE Int. Conf. Embedded Real-Time Comput. Syst. Appl., Aug. 2007, pp. 199-208.
54. S. Sentilles, A. Vulgarakis, T. Bures, J. Carlson, and I. Crnkovic, "A component model for control-intensive distributed embedded systems, " in Proc. 11th Int. Symp. Compon. Based Softw. Eng., 2008, pp. 310-317.
55. TADL: Timing Augmented Description Language, Deliv. 6, Oct. 2009.
56. Timing Augmented Description Language (TADL2) Syntax, Semantics, metamodel Ver. 2, Deliv. 11, Aug. 2012.
57. "TIMMO-2-USE Project, " Online. [Available]: https: //itea3. org/project/ timmo-2-use. html
58. Local Interconnect Network (LIN) Specification, LIN Consortium, Online. www. lin-subbus. org
59. F. Pieri, C. Zambelli, A. Nannini, P. Olivo, and S. Saponara, "Is consumer electronics redesigning our cars Challenges of integrated technologies for sensing, computing, and storage, " IEEE Consum. Electron. Mag., vol. 7, no. 5, pp. 8-17, Sep. 2018.
60. R. Saussard, B. Bouzid, M. Vasiliu, and R. Reynaud, "A robust methodology for performance analysis on hybrid embedded multicore architectures, " in Proc. IEEE 10th Int. Symp. Embedded Multicore/Many-Core Syst.-on-Chip, Sep. 2016, pp. 77-84.
61. M. Valero, "European Processor Initiative & RISC-V, " in Proc. RISC-V Workshop, Barcelona, Spain, May 2018.
62. J. Huang, "NVIDIA CEO Keynote, " in Proc. GPU Technol. Conf. Eur., Munich, Germany, Oct. 2017.
63. Intel and Mobileye Autonomous Driving Solutions, White Paper. [Online]. Available: https: //newsroom. intel. com/wp-content/uploads/sites/ 11/2018/01/intel-mobileye-ads-product-brief. pdf, Accessed on: Jan. 30, 2018.
64. M. Gautschi et al., "Near-threshold RISC-V core with DSP extensions for scalable IOT endpoint devices, " IEEE Trans. Very Large Scale Integr. Syst., vol. 25, no. 10, pp. 2700-2713, Oct. 2017.
65. E. Azarkhish, D. Rossi, I. Loi, and L. Benini, "Neurostream: Scalable and energy efficient deep learning with smart memory cubes, " IEEE Trans. Parallel Distrib. Syst., vol. 29, no. 2, pp. 420-434, Feb. 2018.
66. F. Cazorla, J. Abella, E. Mezzetti, C. Hernandez, T. Vardanega, and G. Bernat, "Reconciling time predictability and performance in future computing systems, " IEEE Des. Test, vol. 35, no. 2, pp. 48-56, Apr. 2017.
67. S. Saponara, F. Giannetti, B. Neri, and G. Anastasi, "Exploiting mmwave communications to boost the performance of industrial wireless networks, " IEEE Trans. Ind. Inform., vol. 13, no. 3, pp. 1460-1470, Jun. 2017.
68. Y. Huo, X. Dong, and W. Xu, "5G cellular user equipment: From theory to practical hardware design, " IEEE Access, vol. 5, pp. 13992-14010, 2017.
69. Robert Bosch GmbH, "CAN with flexible data-rate (CAN FD), " White Paper, Ver. 1. 1., 2011.
70. G. M. Zago and E. P. de Freitas, "A quantitative performance study on CAN and CAN FD vehicular networks, " IEEE Trans. Ind. Electron., vol. 65, no. 5, pp. 4413-4422, May 2018.
71. S. Singer, "High performance compute architecture supporting revolutionary requirements, " Ethernet & IP @ Automot. Technol. Day, San Jose, CA, USA, Nov. 2017.
72. D. Reinhardt and M. Kucera, "Domain controlled architecture-A new approach for large scale software integrated automotive systems, " in Proc. Int. Conf. Pervasive Embedded Comput. Commun. Syst., Feb. 2013, pp. 221-226.
73. IEEE Standard for Ethernet Amendment 1: Physical Layer Specifications and Management Parameters for 100 Mb/s Operation over a Single Balanced Twisted Pair Cable (100BASE-T1), IEEE Std 802. 3bw-2015 (Amendment to IEEE Std 802. 3-2015), Mar. 2016.
74. IEEE Standard for Ethernet Amendment 4: Physical Layer Specifications and Management Parameters for 1Gb/sOperation over a Single Twisted-Pair Copper Cable, IEEE Std 802. 3bp-2016 (Amendment to IEEE Std 802. 3-2015), Sep. 2016.
75. IEEE Standard for Local and Metropolitan Area Networks, Bridges and Bridged Networks, IEEE Std. 802. 1Q, 2014.
76. IEEE Standard for Local and Metropolitan Area Networks-Timing and Synchronization for Time-Sensitive Applications in Bridged Local Area Networks, IEEE Std 802. 1AS-2011, Mar. 2011.
77. MOSTCooperation, "MOST Specification, Revision 3, Version 2, " 2010. Available: http: //www. mostcooperation. com/
78. J. Migge, J. Villanueva, N. Navet, and M. Boyer, "Insights on the performance and configuration of AVB and TSN in automotive networks, " in Proc. Embedded Real-Time Softw. Syst., Jan. 2018, pp. 1-10.
79. G. Alderisi, A. Caltabiano, G. Vasta, G. Iannizzotto, T. Steinbach, and L. Lo Bello, "Simulative assessments of IEEE 802. 1 Ethernet AVB and time-triggered Ethernet for advanced driver assistance systems and in-car infotainment, " in Proc. Veh. Netw. Conf., Nov. 2012, pp. 187-194.
80. G. Alderisi, G. Iannizzotto, and L. Lo Bello, "Towards 802. 1 Ethernet AVB for advanced driver assistance systems: A preliminary assessment, " in Proc. IEEE 17th Conf. Emerg. Technol. Factory Automat., Sep. 2012, pp. 1-4.
81. Time-Triggered Ethernet AS6802, SAE AS6802, Nov. 9, 2016.
82. S. M. Laursen, P. Pop, and W. Steiner, "Routing optimization of AVB streams in TSN networks, " SIGBED Rev., vol. 13, no. 4, pp. 43-48, 2016.
83. G. Alderisi, G. Patti, and L. Lo Bello, "Introducing support for scheduled traffic over IEEE audio video bridging networks, " in Proc. 18th IEEE Conf. Emerg. Technol. Factory Automat., Sep. 2013, pp. 1-9.
84. L. Lo Bello, "Novel trends in automotive networks: A perspective on Ethernet and the IEEE Audio Video Bridging, " in Proc. 19th IEEE Int. Conf. Emerg. Technol. Factory Automat., Sep. 2014, pp. 1-8.
85. M. Ashjaei, G. Patti, M. Behnam, T. Nolte, G. Alderisi, and L. Lo Bello, "Schedulability analysis of Ethernet audio video bridging networks with scheduled traffic support, " Real-Time Syst., vol. 53, no. 4, pp. 526-577, Jul. 2017, pp. 1-10.
86. U. D. Bordoloi, A. Aminifar, P. Eles, and Z. Peng, "Schedulability analysis of Ethernet AVB switches, " in Proc. 20th IEEE Int. Conf. Embedded Real-Time Comput. Syst. Appl., Aug. 2014, pp. 1-10.
87. J. Diemer, D. Thiele, and R. Ernst, "Formal worst-case timing analysis of Ethernet topologies with strict-priority and AVB switching, " in Proc. 7th IEEE Int. Symp. Ind. Embedded Syst., Jun. 2012, pp. 1-10.
88. IEEE Standard for Local and Metropolitan Area Networks-Bridges and Bridged Networks-Amendment 25: Enhancements for Scheduled Traffic, IEEE Std 802. 1Qbv-2015 (Amendment to IEEE Std 802. 1Q)), Mar. 2016.
89. Official Project Website of 802. 1AS-Rev-Timing and Synchronization for Time-Sensitive Applications, 2016. [Online]. Available: https: //1. ieee802. org/tsn/802-1as-rev/
90. IEEE Standard for Local and Metropolitan Area Networks-Bridges and Bridged Networks-Amendment 26: Frame Preemption, IEEE Std 802. 1Qbu-2016 (Amendment to IEEE Std 802. 1Q-2014), Aug. 2016.
91. S. S. Craciunas, R. Serna Oliver, and W. Steiner, "Formal scheduling constraints for time-sensitive networks, " Sep. 2017, doi: 10. 5281/zenodo. 997996. [Online]. Available: https: //arxiv. org/abs/1712. 02246
92. W. Steiner, S. S. Craciunas, and R. S. Oliver, "Traffic planning for timesensitive communication, " IEEE Commun. Standards Mag., vol. 2, no. 2, pp. 42-47, Jun. 2018.
93. IEEE Standard for Local and Metropolitan Area Networks-Bridges and Bridged Networks-Amendment 24: Path Control and Reservation, IEEE Std 802. 1Qca-2015 (Amendment to IEEE Std 802. 1Q-2014), Mar. 2016.
94. IEEE Standard for Local and Metropolitan Area Networks-Frame Replication and Elimination for Reliability, IEEE Std 802. 1CB-2017, Oct. 2017.
95. P802. 1Qcc-Stream Reservation Protocol (SRP) Enhancements and Performance Improvements, 2013. [Online]. Available: https: //1. ieee802. org/tsn/802-1qcc/
96. IEEE Standard for Local and Metropolitan Area Networks-Bridges and Bridged Networks-Amendment 29: Cyclic Queuing and Forwarding, IEEE 802. 1Qch-2017 (Amendment to IEEE Std 802. 1Q-2014), Jun. 2017.
97. IEEE Standard for Local and Metropolitan Area Networks-Bridges and Bridged Networks-Amendment 28: Per-Stream Filtering and Policing, IEEE Std 802. 1Qci-2017 (Amendment to IEEE Std 802. 1Q-2014), Sep. 2017.
98. P802. 1Qcr-Asynchronous Traffic Shaping, 2016. [Online]. Available: https: //1. ieee802. org/tsn/802-1qcr/
99. J. Specht and S. Samii, "Urgency-based scheduler for time-sensitive switched Ethernet networks, " in Proc. 28th Euromicro Conf. Real-Time Syst., Jul. 2016, pp. 75-85.
100. J. Specht and S. Samii, "Synthesis of queue and priority assignment for asynchronous traffic shaping in switched Ethernet, " in Proc. IEEE Real-Time Syst. Symp., Dec. 2017, pp. 178-187.
101. D. K. Nilsson, U. E. Larson, F. Picasso, and E. Jonsson, "A first simulation of attacks in the automotive network communications protocol flexray, " in Proc. Int. Workshop Comput. Intell. Secur. Inf. Syst., Berlin, Germany, 2009, pp. 84-91.
102. C. W. Lin and A. Sangiovanni-Vincentelli, "Cyber-security for the controller area network (CAN) communication protocol, " in Proc. Int. Conf. Cyber Secur., Dec. 2012, pp. 1-7.
103. M. Wolf, A. Weimerskirch, and C. Paar, Secure In-Vehicle Communication. Berlin, Germany: Springer, 2006, pp. 95-109.
104. O. Avatefipour and H. Malik, "State-of-the-art survey on in-vehicle network communication can-bus security and vulnerabilities, " Int. J. Comput. Sci. Netw., vol. 6, no. 6, pp. 720-727, Dec. 2017.
105. K.-T. Cho and K. G. Shin, "Fingerprinting electronic control units for vehicle intrusion detection, " in Proc. 25th USENIX Secur. Symp., Austin, TX, USA, 2016, pp. 911-927.
106. E. dos Santos, A. Simpson, and D. Schoop, "A formal model to facilitate security testing in modern automotive systems, " in Proc. Joint Workshop Handling IMPlicit EXplicit Knowl. Formal Syst. Develop. Formal Model-Driven Techn. Develop. Trustworthy Syst., Nov. 2017, pp. 95-104.
107. T. Hoppe, S. Kiltz, and J. Dittmann, "Security threats to automotive can networks-practical examples and selected short-term countermeasures, " Rel. Eng. Syst. Saf., vol. 96, no. 1, pp. 11-25, 2011.
108. M. Lukasiewycz, P. Mundhenk, and S. Steinhorst, "Security-aware obfuscated priority assignment for automotive can platforms, " ACM Trans. Des. Automat. Electron. Syst., vol. 21, no. 2, 2016, Art. no. 32.
109. T. Eisenbarth, T. Kasper, A. Moradi, C. Paar, M. Salmasizadeh, and M. T. M. Shalmani, "On the power of power analysis in the real world: A complete break of the KeeLoq code hopping scheme, " in Advances in Cryptology-CRYPTO 2008, D. Wagner, Ed. Berlin, Germany: Springer, 2008, pp. 203-220.
110. K. Koscher et al., "Experimental security analysis of a modern automobile, " in Proc. IEEE Symp. Secur. Privacy, May 2010, pp. 447-462.
111. R. Currie, "Hacking the CAN bus: Basic manipulation of a modern automobile through CAN bus reverse engineering, " SANS Reading Room, White Paper, Jun. 2017. [Online]. Available: https: //www. sans. org/reading-room/whitepapers/threats/paper/37825
112. F. Li, L. Wang, and Y. Wu, "Research on CAN network security aspects and intrusion detection design, " SAE Int., Warrendale, PA, USA, SAE Tech. Paper 2017-01-2007, doi: 10. 4271/2017-01-2007, Nov. 2017.
113. S. Shreejith et al., "VEGa: A high performance vehicular Ethernet gateway on hybrid FPGA, " IEEE Trans. Comput., vol. 66, no. 10, pp. 1790-1803, Oct. 2017.
114. B. Carnevale, L. Baldanzi, L. Pilato, and L. Fanucci, "A flexible systemon-a-chip implementation of the advanced encryption standard, " in Proc. 20th Int. Conf. Syst. Theory, Control Comput., Oct. 2016, pp. 156-161.
115. C. Patsakis, K. Dellios, and M. Bouroche, "Towards a distributed secure in-vehicle communication architecture for modern vehicles, " Comput. Secur., vol. 40, pp. 60-74, 2014.
116. A. Sghaier, M. Zeghid, and M. Machhout, "Fast hardware implementation of ECDSA signature scheme, " in Proc. Int. Symp. Signal, Image, Video Commun., Nov. 2016, pp. 343-348.
117. H. Ueda, R. Kurachi, H. Takada, T. Mizutani, M. Inoue, and S. Horihata, "Security authentication system for in-vehicle network, " Sumitomo Electric Industries, Ltd., Osaka, Japan, SEI Tech. Rev. 81, 2015.
118. P. Mundhenk et al., "Security in automotive networks: Lightweight authentication and authorization, " Trans. Des. Automat. Electron. Syst., vol. 22, no. 2, pp. 25: 1-25: 27, 2017. [Online]. Available: http: //doi. Acm. org/10. 1145/2960407
119. Q. Wang and S. Sawhney, "VeCure: A practical security framework to protect the can bus of vehicles, " in Proc. Int. Conf. Internet Things, Oct. 2014, pp. 13-18.
120. P. Waszecki, P. Mundhenk, S. Steinhorst, M. Lukasiewycz, R. Karri, and S. Chakraborty, "Automotive electrical and electronic architecture security via distributed in-vehicle traffic monitoring, " IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst., vol. 36, no. 11, pp. 1790-1803, Nov. 2017.
121. H. Okhravi, F. T. Sheldon, and J. Haines, "Data diodes in support of trustworthy cyber infrastructure and net-centric cyber decision support, " in Optimization and Security Challenges in Smart Power Grids. Berlin, Germany: Springer, 2013, pp. 203-216.
122. G. Xie, G. Zeng, Y. Liu, J. Zhou, R. Li, and K. Li, "Fast functional safety verification for distributed automotive applications during early design phase, " IEEE Trans. Ind. Electron., vol. 65, no. 5, pp. 4378-4391, May 2018.
123. S. Shalev-Shwartz, S. Shammah, and A. Shashua, "On a formal model of safe and scalable autonomous vehicles, " Dec. 2017, arXiv: 1708. 06374v4.