Abstract
There is a serious mismatch between the growing traffic volume and the availability of resources to support the traffic. Some of the important reasons for this mismatch are the rapid development of our economy, increased affordability of our society, multiple vehicles per family, and so on. We believe that the mismatch will continue to grow and adversely affect our traffic infrastructure unless efficient traffic management solutions that include system integration, design, prediction, safety verification, validation, and security are developed and deployed. Security has appeared as an important issue for Intelligent Transportation Systems (ITS). Some security threats become more challenging task with the emergence of Vehicle-to-Vehicle (V2V) communication and Vehicle-to-Roadside (V2R) communication in vehicular networks. Addressing the security issues in smart vehicular communication systems requires new effective and efficient algorithm that encompass considerations of new security techniques, safety things, communication related resource limitations, and other related new performance metrics. In this paper, we recommend a unified framework and new metrics that combines integrated modelling, system integration and optimization, official certification and validation, and automatic synthesis approaches for analysing the security and safety of ITS and booming out design space investigation of both in-vehicle electronic control systems and vehicle-to-vehicle communications. This integrated framework will facilitated the system integration and optimization and enable validation of various design the new metrics for vehicular networks such as timing, direction, reliability, speed, security and performance.
Keywords
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Zheng, B., Liang, H., Zhu, Q., Yu, H., Lin, C.W.: Next generation automotive architecture modeling and exploration for autonomous driving. In: IEEE Computer Society Annual Symposium on VLSI, pp. 53–58 (2016)
Pedroza, G., Apvrille, L., Pacalet, R.: A formal security model for verification of automotive embedded applications. In: SAFA, pp. 1–4 (2010). https://doi.org/10.13140/RG.2.1.4890.1609
Zheng, B., Li, W., Deng, P., Gérard, L., Zhu, Q., Shankar, N.: Design and verification for transportation system security. In: Proceedings of the 52nd Annual Design Automation Conference, pp. 1–6 (2015). Article No. 96
Lin, C. W., Yu, H.: Invited - cooperation or competition?: coexistence of safety and security in next-generation ethernet-based automotive networks. In: 53rd Annual Design Automation Conference, pp. 1–6 (2016). Article No. 52
Schatz, B., Voss, S., Zverlov, S.: Automating design-space exploration: optimal deployment of automotive SW-components in an ISO26262 context. In: Proceedings of the 52nd Annual Design Automation Conference (DAC), pp. 1–6 (2015)
Oetjens, J.H., Bannow, N., Becker, M., Bringmann, O., Burger, A., Chaari, M., Chakraborty, S., Drechsler, R., Ecker, W., Gruttner, K.: Safety evaluation of automotive electronics using virtual prototypes: state of the art and research challenges. In: Proceedings of the 51th Annual Design Automation Conference (DAC), pp. 1–6 (2014)
Eberl, M., Gla, M., Teich, J., Abelein, U.: Considering diagnosis functionality during automatic system-level design of automotive networks. In: Proceedings of the 49th Annual Design Automation Conference, pp. 205–213. ACM (2012)
Yu, H., Joshi, P., Talpin, J.P., Shukla, S., Shiraishi, S.: The challenge of interoperability: model-based integration for automotive control software. In: Proceedings of the 52nd Annual Design Automation Conference, pp. 51–58 (2015)
Shahbakhti, M., Amini, M.R., Li, J., Asami, S., Hedrick, J.K.: Early model-based design and verification of automotive control system software implementations. J. Dyn. Syst. Meas. Control 137(2), 021006 (2015)
Zhu, Q., Zeng, H., Zheng, W., Natale, M.D., Sangiovanni-Vincentelli, A.: Optimization of task allocation and priority assignment in hard real-time distributed systems. ACM Trans. Embed. Comput. Syst. (TECS) 11(4), 1–30 (2012)
Zheng, B., Deng, P., Anguluri, R., Zhu, Q., Pasqualetti, F.: Crosslayer codesign for secure cyber-physical systems. IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. 35(5), 699–711 (2016)
Jo, K., Kim, J., Kim, D., Jang, C., Sunwoo, M.: Development of autonomous car part I: distributed system architecture and development process. IEEE Trans. Ind. Electron. 61(12), 7131–7140 (2014)
Kordes, A., Vermeulen, B., Deb, A., Wahl, M.G.: Startup error detection and containment to improve the robustness of hybrid FlexRay networks. In: IEEE Design, Automation and Test in Europe Conference and Exhibition (DATE), pp. 1–6 (2014)
Zhu, Q., Zeng, H., Zheng, W., Natale, M.D., Sangiovanni-Vincentelli, A.: Optimization of task allocation and priority assignment in hard real-time distributed systems. ACM Trans. Embed. Comput. Syst. (TECS) 11(4), 85–95 (2012)
Zheng, B., Deng, P., Anguluri, R., Zhu, Q., Pasqualetti, F.: Crosslayer codesign for secure cyber-physical systems. IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. 35(5), 699–711 (2015)
Davare, A., Zhu, Q., Di Natale, M., Pinello, C., Kanajan, S., Sangiovanni-Vincentelli, A.: Period optimization for hard real-time distributed automotive systems. In: ACM Proceedings of the 44th Annual Design Automation Conference, DAC, pp. 278–283 (2007)
Zheng, B., Lin, C.W., Yu, H., Liang, H., Zhu, Q.: CONVINCE: a cross-layer modeling, exploration and validation framework for next-generation connected vehicles. In: ICCAD, pp. 1–8 (2016)
Das, D., Misra, R.: Parallel processing concept based vehicular bridge traffic problem. In: Kumar Kundu, M., Mohapatra, D.P., Konar, A., Chakraborty, A. (eds.) Advanced Computing, Networking and Informatics- Volume 2. SIST, vol. 28, pp. 1–9. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-07350-7_1
Das, D., Misra, R., Raj, A.: Approximating geographic routing using coverage tree heuristics for wireless network. Wirel. Netw. (WINE) 21(4), 1109–1118 (2015). Springer US
Das, D., Misra, R.: Improvised k-hop neighborhood knowledge based routing in wireless sensor networks. In: IEEE International Conference on Advanced Computing, Networking and Security (ADCONS), pp. 128–134 (2013)
Petrenko, A., Timo, O.N., Ramesh, S.: Model-based testing of automotive software: some challenges and solutions. In: 52nd ACM/EDAC/IEEE Design Automation Conference (DAC), pp. 1–6 (2015)
Krishna, S.N., Narwane, G., Ramesh, S., Trivedi, S.: Compositional modeling and analysis of automotive feature product lines. In: Proceedings of the 52nd Annual Design Automation Conference, pp. 1–6 (2015). Article no. 57
Acknowledgement
The author gratefully acknowledge the support from the SERB-DST Early Research Award \(ECR\setminus 2015\setminus 0256\) and the BITS RIG award 2016.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 ICST Institute for Computer Sciences, Social Informatics and Telecommunications Engineering
About this paper
Cite this paper
Das, D., Vasudev, H. (2018). Design and Safety Verification for Vehicle Networks. In: Kumar, N., Thakre, A. (eds) Ubiquitous Communications and Network Computing. UBICNET 2017. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, vol 218. Springer, Cham. https://doi.org/10.1007/978-3-319-73423-1_20
Download citation
DOI: https://doi.org/10.1007/978-3-319-73423-1_20
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-73422-4
Online ISBN: 978-3-319-73423-1
eBook Packages: Computer ScienceComputer Science (R0)