车控操作系统实时性/安全性保障技术

杨世春; 崔海港; 周思达; 周新岸; 范春鹏; 曹耀光

doi:10.13700/j.bh.1001-5965.2022.0594

车控操作系统实时性/安全性保障技术

doi: 10.13700/j.bh.1001-5965.2022.0594

1.
北京航空航天大学交通科学与工程学院，北京 100191
2.
北京新能源汽车股份有限公司，北京 100176
3.
北京航空航天大学前沿技术研究院，北京 100191

基金项目: 国家重点研发计划(2021YFB2501300)

详细信息

通讯作者:
E-mail：caoyaoguang@buaa.edu.cn

中图分类号: TP316.2
计量
- 文章访问数: 255
- HTML全文浏览量: 79
- PDF下载量: 17
- 被引次数: 0
出版历程
- 收稿日期: 2022-07-07
- 录用日期: 2022-09-02
- 网络出版日期: 2022-12-14
- 整期出版日期: 2024-07-18

Real-time performance/security guarantee technology of vehicle control operating system

1.
School of Transportation Science and Engineering，Beihang University，Beijing 100191，China
2.
Beijing New Energy Vehicle Co.，Ltd.，Beijing 100176，China
3.
Research Institute for Frontier Science，Beihang University，Beijing 100191，China

Funds: National Key Research and Development Program of China (2021YFB2501300)

More Information

Corresponding author: E-mail：caoyaoguang@buaa.edu.cn

摘要

摘要:
电子控制技术为智能网联汽车的高速发展持续赋能，车控操作系统是保障汽车电子控制软件安全、高效、实时运行的基石。随着智能网联汽车向集中式、端云融合式电子电气架构发展，车载硬件演化为多核异构处理器、弹性计算平台，车控软件向面向服务的软件架构转变，车控操作系统的架构、关键技术等也随之发展。综述了智能网联汽车用车控操作系统的发展历程与现状，对任务调度、实时性/安全性保障、形式化表征与验等基础理论和关键技术进行深入分析，阐述现有车控操作系统的技术挑战与发展趋势，为智能网联汽车的车控操作系统发展提供参考。
- 智能网联汽车 /
- 车控操作系统 /
- 任务调度 /
- 代码隔离 /
- 最坏执行时间分析
Abstract:
Electronic control technology continues to enable the rapid development of intelligent connected vehicles, and the vehicle control operating system is the fundament of ensuring the safe, efficient, and real-time operation of the electronic control software of automobiles. As intelligent connected vehicles develop towards centralized and end-cloud integrated electronic and electrical architecture, vehicle-mounted hardware evolves into multi-core heterogeneous processors and elastic computing platforms, and vehicle control software transforms into service-oriented software architecture. The architecture and key technologies of vehicle control operating systems also develop accordingly. In this article, the development and current situation of vehicle control operating systems for intelligent connected vehicles were reviewed, and the basic theories and key technologies of task scheduling, real-time performance/security guarantee, and formalized representation and verification were analyzed. The technical challenges and development trends of the existing vehicle control operating system were discussed, so as to provide a reference for the development of the vehicle control operating system of intelligent networked vehicles.
- intelligent connected vehicle /
- vehicle control operating system /
- task scheduling /
- code isolation /
- worst execution time analysis

HTML全文

图 1 汽车电子技术向电动化、智能化、网联化方向发展

Figure 1. Development of automotive electronic technology towards electric, intelligent, and network-connected direction

下载: 全尺寸图片幻灯片

图 2 博世提出的汽车电子电气架构发展趋势

Figure 2. Development trends of automotive electronic and electrical architecture presented by Bosch

下载: 全尺寸图片幻灯片

图 3 智能网联汽车电控系统全场景安全标准

Figure 3. Safety standards for electronic control systems of intelligent connected vehicles in all scenarios

下载: 全尺寸图片幻灯片

图 4 满足汽车全场景安全的电控单元研发流程

Figure 4. Development process of electronic control unit to ensure safety of automobiles in all scenarios

下载: 全尺寸图片幻灯片

图 5 基于测试左移的汽车电子研发流程

Figure 5. Electronic development process of automobiles based on left-shift test

下载: 全尺寸图片幻灯片

图 6 汽标委智能网联汽车分标委提出的车控操作系统参考架构^[46]

Figure 6. Reference architecture of vehicle control operating system proposed by Subcommittee on Intelligent and Connected Vehicle of National Technical Committee on Road Vehicles of Standardization Administration of China^[46]

下载: 全尺寸图片幻灯片

图 7 国内主流汽车电子产品供应商推出的自研车控操作系统

Figure 7. Self-developed vehicle control operating system launched by mainstream electronic product suppliers of automobiles in China

下载: 全尺寸图片幻灯片

图 8 车控操作系统任务调度机制发展历程

Figure 8. Development of task scheduling mechanism in vehicle control operating system

下载: 全尺寸图片幻灯片

图 9 操作系统任务调度机制分类

Figure 9. Classification of task scheduling mechanism in operating system

下载: 全尺寸图片幻灯片

参考文献(108)

[1]	国务院. 中国制造2025[R]. 北京: 国务院, 2015. The State Council. Made in China 2025[R]. Beijing: The State Council, 2015(in Chinese).
[2]	中共中央, 国务院. 国家综合立体交通网规划纲要[R]. 北京: 中共中央, 国务院, 2021. The Central Committee of the Communist Party of China, The State Council. National comprehensive three dimensional transportation network planning outline[R]. Beijing: The Central Committee of the Communist Party of China, The State Council, 2021(in Chinese).
[3]	工业和信息化部, 国家标准委. 国家车联网产业标准体系建设指南[R]. 北京: 工业和信息化部, 国家标准委, 2023. The Ministry of Industry and Information Technology, The National Standards Commission. Guidelines for the construction of national automotive internet industry standard system[R]. Beijing: The Ministry of Industry and Information Technology, The National Standards Commission, 2023(in Chinese).
[4]	国家发展改革委, 中央网信办, 科技部, 等. 智能汽车创新发展战略[R]. 北京: 国家发展改革委, 中央网信办, 科技部, 工业和信息化部, 公安部, 财政部, 自然资源部, 住房城乡建设部, 交通运输部, 商务部, 市场监管总局, 2020. National Development and Reform Commission, Cyberspace Administration of China, Ministry of Science and Technology of the People’s Republic of China, et al. Intelligent vehicle innovation and development strategy[R]. Beijing: National Development and Reform Commission, Cyberspace Administration of China, Ministry of Science and Technology of the People’s Republic of China, Ministry of Industry and Information Technology of the People’s Republic of China, The Ministry of Public Security of the People’s Republic of China, Ministry of Finance of the People’s Republic of China, Ministry of Natural Resources of the People’s Republic of China, Ministry of Housing and Urban-Rural Development of the People’s Republic of China, Ministry of Transport of the People’s Republic of China, Ministry of Commerce of the People’s Republic of China, and State Administration for Market Regulation, 2020(in Chinese).
[5]	工业和信息化部. 智能网联汽车生产企业及产品准入管理指南(试行)[R]. 北京: 工业和信息化部, 2021. The Ministry of Industry and Information Technology. Guidelines for intelligent connected vehicle production enterprises and product access management (Trial)[R]. Beijing: The Ministry of Industry and Information Technology, 2021(in Chinese).
[6]	KHENFRI F, CHAABAN K, CHETTO M. Efficient mapping of runnables to tasks for embedded AUTOSAR applications[J]. Journal of Systems Architecture, 2020, 110: 101800. doi: 10.1016/j.sysarc.2020.101800
[7]	张梅. 国内智能网联汽车操作系统发展现状与前景[J]. 时代汽车, 2021(9): 25-26. doi: 10.3969/j.issn.1672-9668.2021.09.012 ZHANG M. The development status and prospects of domestic intelligent networked automobile operating systems[J]. Auto Time, 2021(9): 25-26(in Chinese). doi: 10.3969/j.issn.1672-9668.2021.09.012
[8]	肖锋, 颜运昌, 陈卫国. 基于嵌入式实时操作系统的汽车转向器性能及寿命试验[J]. 机电产品开发与创新, 2006, 19(6): 136-137. doi: 10.3969/j.issn.1002-6673.2006.06.062 XIAO F, YAN Y C, CHEN W G. A design of vehicle steering gear performance and life test devices based on an embedded real-time operating system[J]. Development & Innovation of Machinery & Electrical Products, 2006, 19(6): 136-137(in Chinese). doi: 10.3969/j.issn.1002-6673.2006.06.062
[9]	姜周. J1939汽车通信平台的设计与实现[D]. 杭州: 浙江大学, 2006. JIANG Z. Design and implementation of J1939 automobile communication platform[D]. Hangzhou: Zhejiang University, 2006(in Chinese).
[10]	李秀梅, 杨国青. OSEK/VDX标准与车控电子产品开发[J]. 单片机与嵌入式系统应用, 2005, 5(4): 27-30. doi: 10.3969/j.issn.1009-623X.2005.04.008 LI X M, YANG G Q. OSEK/VDX standard and development of vehicle control electronic products[J]. Microcontroller & Embedded System, 2005, 5(4): 27-30(in Chinese). doi: 10.3969/j.issn.1009-623X.2005.04.008
[11]	毛亚茹. OSEK/VDX标准研究及应用[D]. 长春: 吉林大学, 2005. MAO Y R. Research and apply of OSEK/VDX standard[D]. Changchun: Jilin University, 2005(in Chinese).
[12]	龚黎明, 辜承林. 基于OSEK/VDX标准的嵌入式实时操作系统PICOS18[J]. 电子技术, 2004, 33(5): 10-12. doi: 10.3969/j.issn.1000-0755.2004.05.003 GONG L M, GU C L. Embedded real-time operating system PICOS18 based on OSEK/VDX standard[J]. Electronic Technology, 2004, 33(5): 10-12(in Chinese). doi: 10.3969/j.issn.1000-0755.2004.05.003
[13]	CHOI Y. A configurable V&V framework using formal behavioral patterns for OSEK/VDX operating systems[J]. Journal of Systems and Software, 2018, 137: 563-579. doi: 10.1016/j.jss.2017.07.040
[14]	ZHANG M, AOKI T, HE Y Y. A spiral process of formalization and verification: A case study on verification of the scheduling mechanism of OSEK/VDX[J]. Journal of Information Security and Applications, 2016, 31: 41-53. doi: 10.1016/j.jisa.2016.05.002
[15]	唐晓磊, 黄涛. 基于OSEK/VDX的汽车操作系统设计[J]. 北京汽车, 2007(1): 24-26. doi: 10.3969/j.issn.1002-4581.2007.01.007 TANG X L, HUANG T. Design of automobile operating system based on OSEK/VDX[J]. Beijing Automotive Engineering, 2007(1): 24-26(in Chinese). doi: 10.3969/j.issn.1002-4581.2007.01.007
[16]	郜文, 李继来, 梁华为. OSEK/VDX嵌入式实时操作系统在汽车稳定性控制器中的应用[J]. 计算机系统应用, 2010, 19(4): 148-151. doi: 10.3969/j.issn.1003-3254.2010.04.036 GAO W, LI J L, LIANG H W. Application of OSEK/VDX embedded real-time operating system to vehicle stability controller[J]. Computer Systems & Applications, 2010, 19(4): 148-151(in Chinese). doi: 10.3969/j.issn.1003-3254.2010.04.036
[17]	郑英治, 焦哲勇. 基于OSEK标准的嵌入式实时操作系统在汽车电子中的应用[J]. 现代电子技术, 2011, 34(3): 148-150. doi: 10.3969/j.issn.1004-373X.2011.03.047 ZHENG Y Z, JIAO Z Y. Application of embedded RTOS in automotive electronics based on OSEK[J]. Modern Electronics Technique, 2011, 34(3): 148-150(in Chinese). doi: 10.3969/j.issn.1004-373X.2011.03.047
[18]	王瑞, 张东. 基于OSEK/VDX标准的操作系统设计与实现[J]. 航空计算技术, 2011, 41(2): 121-124. doi: 10.3969/j.issn.1671-654X.2011.02.031 WANG R, ZHANG D. Design and implementation of operating system based on OSEK/VDX specification[J]. Aeronautical Computing Technique, 2011, 41(2): 121-124(in Chinese). doi: 10.3969/j.issn.1671-654X.2011.02.031
[19]	李静, 邢国成, 张家旭. 嵌入式OSEK/VDX操作系统的优化与应用[J]. 汽车工程, 2016, 38(4): 473-477. doi: 10.3969/j.issn.1000-680X.2016.04.013 LI J, XING G C, ZHANG J X. Optimizationand application of embedded OSEK/VDX operating system[J]. Automotive Engineering, 2016, 38(4): 473-477(in Chinese). doi: 10.3969/j.issn.1000-680X.2016.04.013
[20]	古杨. SmartOSEK集成开发环境研究和实现[D]. 杭州: 浙江大学, 2005. GU Y. Research and implementation of SmartOSEK integrated development environment[D]. Hangzhou: Zhejiang University, 2005(in Chinese).
[21]	胡博. 基于模型驱动的建模环境—SmartDesigner 3.5[D]. 杭州: 浙江大学, 2008. HU B. A model-driven development environment SmartDesigner 3.5[D]. Hangzhou: Zhejiang University, 2008(in Chinese).
[22]	岳龙. SmartIDE2.0: 支持OSEK标准的汽车电子集成开发环境[D]. 杭州: 浙江大学, 2006. YUE L. SmartIDE2.0: Integrated development environment for automotive electronics supporting OSEK standard[D]. Hangzhou: Zhejiang University, 2006(in Chinese).
[23]	YANG G Q, ZHAO M D, LI H, et al. SmartOSEK based design and verification for in-vehicle network system: A Model-Based approach[C]//Proceedings of the International Conference on Control. Piscataway: IEEE Press, 2006.
[24]	宋君花, 王俊席, 冒晓建, 等. OSEK/VDX的混合动力汽车实时操作系统[J]. 农业机械学报, 2008, 39(6): 21-24. SONG J H, WANG J X, MAO X J, et al. Design of real-time operating system for hybrid electric vehicle based on OSEK/VDX[J]. Transactions of the Chinese Society for Agricultural Machinery, 2008, 39(6): 21-24(in Chinese).
[25]	杨林孟, 吴光强, 邱绪云. 基于UC/OS-Ⅱ操作系统的汽车底盘集成控制器设计[J]. 汽车科技, 2007(5): 41-44. YANG L M, WU G Q, QIU X Y. The design based on operation system UC/OS-Ⅱ for integration controller of vehicle chassis[J]. Auto Mobile Science & Technology, 2007(5): 41-44(in Chinese).
[26]	张吕红. 参照AUTOSAR标准的SmartOSEK OS 4.0的设计与实现[D]. 杭州: 浙江大学, 2010. ZHANG L H. Design and implementation of SmartOSEK OS 4.0 consulting AUTOSAR[D]. Hangzhou: Zhejiang University, 2010(in Chinese).
[27]	欧诗鑫. AUTOSAR OS规范研究及其在μC/OS-Ⅱ中实现[D]. 合肥: 合肥工业大学, 2012. OU S X. Research on AUTOSAR OS specification and implementation in μC/OS-Ⅱ[D]. Hefei: Hefei University of Technology, 2012(in Chinese).
[28]	武书逸, 杨弘镺, 董宗祥. 基于AUTOSAR操作系统的内核追踪方案研究[J]. 上海汽车, 2021(12): 25-28. doi: 10.3969/j.issn.1007-4554.2021.12.06 WU S Y, YANG H A, DONG Z X. Research on kernel tracing scheme based on AUTOSAR operating system[J]. Shanghai Auto, 2021(12): 25-28(in Chinese). doi: 10.3969/j.issn.1007-4554.2021.12.06
[29]	钟再敏, 张允. 基于AUTOSAR 4.0标准多核软件系统实现研究[J]. 机电一体化, 2016, 22(1): 12-17. ZHONG Z M, ZHANG Y. Research of multicore software system implementation based on AUTOSAR 4.0 standard[J]. Mechatronics, 2016, 22(1): 12-17(in Chinese).
[30]	彭云辉. 基于AUTOSAR的汽车电子操作系统及其应用的建模与分析[D]. 上海: 华东师范大学, 2014. PENG Y H. Modeling and analysis of AUTOSAROS and application[D]. Shanghai: East China Normal University, 2014(in Chinese).
[31]	陈海兰. 基于AUTOSAR规范的嵌入式实时操作系统设计与实现[D]. 上海: 复旦大学, 2013. CHEN H L. Design and implementation of embedded real-time operating system based on AUTOSAR specification[D]. Shanghai: Fudan University, 2013(in Chinese).
[32]	严刚, 肖堃, 褚文博. 智能网联汽车计算平台虚拟化技术研究[J]. 汽车工程, 2020, 42(1): 33-37. YAN G, XIAO K, CHU W B. Research on virtualization technology for computing platform of intelligent connected vehicles[J]. Automotive Engineering, 2020, 42(1): 33-37(in Chinese).
[33]	赵世佳, 徐可, 宋娟, 等. 我国智能网联汽车操作系统发展的实施策略[J]. 科技管理研究, 2020, 40(9): 107-111. doi: 10.3969/j.issn.1000-7695.2020.9.016 ZHAO S J, XU K, SONG J, et al. Analysis of intelligent connected vehicle operating system and its implementation strategy[J]. Science and Technology Management Research, 2020, 40(9): 107-111(in Chinese). doi: 10.3969/j.issn.1000-7695.2020.9.016
[34]	赵黎. 打造智能汽车操作系统, 实现软件定义汽车[J]. 汽车纵横, 2021(11): 91-94. doi: 10.3969/j.issn.2095-1892.2021.11.023 ZHAO L. Create a smart car operating system and realize a software-defined car[J]. Auto Review, 2021(11): 91-94(in Chinese). doi: 10.3969/j.issn.2095-1892.2021.11.023
[35]	谭超鹏. 异构多核处理器的微内核操作系统实时任务调度的研究[D]. 桂林: 桂林理工大学, 2018. TAN C P. Research on real-time task scheduling of micro-kernel operating system of heterogeneous multicore processor[D]. Guilin: Guilin University of Technology, 2018(in Chinese).
[36]	黄一智, 李仁发. 从安全角度评述汽车操作系统[J]. 单片机与嵌入式系统应用, 2021, 21(3): 4-8. HUANG Y Z, LI R F. Review of vehicle operating system from perspective of safety[J]. Microcontrollers & Embedded Systems, 2021, 21(3): 4-8(in Chinese).
[37]	International Organization for Standardization. Road vehicles—Functional safety: ISO 26262[S]. Geneva: ISO, 2018.
[38]	International Organization for Standardization. Road vehicles—Safety of the intended functionality: ISO 21448[S]. Geneva: ISO, 2022.
[39]	International Organization for Standardization. Road vehicles—Cybersecurity engineering: ISO/SAE 21434[S]. Geneva: ISO, 2021.
[40]	International Organization for Standardization. Quality management systems—Requirements: ISO 9001[S]. Geneva: ISO, 2015.
[41]	SAE International. Cybersecurity guidebook for cyber-physical vehicle systems: SAE J3061[S]. New York: SAE, 2016.
[42]	Roman Pallierer, BöRge Schmelz. 适用于高性能车载计算平台的自适应AUTOSAR[J]. 汽车与配件, 2019(3): 43-45. doi: 10.3969/j.issn.1006-0162.2019.03.011 PALLIERER R, SCHMELZ B. Adaptive AUTOSAR for high-performance vehicular computing platforms[J]. Automobile & Parts, 2019(3): 43-45(in Chinese). doi: 10.3969/j.issn.1006-0162.2019.03.011
[43]	邱天时, 朱元, 吴志红, 等. 兼容ROS的自适应AUTOSAR面向服务通信研究[J]. 长江信息通信, 2021, 34(4): 1-5. doi: 10.3969/j.issn.1673-1131.2021.04.001 QIU T S, ZHU Y, WU Z H, et al. Research on service-oriented communication of adaptive AUTOSAR compatible with ROS[J]. Changjiang Information & Communications, 2021, 34(4): 1-5(in Chinese). doi: 10.3969/j.issn.1673-1131.2021.04.001
[44]	Roman Pallierer, BöRge Schmelz. 高性能车载计算平台的自适应AUTOSAR满足未来需求[J]. 汽车制造业, 2020(9): 10-13. PALLIERER R, SCHMELZ B. AUTOSAR’s capability of answering the future needs[J]. Automobil Industrie, 2020(9): 10-13(in Chinese).
[45]	全国汽车标准化技术委员会. 车用操作系统标准体系[S]. 北京: 全国汽车标准化技术委员会, 2019. The National Technical Committee for Automobile Standardization. Vehicle operating system standard system[S]. Beijing: The National Technical Committee for Automobile Standardization, 2019(in Chinese).
[46]	全国汽车标准化技术委员会智能网联汽车分标委. 车控操作系统总体技术要求研究报告[R]. 北京: 全国汽车标准化技术委员会智能网联汽车分标委, 2021. Intelligent Connected Vehicles Sub Committee of the National Technical Committee for Automobile Standardization. Research report on overall technical requirements for vehicle control operating system [R]. Beijing: Intelligent Connected Vehicles Sub Committee of the National Technical Committee for Automobile Standardization, 2021(in Chinese).
[47]	李鲁苗, 周玮. 全球车用操作系统发展现状[J]. 汽车纵横, 2022(1): 39-42. doi: 10.3969/j.issn.2095-1892.2022.01.010 LI L M, ZHOU W. Current situation of global automotive operating system development[J]. Auto Review, 2022(1): 39-42(in Chinese). doi: 10.3969/j.issn.2095-1892.2022.01.010
[48]	管业雷. 异构多核处理器的微内核操作系统体系结构的研究与设计[D]. 桂林: 桂林理工大学, 2018. GUAN Y L. Research and design of microkernel operating system architecture based on heterogeneous multicore processor[D]. Guilin: Guilin University of Technology, 2018(in Chinese).
[49]	ZHAO L, HAN X. Decomposition-based scheduling for parallel real-time tasks on multiprocessors[J]. Computers & Electrical Engineering, 2022, 97: 107644.
[50]	HASANLOO M, KARGAHI M, JALILIAN S. Dynamic harvesting and energy-aware real-time task scheduling[J]. Sustainable Computing: Informatics and Systems, 2020, 28: 100413. doi: 10.1016/j.suscom.2020.100413
[51]	周俊龙. 实时系统的可靠性驱动任务调度机制研究[D]. 上海: 华东师范大学, 2017. ZHOU J L. Reliability-driven task scheduling in real-time systems[D]. Shanghai: East China Normal University, 2017(in Chinese).
[52]	杨国青. 基于模型驱动的汽车电子软件开发方法研究[D]. 杭州: 浙江大学, 2006. YANG G Q. Research on model-based design approaches for automotive electronics[D]. Hangzhou: Zhejiang University, 2006(in Chinese).
[53]	HU M L, LUO J, WANG Y, et al. Holistic scheduling of real-time applications in time-triggered in-vehicle networks[J]. IEEE Transactions on Industrial Informatics, 2014, 10(3): 1817-1828. doi: 10.1109/TII.2014.2327389
[54]	陈剑利, 宋昕, 唐亚利, 等. 汽车软件中实时任务调度机制研究[J]. 湘潭师范学院学报(自然科学版), 2008, 30(1): 27-30. CHEN J L, SONG X, TANG Y L, et al. Research on real-time task scheduling mechanism in automotive software[J]. Journal of Xiangtan Normal University (Natural Science Edition), 2008, 30(1): 27-30(in Chinese).
[55]	陈威. SmartOSEK操作系统设计和空间优化[D]. 杭州: 浙江大学, 2005. CHEN W. SmartOSEK operating system design and space optimization[D]. Hangzhou: Zhejiang University, 2005(in Chinese).
[56]	郁利吉. SmartOSEK OS 3.0的设计与实现[D]. 杭州: 浙江大学, 2007. YU L J. The design and implementation of SmartOSEK OS 3.0[D]. Hangzhou: Zhejiang University, 2007(in Chinese).
[57]	张激, 包晟临. OSEK操作系统定时机制优化设计[J]. 计算机工程, 2010, 36(17): 252-254. doi: 10.3969/j.issn.1000-3428.2010.17.086 ZHANG J, BAO S L. Optimization design of timer mechanism in OSEK operating system[J]. Computer Engineering, 2010, 36(17): 252-254(in Chinese). doi: 10.3969/j.issn.1000-3428.2010.17.086
[58]	MOULIK S. RESET: A real-time scheduler for energy and temperature aware heterogeneous multi-core systems[J]. Integration, 2021, 77: 59-69. doi: 10.1016/j.vlsi.2020.11.012
[59]	朱怡安, 黄林林, 李联, 等. 多核平台下分区操作系统的安全关键任务调度方法[J]. 计算机工程, 2017, 43(12): 38-44. doi: 10.3969/j.issn.1000-3428.2017.12.007 ZHU Y A, HUANG L L, LI L, et al. Safety-critical task scheduling method for partitioned operating system in multi-core platform[J]. Computer Engineering, 2017, 43(12): 38-44(in Chinese). doi: 10.3969/j.issn.1000-3428.2017.12.007
[60]	BIONDI A, BUTTAZZO G. Modeling and analysis of engine control tasks under dynamic priority scheduling[J]. IEEE Transactions on Industrial Informatics, 2018, 14(10): 4407-4416. doi: 10.1109/TII.2018.2791939
[61]	李彦冬, 雷航. 多核操作系统发展综述[J]. 计算机应用研究, 2011, 28(9): 3215-3219. doi: 10.3969/j.issn.1001-3695.2011.09.004 LI Y D, LEI H. Survey of multi-core operating system[J]. Application Research of Computers, 2011, 28(9): 3215-3219(in Chinese). doi: 10.3969/j.issn.1001-3695.2011.09.004
[62]	梁荣晓. 多核操作系统发展综述[J]. 信息安全与技术, 2013, 4(3): 10-12. LIANG R X. Summary of multicore operating system development[J]. Information Security and Technology, 2013, 4(3): 10-12(in Chinese).
[63]	SHAHABI-SHAHMIRI R, ASIAN S, TAVAKKOLI-MOGHADDAM R, et al. A routing and scheduling problem for cross-docking networks with perishable products, heterogeneous vehicles and split delivery[J]. Computers & Industrial Engineering, 2021, 157: 107299.
[64]	江斌. 一种车用同构多核嵌入式实时操作系统内核的设计与实现[D]. 长沙: 湖南大学, 2012. JIANG B. Design and implementation of an automotive embedded real-time operating system kernel supporting homogeneous multicore[D]. Changsha: Hunan University, 2012(in Chinese).
[65]	罗文. 异构多核任务迁移和调度算法研究[D]. 长沙: 湖南大学, 2016. LUO W. Research on task migration and scheduling algorithm for heterogeneous multi-core processors[D]. Changsha: Hunan University, 2016(in Chinese).
[66]	SALMAN S M, PAPADOPOULOS A V, MUBEEN S, et al. Multi-processor scheduling of elastic applications in compositional real-time systems[J]. Journal of Systems Architecture, 2022, 122: 102358. doi: 10.1016/j.sysarc.2021.102358
[67]	卢朝洪, 金曦, 唐岳东, 等. 多核处理器下智能车载平台的设计与实现[J]. 电子产品世界, 2013, 20(7): 64-67. LU C H, JIN X, TANG Y D, et al. Design and implementation of intelligent in-vehicle platform on multicore processor[J]. Electronic Engineering & Product World, 2013, 20(7): 64-67(in Chinese).
[68]	俞建德. 支持异构多核的嵌入式实时操作系统SmartOSEK OS-M[D]. 杭州: 浙江大学, 2008. YU J D. SmartOSEK OS-M: A real-time operating system supporting heterogeneous multi-cores[D]. Hangzhou: Zhejiang University, 2008(in Chinese).
[69]	YUAN C Z, HE H Y, ZHAN P P, et al. A framework for analysis of non-functional properties of AADL model based on PNML[C]//Proceedings of the International Conference in Communications, Signal Processing, and Systems. Berlin: Springer, 2020: 2562-2570.
[70]	ORR M, SINNEN O. Optimal task scheduling for partially heterogeneous systems[J]. Parallel Computing, 2021, 107: 102815. doi: 10.1016/j.parco.2021.102815
[71]	NIE P C, DUAN Z H. Efficient and scalable scheduling for performance heterogeneous multicore systems[J]. Journal of Parallel and Distributed Computing, 2012, 72(3): 353-361. doi: 10.1016/j.jpdc.2011.12.005
[72]	王嘉平. 多核系统中实时任务调度算法的研究[D]. 南京: 南京邮电大学, 2012. WANG J P. The research on a scheduling algorithm for real-time tasks in multi-core systems[D]. Nanjing: Nanjing University of Posts and Telecommunications, 2012(in Chinese).
[73]	王世涛, 张激, 李健, 等. 嵌入式多核操作系统负载均衡研究[J]. 计算机工程, 2015, 41(7): 86-90. WANG S T, ZHANG J, LI J, et al. Load balancing research on embedded multicore operating system[J]. Computer Engineering, 2015, 41(7): 86-90(in Chinese).
[74]	YAĞMUR E, KESEN S E. Multi-trip heterogeneous vehicle routing problem coordinated with production scheduling: Memetic algorithm and simulated annealing approaches[J]. Computers & Industrial Engineering, 2021, 161: 107649.
[75]	WANG B, WANG C H, HUANG W W, et al. Security-aware task scheduling with deadline constraints on heterogeneous hybrid clouds[J]. Journal of Parallel and Distributed Computing, 2021, 153: 15-28. doi: 10.1016/j.jpdc.2021.03.003
[76]	HUSSAIN M, WEI L F, LAKHAN A, et al. Energy and performance efficient task scheduling in heterogeneous virtualized cloud computing[J]. Sustainable Computing: Informatics and Systems, 2021, 30: 100517. doi: 10.1016/j.suscom.2021.100517
[77]	LI M S, GAO J, ZHAO L, et al. Adaptive computing scheduling for edge-assisted autonomous driving[J]. IEEE Transactions on Vehicular Technology, 2021, 70(6): 5318-5331. doi: 10.1109/TVT.2021.3062653
[78]	SINGH H, TYAGI S, KUMAR P, et al. Metaheuristics for scheduling of heterogeneous tasks in cloud computing environments: Analysis, performance evaluation, and future directions[J]. Simulation Modelling Practice and Theory, 2021, 111: 102353. doi: 10.1016/j.simpat.2021.102353
[79]	LI J F, CAO X F, GUO D K, et al. Task scheduling with UAV-assisted vehicular cloud for road detection in highway scenario[J]. IEEE Internet of Things Journal, 2020, 7(8): 7702-7713. doi: 10.1109/JIOT.2020.2992088
[80]	KIM E, LEE Y, HE L, et al. Power guarantee for electric systems using real-time scheduling[J]. IEEE Transactions on Parallel and Distributed Systems, 2020, 31(8): 1783-1798. doi: 10.1109/TPDS.2020.2977041
[81]	HADIAN M, ALTUWAIYAN T, LIANG X H, et al. Privacy-preserving task scheduling for time-sharing services of autonomous vehicles[J]. IEEE Transactions on Vehicular Technology, 2019, 68(6): 5260-5270. doi: 10.1109/TVT.2019.2909468
[82]	孙海泳. 嵌入式操作系统的形式化验证方法研究[D]. 成都: 电子科技大学, 2020. SUN H Y. Research on formal verification method of embedded operating system[D]. Chengdu: University of Electronic Science and Technology of China, 2020(in Chinese).
[83]	KNOOP J, KOVÁCS L, ZWIRCHMAYR J. Replacing conjectures by positive knowledge: Inferring proven precise worst-case execution time bounds using symbolic execution[J]. Journal of Symbolic Computation, 2017, 80: 101-124. doi: 10.1016/j.jsc.2016.07.023
[84]	魏城炯. SmartOSEK OS可靠性测试方案[D]. 杭州: 浙江大学, 2010. WEI C J. Reliability testing scheme for SmartOSEK OS[D]. Hangzhou: Zhejiang University, 2010(in Chinese).
[85]	杨国青, 厉蒋. 基于ISO 26262功能安全标准的汽车电子系统测试方法(上)[J]. 电子产品世界, 2013, 20(4): 31-34. YANG G Q, LI J. Test method for automotive electronics system based on ISO 26262 (I)[J]. Electronic Engineering & Product World, 2013, 20(4): 31-34(in Chinese).
[86]	刁振军. 基于三层特权级的系统安全体系研究[J]. 电子技术与软件工程, 2014(18): 247. DIAO Z J. Research on system security system based on three privilege levels[J]. Electronic Technology & Software Engineering, 2014(18): 247(in Chinese).
[87]	YUAN C Z, WU K Z, PENG R, et al. A hierarchical fault detection method for aerospace embedded software[C]//Proceedings of the International Conference on Wireless and Satellite Systems. Berlin: Springer, 2021: 124-138.
[88]	陈丽蓉, 燕立明, 罗蕾. 汽车电子嵌入式操作系统的隔离保护机制[J]. 电子科技大学学报, 2014, 43(3): 450-456. CHEN L R, YAN L M, LUO L. An isolation and protection mechanism of automotive electronic embedded operating system[J]. Journal of University of Electronic Science and Technology of China, 2014, 43(3): 450-456(in Chinese).
[89]	卢从娟. 探析汽车电子嵌入式操作系统的隔离保护机制[J]. 中国新通信, 2015, 17(15): 100. LU C J. Analysis on the isolation and protection mechanism of automotive electronic embedded operating system[J]. China New Telecommunications, 2015, 17(15): 100(in Chinese).
[90]	迎九. 多核、虚拟化、多操作系统的软件趋势[J]. 电子产品世界, 2010, 17(S1): 58-60. YING J. Software trends of multi-core, virtualization and multi-operating systems[J]. Electronic Engineering & Product World, 2010, 17(S1): 58-60(in Chinese).
[91]	AGIRRE I, CAZORLA F J, ABELLA J, et al. Fitting software execution-time exceedance into a residual random fault in ISO-26262[J]. IEEE Transactions on Reliability, 2018, 67(3): 1314-1327. doi: 10.1109/TR.2018.2828222
[92]	吕鸣松. 实时系统最坏情况执行时间分析技术的研究[D]. 沈阳: 东北大学, 2010. LYU M S. Research on worst-case execution time analysis techniques of real-time systems[D]. Shenyang: Northeastern University, 2010(in Chinese).
[93]	ZHANG T X, ZHENG W G, XIAO Y Y, et al. A dynamic instruction cache locking approach for minimizing worst case execution time of a single task[J]. IEEE Access, 2020, 8: 208003-208015. doi: 10.1109/ACCESS.2020.3038170
[94]	殷锋社, 汤小明. 实时系统最坏执行时间分析及测试[J]. 电子测试, 2013(10): 95-96. YIN F S, TANG X M. Analysis and test of worst-case execute time in real time system[J]. Electronic Test, 2013(10): 95-96(in Chinese).
[95]	ERMEDAHL A, PUSCHNER P. Preface to the special issue on worst-case execution-time analysis[J]. Journal of Systems Architecture, 2011, 57(7): 675-676. doi: 10.1016/j.sysarc.2011.06.001
[96]	王颖洁, 周宽久, 李明楚. 实时嵌入式系统的WCET分析与预测研究综述[J]. 计算机科学, 2019, 46(S1): 16-22. WANG Y J, ZHOU K J, LI M C. Review on WCET analysis and prediction of real-time embedded system[J]. Computer Science, 2019, 46(S1): 16-22(in Chinese).
[97]	STAPPERT F, ALTENBERND P. Complete worst-case execution time analysis of straight-line hard real-time programs[J]. Journal of Systems Architecture, 2000, 46(4): 339-355. doi: 10.1016/S1383-7621(99)00010-7
[98]	刘育芳, 张立臣. 实时系统最坏执行时间分析[J]. 计算机应用研究, 2005, 22(11): 8-10. LIU Y F, ZHANG L C. Worst-case execution time analysis for real-time systems[J]. Application Research of Computers, 2005, 22(11): 8-10(in Chinese).
[99]	METZLAFF S, UNGERER T. A comparison of instruction memories from the WCET perspective[J]. Journal of Systems Architecture, 2014, 60(5): 452-466. doi: 10.1016/j.sysarc.2013.09.009
[100]	SEGARRA J, GRAN TEJERO R, VIÑALS V. A generic framework to integrate data caches in the WCET analysis of real-time systems[J]. Journal of Systems Architecture, 2021, 120: 102304. doi: 10.1016/j.sysarc.2021.102304
[101]	SIEH V, BURLACU R, HÖNIG T, et al. Combining automated measurement-based cost modeling with static worst-case execution-time and energy-consumption analyses[J]. IEEE Embedded Systems Letters, 2019, 11(2): 38-41. doi: 10.1109/LES.2018.2868823
[102]	HARMON T, SCHOEBERL M, KIRNER R, et al. Fast, interactive worst-case execution time analysis with back-annotation[J]. IEEE Transactions on Industrial Informatics, 2012, 8(2): 366-377. doi: 10.1109/TII.2012.2187457
[103]	BARTLETT M, BATE I, KAZAKOV D. Accurate determination of loop iterations for worst-case execution time analysis[J]. IEEE Transactions on Computers, 2010, 59(11): 1520-1532. doi: 10.1109/TC.2010.59
[104]	BRANDNER F, JORDAN A. Refinement of worst-case execution time bounds by graph pruning[J]. Computer Languages, Systems & Structures, 2014, 40(3-4): 155-170.
[105]	GIL S J, BATE I, LIMA G, et al. Open challenges for probabilistic measurement-based worst-case execution time[J]. IEEE Embedded Systems Letters, 2017, 9(3): 69-72. doi: 10.1109/LES.2017.2712858
[106]	ERMEDAHL A, STAPPERT F, ENGBLOM J. Clustered worst-case execution-time calculation[J]. IEEE Transactions on Computers, 2005, 54(9): 1104-1122. doi: 10.1109/TC.2005.139
[107]	CARMINATI A, STARKE R A, DE OLIVEIRA R S. Combining loop unrolling strategies and code predication to reduce the worst-case execution time of real-time software[J]. Applied Computing and Informatics, 2017, 13(2): 184-193. doi: 10.1016/j.aci.2017.03.002
[108]	CHATTOPADHYAY S, TRESINA M J, NARAYAN S. Worst case execution time analysis of automotive software[J]. Procedia Engineering, 2012, 30: 983-988. doi: 10.1016/j.proeng.2012.01.954