Document Open Access Logo

JuMP2start: Time-Aware Stop-Start Technology for a Software-Defined Vehicle System

Authors Anam Farrukh , Richard West

PDF
Thumbnail PDF

File

LIPIcs.ECRTS.2024.1.pdf
  • Filesize: 2.73 MB
  • 27 pages

Document Identifiers

Author Details

Anam Farrukh
  • Department of Computer Science, Boston University, MA, USA
Richard West
  • Department of Computer Science, Boston University, MA, USA

Funding

This work is supported in part by the National Science Foundation (NSF) under Grant # 2007707. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the NSF.

Acknowledgements

Special thanks are also given to our colleagues at Drako Motors.

Cite AsGet BibTex

Anam Farrukh and Richard West. JuMP2start: Time-Aware Stop-Start Technology for a Software-Defined Vehicle System. In 36th Euromicro Conference on Real-Time Systems (ECRTS 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 298, pp. 1:1-1:27, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
https://doi.org/10.4230/LIPIcs.ECRTS.2024.1

Abstract

Software-defined vehicle (SDV) systems replace traditional ECU architectures with software tasks running on centralized multicore processors in automotive-grade PCs. However, PC boot delays to cold-start an integrated vehicle management system (VMS) are problematic for time-critical functions, which must process sensor and actuator data within specific time bounds. To tackle this challenge, we present JuMP2start: a time-aware multicore stop-start approach for SDVs. JuMP2start leverages PC-class suspend-to-RAM techniques to capture a system snapshot when the vehicle is stopped. Upon restart, critical services are resumed-from-RAM within order of milliseconds compared to normal cold-start times. This work showcases how JuMP2start manages global suspension and resumption mechanisms for a state-of-the-art dual-domain vehicle management system comprising real-time OS (RTOS) and Linux SMP guests. JuMP2start models automotive tasks as continuable or restartable to ensure timing- and safety-critical function pipelines are reactively resumed with low latency, while discarding stale task state. Experiments with the VMS show that critical CAN traffic processing resumes within 500 milliseconds of waking the RTOS guest, and reaches steady-state throughput in under 7ms.

Subject Classification

ACM Subject Classification
  • Computer systems organization → Embedded systems
  • Computer systems organization → Real-time system architecture
Keywords
  • Time-aware stop-start
  • Real-time power management
  • Suspend-to-RAM
  • Partitioning hypervisor
  • Vehicle management system
  • Vehicle-OS
  • Software-defined vehicles (SDV)

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
    0
    Metadata Views

References

  1. Fardin Abdi Taghi Abad, Renato Mancuso, Stanley Bak, Or Dantsker, and Marco Caccamo. Reset-based Recovery for Real-time Cyber-physical Systems with Temporal Safety Constraints. In 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA), pages 1-8, 2016. Google Scholar
  2. Fardin Abdi, Chien-Ying Chen, Monowar Hasan, Songran Liu, Sibin Mohan, and Marco Caccamo. Guaranteed Physical Security with Restart-Based Design for Cyber-Physical Systems. In 2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS), pages 10-21, 2018. Google Scholar
  3. Fardin Abdi, Rohan Tabish, Matthias Rungger, Majid Zamani, and Marco Caccamo. Application and System-Level Software Fault Tolerance through Full System Restarts. In 2017 ACM/IEEE 8th International Conference on Cyber-Physical Systems (ICCPS), pages 197-206, 2017. Google Scholar
  4. ACPI. Advanced Configuration and Power Interface - Ver6.0, April 2015. Google Scholar
  5. Alexandru Agache, Marc Brooker, Alexandra Iordache, Anthony Liguori, Rolf Neugebauer, Phil Piwonka, and Diana-Maria Popa. Firecracker: Lightweight Virtualization for Serverless Applications. In 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20), pages 419-434, Santa Clara, CA, February 2020. USENIX Association. URL: https://www.usenix.org/conference/nsdi20/presentation/agache.
  6. Ahmad. Golchin and Richard. West. Jumpstart: Fast Critical Service Resumption for a Partitioning Hypervisor in Embedded Systems. In 2022 IEEE 28th Real-Time and Embedded Technology and Applications Symposium (RTAS), pages 55-67. IEEE, 2022. Google Scholar
  7. ARM Automotive: Software-Defined Vehicles. Accessed May. 2024. URL: https://www.arm.com/markets/automotive/software-defined-vehicles.
  8. Miguel A. Arroyo, Hidenori Kobayashi, Simha Sethumadhavan, and Junfeng Yang. FIRED: Frequent Inertial Resets with Diversification for Emerging Commodity Cyber-Physical Systems. ArXiv, abs/1702.06595, 2017. URL: https://arxiv.org/abs/1702.06595.
  9. Miguel A Arroyo, M Tarek Ibn Ziad, Hidenori Kobayashi, Junfeng Yang, and Simha Sethumadhavan. YOLO: Frequently Resetting Cyber-physical Systems for Security. In Autonomous Systems: Sensors, Processing, and Security for Vehicles and Infrastructure 2019, volume 11009, pages 166-183. SPIE, 2019. Google Scholar
  10. Mathieu Bacou, Grégoire Todeschi, Alain Tchana, Daniel Hagimont, Baptiste Lepers, and Willy Zwaenepoel. Drowsy-dc: Data center power management system. In 2019 IEEE International Parallel and Distributed Processing Symposium (IPDPS), pages 825-834, 2019. URL: https://doi.org/10.1109/IPDPS.2019.00091.
  11. Anton Borisov. Coreboot at Your Service! Linux Journal, 2009(186):1, 2009. Google Scholar
  12. A. Leonard. Brown and Rafael. J. Wysocki. Suspend-to-RAM in Linuxregistered. In Proceedings of the Linux Symposium, volume 1, 2008. Google Scholar
  13. Burkacky, Ondrej and Deichmann, Johannes and Doll, Georg and Knochenhauer, Christian. Rethinking Car Software and Electronics Architecture. McKinsey & Company, 2018. Google Scholar
  14. C. L. Liu and J. W. Layland. Scheduling Algorithms for Multiprogramming in a Hard Real-Time Environment. In Journal of the ACM, volume 20(1), pages 46-61, 1973. Google Scholar
  15. George Candea, James Cutler, and Armando Fox. Improving Availability with Recursive Microreboots: A Soft-state System Case Study. Perform. Eval., 56(1–4):213-248, March 2004. URL: https://doi.org/10.1016/j.peva.2003.07.007.
  16. Huacai Chen, Hai Jin, Zhiyuan Shao, Kan Hu, Ke Yu, and Kun Tian. Clientvisor: Leverage cots os functionalities for power management in virtualized desktop environment. SIGOPS Oper. Syst. Rev., 43(3):6271, July 2009. URL: https://doi.org/10.1145/1618525.1618532.
  17. Domenico Cotroneo, Roberto Natella, Roberto Pietrantuono, and Stefano Russo. A Survey of Software Aging and Rejuvenation studies. J. Emerg. Technol. Comput. Syst., 10(1), January 2014. URL: https://doi.org/10.1145/2539117.
  18. M. Danish, Y. Li, and R. West. Virtual-CPU Scheduling in the Quest Operating System. In 17th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), pages 169-179, 2011. Google Scholar
  19. Quad-motor GTE Electric Supercar. Accessed May. 2024. URL: https://www.drakomotors.com/.
  20. Embedded Controller Interface Description. Accessed May. 2024. URL: https://uefi.org/htmlspecs/ACPI_Spec_6_4_html/12_ACPI_Embedded_Controller_Interface_Specification/embedded-controller-interface-description.html.
  21. Anam Farrukh and Richard West. Flyos: Integrated modular avionics for autonomous multicopters. In 2022 IEEE 28th Real-Time and Embedded Technology and Applications Symposium (RTAS), pages 68-81, 2022. URL: https://doi.org/10.1109/RTAS54340.2022.00014.
  22. Anam Farrukh and Richard West. Flyos: rethinking integrated modular avionics for autonomous multicopters. In Real-Time Systems Journal, volume 59, pages 256-301, 2023. URL: https://doi.org/10.1007/s11241-023-09399-w.
  23. International Organization for Standardization. ISO 26262-1-12:2018 Road vehicles - Functional safety, December 2018. Google Scholar
  24. International Organization for Standardization. ISO/SAE 21434:2021 Road vehicles - Cybersecurity engineering, August 2021. Google Scholar
  25. Francis Chow. The new standard: Red Hat In-Vehicle Operating System in modern and future vehicles. Accessed May. 2024, 2022. URL: https://www.redhat.com/en/blog/new-standard-red-hat-vehicle-operating-system-modern-and-future-vehicles.
  26. A. Golchin, Z. Cheng, and R. West. Tuned Pipes: End-to-end Throughput and Delay Guarantees for USB Devices. In 39th IEEE Real-Time Systems Symposium (RTSS), 2018. Google Scholar
  27. A. Golchin, S. Sinha, and R. West. Boomerang: Real-Time I/O Meets Legacy Systems. In 2020 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), pages 390-402. IEEE, 2020. Google Scholar
  28. Jawad Haj-Yahya, Mohammed Alser, Jeremie Kim, A. Giray Yağlıkçı, Nandita Vijaykumar, Efraim Rotem, and Onur Mutlu. Sysscale: Exploiting multi-domain dynamic voltage and frequency scaling for energy efficient mobile processors. In 2020 ACM/IEEE 47th Annual International Symposium on Computer Architecture (ISCA), pages 227-240, 2020. URL: https://doi.org/10.1109/ISCA45697.2020.00029.
  29. Sena Hounsinou, Vijay Banerjee, Chunhao Peng, Monowar Hasan, and Gedare Bloom. Work-in-progress: Enabling secure boot for real-time restart-based cyber-physical systems. In 2021 IEEE Real-Time Systems Symposium (RTSS), pages 524-527, 2021. Google Scholar
  30. Intelregistered 64 and IA-32 Architecture Software Developer Manuals. Accessed May. 2024. URL: https://www.intel.com/content/www/us/en/developer/articles/technical/intel-sdm.html.
  31. Canturk Isci, Suzanne McIntosh, Jeffrey Kephart, Rajarshi Das, James Hanson, Scott Piper, Robert Wolford, Thomas Brey, Robert Kantner, Allen Ng, James Norris, Abdoulaye Traore, and Michael Frissora. Agile, Efficient Virtualization Power Management with Low-Latency Server Power States. SIGARCH Comput. Archit. News, 41(3):96-107, June 2013. URL: https://doi.org/10.1145/2508148.2485931.
  32. Pushpak Jagtap, Fardin Abdi, Matthias Rungger, Majid Zamani, and Marco Caccamo. Software Fault Tolerance for Cyber-Physical Systems via Full System Restart. ACM Trans. Cyber-Phys. Syst., 4(4), August 2020. URL: https://doi.org/10.1145/3407183.
  33. Congfeng Jiang, Jian Wan, Xianghua Xu, Yunfa Li, and Xindong You. Power Management Challenges in Virtualization Environments. In Systems and Virtualization Management. Standards and the Cloud, pages 1-12. Springer Berlin Heidelberg, 2010. Google Scholar
  34. Congfeng Jiang and Zhao Ying-Hui. Patpro: Power aware thin provisioning of resources in virtualized servers. Applied Mathematics & Information Sciences, 7:201-208, February 2013. URL: https://doi.org/10.12785/amis/071L28.
  35. Amit Kumar and Rakesh Kumar. Preferred device early availability for faster user response. In 2017 7th International Conference on Cloud Computing, Data Science & Engineering - Confluence, pages 331-336, 2017. URL: https://doi.org/10.1109/CONFLUENCE.2017.7943171.
  36. J. Lehoczky, L. Sha, and Y. Ding. The Rate Monotonic Scheduling Algorithm: Exact Characterization and Average Case Behavior. In Proceedings of the IEEE Real-Time Systems Symposium (RTSS), 1989. Google Scholar
  37. Matthew Lentz, James Litton, and Bobby Bhattacharjee. Drowsy power management. In Proceedings of the 25th Symposium on Operating Systems Principles, SOSP '15, page 230244, New York, NY, USA, 2015. Association for Computing Machinery. URL: https://doi.org/10.1145/2815400.2815414.
  38. Hao Li, Xuefei Xu, Jinkui Ren, and Yaozu Dong. ACRN: A Big Little Hypervisor for IoT Development. In Proceedings of the 15th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, pages 31-44, 2019. Google Scholar
  39. Ye Li, Richard West, Zhuoqun Cheng, and Eric Missimer. Predictable Communication and Migration in the Quest-V Separation Kernel. In 2014 IEEE Real-Time Systems Symposium, pages 272-283. IEEE, 2014. Google Scholar
  40. Jochen Liedtke, Hermann Härtig, and Michael Hohmuth. OS-Controlled Cache Predictability for Real-Time Systems. In the 3rd IEEE Real-time Technology and Applications Symposium, 1997. Google Scholar
  41. CPU hotplug in the Kernel. Accessed May. 2024. URL: https://docs.kernel.org/core-api/cpu_hotplug.html.
  42. Device Power Management Basics. Accessed May. 2024. URL: https://docs.kernel.org/driver-api/pm/devices.html#interfaces-for-entering-system-sleep-states.
  43. Power Management. Accessed May. 2024. URL: https://docs.kernel.org/power/index.html.
  44. Linux SCHED_DEADLINE Policy. Accessed May. 2024. URL: https://docs.kernel.org/scheduler/sched-deadline.html#:~:text=Overview,of%20tasks%20between%20each%20other.
  45. LWN.net:Linux Power Management. Accessed May. 2024. URL: https://lwn.net/Kernel/Index/#Power_management.
  46. M. Marcu and D. Tudor. Power consumption measurements of virtual machines. In 2011 6th IEEE International Symposium on Applied Computational Intelligence and Informatics (SACI), pages 445-449, 2011. URL: https://doi.org/10.1109/SACI.2011.5873044.
  47. José Martins, Adriano Tavares, Marco Solieri, Marko Bertogna, and Sandro Pinto. Bao: A Lightweight Static Partitioning Hypervisor for Modern Multi-Core Embedded Systems. In Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2020). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. URL: https://doi.org/10.4230/OASIcs.NG-RES.2020.3.
  48. Ron Minnich, Gan shun Lim, Ryan O'Leary, Chris Koch, and Xuan Chen. Replace Your Exploit-ridden Firmware with a Linux Kernel, 2017. Google Scholar
  49. Patrick Mochel. Linux Kernel Power Management. In Proceedings of the Linux Symposium, 2003. Google Scholar
  50. A. B Montz, D. Mosberger, S. W. O'Mally, L. L. Peterson, and T. A. Proebsting. Scout: A Communications-Oriented Operating System. In Proceedings 5th Workshop on Hot Topics in Operating Systems (HotOS-V), pages 58-61. IEEE, 1995. Google Scholar
  51. Neil Brown. Linux Power Management: The documentation I wanted to read. Accessed May. 2024, 2012. URL: https://lwn.net/Articles/505683/.
  52. Ondrej Burkacky, Fabian Steiner,Martin Kellner, Johannes Deichmann and Julia Werra. Getting Ready for Next-generation E/E Architecture with Zonal Compute. McKinsey & Company, 2023. Google Scholar
  53. Ondrej Burkacky, Martin Kellner, Johannes Deichmann, Patrick Keuntje and Julia Werra. Rewiring car electronics and software architecture for the ‘Roaring 2020s’. McKinsey & Company, 2021. Google Scholar
  54. R. Pineiro, K. Ioannidou, S. A. Brandt, and C. Maltzahn. Rad-flows: Buffering for Predictable Communication. In 2011 17th IEEE Real-Time and Embedded Technology and Applications Symposium, pages 23-33. IEEE, 2011. Google Scholar
  55. BlackBerry | QNX: Software-Defined Vehicles. Accessed May. 2024. URL: https://blackberry.qnx.com/en/ultimate-guides/software-defined-vehicle.
  56. Ralf Ramsauer, Jan Kiszka, Daniel Lohmann, and Wolfgang Mauerer. Look Mum, No VM exits! (Almost). arXiv preprint, 2017. URL: https://arxiv.org/abs/1705.06932.
  57. Krishna K. Rangan, Gu-Yeon Wei, and David Brooks. Thread motion: Fine-grained power management for multi-core systems. In Proceedings of the 36th Annual International Symposium on Computer Architecture, ISCA '09, page 302313, New York, NY, USA, 2009. Association for Computing Machinery. URL: https://doi.org/10.1145/1555754.1555793.
  58. Raffaele Romagnoli, Bruce H. Krogh, Dionisio de Niz, Anton D. Hristozov, and Bruno Sinopoli. Runtime System Support for CPS Software Rejuvenation. IEEE Transactions on Emerging Topics in Computing, 11(3):594-604, 2023. Google Scholar
  59. Raffaele Romagnoli, Bruce H. Krogh, Dionisio de Niz, Anton D. Hristozov, and Bruno Sinopoli. Software Rejuvenation for Safe Operation of Cyber–Physical Systems in the Presence of Run-Time Cyberattacks. IEEE Transactions on Control Systems Technology, 31(4):1565-1580, 2023. Google Scholar
  60. Scott A. Rush. Application of Suspend Mode to Automotive ECUs. In SAE International WCX World Congress Experience, 2018. URL: https://doi.org/10.4271/2018-01-0021.
  61. J. M. Rushby. Design and Verification of Secure Systems. In 8th ACM Symposium on Operating Systems Principles, pages 12-21, 1981. Google Scholar
  62. Claudio Scordino, Luca Abeni, and Juri Lelli. Energy-aware Real-time Scheduling in the Linux Kernel. In Proceedings of the 33rd Annual ACM Symposium on Applied Computing, pages 601-608, 2018. Google Scholar
  63. Soham Sinha and Richard West. Towards an Integrated Vehicle Management System in DriveOS. In Proceedings of the ACM SIGBED International Conference on Embedded Software (EMSOFT). Jointly published in ACM Transactions on Embedded Computing Systems (TECS), Volume 20, Issue 5s, October 2021, Article No.: 82, October 8-15 2021. Google Scholar
  64. Slim Bootloader Project, 2021. https://slimbootloader.github.io/. Google Scholar
  65. Brinkley Sprunt. Aperiodic task scheduling for real-time systems. PhD thesis, Carnegie Mellon University, Pittsburgh, PA, USA, 1990. Google Scholar
  66. Mark Stanovich, Theodore P. Baker, An I Wang, and Michael Gonzalez Harbour. Defects of the POSIX sporadic server and how to correct them. In Proceedings of the 16th IEEE Real-Time and Embedded Technology and Applications Symposium, 2010. Google Scholar
  67. Kevin Tian, Ke Yu, Jun Nakajima, and Winston Wang. How Virtualization makes Power Management Different. In Linux Symposium, page 205, 2007. Google Scholar
  68. UEFI. Unified Extensible Firmware Interface Forum, 2021. URL: https://uefi.org/specifications.
  69. Andreas Weissel, Björn Beutel, and Frank Bellosa. Cooperative I/O: A Novel I/O Semantics for Energy-aware Applications. ACM SIGOPS Operating Systems Review, 36(SI):117-129, 2002. Google Scholar
  70. R. West, P. Zaroo, C. A. Waldspurger, and X. Zhang. Online Cache Modeling for Commodity Multicore Processors. In SIGOPS Oper. Syst. Rev., volume 44, pages 19-29, 2010. Google Scholar
  71. R. West, P. Zaroo, C. A. Waldspurger, and X. Zhang. CAFÉ: Cache-Aware Fair and Efficient Scheduling for CMPs. In Multicore Technology: Architecture, Reconfiguration and Modeling, CRC Press, pages 221-253, 2013. Google Scholar
  72. Richard West, Ye Li, Eric Missimer, and Matthew Danish. A Virtualized Separation Kernel for Mixed-Criticality Systems. ACM Transactions on Computer Systems, 34(3):8:1-8:41, June 2016. Google Scholar
  73. Y. Ye, R. West, Z. Cheng, and Y. Li. COLORIS: A Dynamic Cache Partitioning System using Page Coloring. In 23rd International Conference on Parallel Architectures and Compilation Techniques, 2014. Google Scholar
  74. The Yocto Project. Accessed May. 2024. URL: https://www.yoctoproject.org/.
  75. Yi-Wen Zhang, Rong-Kun Chen, and Zonghua Gu. Energy-aware partitioned scheduling of imprecise mixed-criticality systems. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 42(11):3733-3742, 2023. URL: https://doi.org/10.1109/TCAD.2023.3246926.
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact