Abstract
In recent years, connected and autonomous functions have been bringing revolutionary advancement to automotive systems, but also making automotive design more complex than ever. Beyond individual vehicles, such trend also has deep impact on the entire vehicular transportation system, including vehicles, roadside units, and edge or cloud servers. In this chapter, we will introduce the application of the platform-based design (PBD) paradigm for automotive and transportation systems, and demonstrate its effectiveness in tackling cross-layer challenges in those systems. We will present our PBD-based approaches in addressing a variety of system metrics such as safety, security, performance, extensibility, and fault tolerance, and also discuss general system design and analysis methodologies.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Some existing OS hypervisors allow one partition to be assigned to more than one operating system, and those operating systems are scheduled by their priorities. This can be generalized to the system model by defining task priority as a 2-tuple.
References
AUTOSAR. http://www.autosar.org
Robert Bosch GmbH. (1991). CAN specification (Version 2.0).
Davare, A., Zhu, Q., Di Natale, M., Pinello, C., Kanajan, S., & Sangiovanni-Vincentelli, A. (2007, June). Period optimization for hard real-time distributed automotive systems. In Design Automation Conference (DAC’07).
Deng, P., Cremona, F., Zhu, Q., Di Natale, M., & Zeng, H. (2015, April). A model-based synthesis flow for automotive CPS. In 2015 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS) (pp. 198–207).
Deng, P., Zhu, Q., Davare, A., Mourikis, A., Liu, X., & Natale, M. D. (2016, December). An efficient control-driven period optimization algorithm for distributed real-time systems. IEEE Transactions on Computers, 65(12), 3552–3566.
Deng, P., Zhu, Q., Di Natale, M., & Zeng, H. (2014, June). Task Synthesis for latency-sensitive synchronous block diagram. In 2014 9th IEEE International Symposium on Industrial Embedded Systems (SIES) (pp. 112–121).
FlexRay Consortium. (2010, October). FlexRay communications system protocol specification (Version 3.0.1).
IEEE. (2011, March). IEEE standard for local and metropolitan area networks — timing and synchronization for time-sensitive applications in bridged local area networks. In IEEE Std 802.1AS-2011 (pp. 1–292).
Liang, H., Jagielski, M., Zheng, B., Lin, C., Kang, E., Shiraishi, S., et al. (2018, November). Network and system level security in connected vehicle applications. In 2018 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
Liang, H., Wang, Z., Zheng, B., & Zhu, Q. (2017, November). Addressing extensibility and fault tolerance in can-based automotive systems. In 2017 IEEE/ACM International Symposium on Networks-on-Chip (NOCS).
Lin, C.-W., Rao, L., Giusto, P., D’Ambrosio, J., & Sangiovanni-Vincentelli, A. (2015, November). Efficient wire routing and wire sizing for weight minimization of automotive systems. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 34(11), 1730–1741.
Lin, C.-W., Zheng, B., Zhu, Q., & Sangiovanni-Vincentelli, A. (2015, December). Security-aware design methodology and optimization for automotive systems. ACM Transactions on Design Automation of Electronic Systems, 21(1), 18:1–18:26.
Lin, C.-W., Zhu, Q., Phung, C., & Sangiovanni-Vincentelli, A. (2013). Security-aware mapping for CAN-based real-time distributed automotive systems. In 2013 IEEE/ACM International Conference on Computer-Aided Design (pp. 115–121)
Lin, C.-W., Zhu, Q., & Sangiovanni-Vincentelli, A. (2014, November). Security-aware mapping for TDMA-based real-time distributed systems. In 2014 IEEE/ACM International Conference on Computer-Aided Design (pp. 24–31)
Lin, C.-W., Zhu, Q., & Sangiovanni-Vincentelli, A. (2015, March). Security-aware modeling and efficient mapping for CAN-based real-time distributed automotive systems. IEEE Embedded Systems Letters, 7(1), 11–14.
SAE. (2011, November ). Time-triggered ethernet. SAE Standard AS6802.
SAE. (2011, February). TTP communication protocol. SAE Standard AS6003.
SUMO. (2017). http://www.dlr.de/ts/en/desktopdefault.aspx/tabid-9883/16931_read-41000/
UPPAAL. (2017). https://www.uppaal.org/
Zheng, B., Gao, Y., Zhu, Q., & Gupta, S. (2015, October). Analysis and optimization of soft error tolerance strategies for real-time systems. In 2015 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS) (pp. 55–64).
Zheng, B., Lin, C. W., Liang, H., Shiraishi, S., Li, W., & Zhu, Q. (2017, May). Delay-aware design, analysis and verification of intelligent intersection management. In 2017 IEEE International Conference on Smart Computing (SMARTCOMP) (pp. 1–8).
Zheng, B., Lin, C.-W., Yu, H., Liang, H., & Zhu, Q. (2016, November). CONVINCE: A cross-layer modeling, exploration and validation framework for next-generation connected vehicles. In 2016 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
Zheng, B., Sayin, M. O., Lin, C. W., Shiraishi, S., & Zhu, Q. (2017, November). Timing and security analysis of VANET-based intelligent transportation systems: (invited paper). In 2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) (pp. 984–991).
Zheng, W., Zhu, Q., Natale, M. D., & Sangiovanni-Vincentelli, A. (2007). Definition of task allocation and priority assignment in hard real-time distributed systems. In RTSS ’07: Proceedings of the 28th IEEE International Real-Time Systems Symposium (pp. 161–170)
Zhu, Q., Deng, P., Di Natale, M., & Zeng, H. (2013, March). Robust and extensible task implementations of synchronous finite state machines. In Design, Automation Test in Europe Conference Exhibition (DATE), 2013 (pp. 1319–1324)
Zhu, Q., Liang, H., Zhang, L., Roy, D., Li, W., & Chakraborty, S. (2017, June). Extensibility-driven automotive in-vehicle architecture design. In 2017 54th ACM/EDAC/IEEE Design Automation Conference (DAC) (pp. 1–6)
Zhu, Q., & Sangiovanni-Vincentelli, A. (2018, Sept). Codesign methodologies and tools for cyber–physical systems. Proceedings of the IEEE, 106(9), 1484–1500.
Zhu, Q., Yang, Y., Natale, M. D., Scholte, E., & Sangiovanni-Vincentelli, A. (2010). Optimizing the software architecture for extensibility in hard real-time distributed systems. IEEE Transactions on Industrial Informatics, 6(4):621–636.
Zhu, Q., Yang, Y., Scholte, E., Natale, M. D., & Sangiovanni-Vincentelli, A. (2009). Optimizing extensibility in hard real-time distributed systems. In RTAS ’09: Proceedings of the 2009 15th IEEE Real-Time and Embedded Technology and Applications Symposium (pp. 275–284).
Zhu, Q., Zeng, H., Zheng, W., Di Natale, M., & Sangiovanni-Vincentelli, A. (2012). Optimization of task allocation and priority assignment in hard real-time distributed systems. ACM Transactions on Embedded Computing Systems, 11(4), 85:1–85:30.
Acknowledgements
We gratefully acknowledge the support from the National Science Foundation of the United States under Awards 1834324, 1834701, and 1839511, the Ministry of Education in Taiwan under Grant Number NTU-107V0901, and the Ministry of Science and Technology in Taiwan under Grant Number MOST-108-2636-E-002-011.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Lin, CW., Zheng, B., Liang, H., Zhu, Q. (2019). Platform-Based Design for Automotive and Transportation Cyber-Physical Systems. In: Al Faruque, M., Canedo, A. (eds) Design Automation of Cyber-Physical Systems. Springer, Cham. https://doi.org/10.1007/978-3-030-13050-3_2
Download citation
DOI: https://doi.org/10.1007/978-3-030-13050-3_2
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-13049-7
Online ISBN: 978-3-030-13050-3
eBook Packages: EngineeringEngineering (R0)