汽车电子软件的实时性验证方法研究
Validation method for Real-time Automobile Electronic Software
现有的汽车电子软件如汽车自适应巡航控制系统、防抱死制动系统、辅助防护系统等都具有强实时性和高可靠性等特点。由于这些系统是性命攸关的硬实时系统，因此在投入使用前分析它们的时间特性非常必要。本文选用TOPPERS操作系统，以汽车自适应巡航控制系统为例，建立与它对应的时间Petri网模型，通过分析整个Petri网，计算汽车自适应巡航控制系统所需要的时间，并与汽车自适应巡航控制系统的时间约束进行比较来评价该系统是否满足实时性的要求。
Existing automobile electronic software such as the adaptive cruise control (ACC), anti-lock braking, and supplemental restraint systems is strongly real-time and highly reliable. Since they are hard real-time systems for life-threatening situations, their time characteristics must be analyzed carefully before they are put into use. This study, using ACC as an example, established the corresponding Petri net on the TOPPERS operating system. By analyzing the Petri net model, and making a comparison with the time requirements of the ACC system, we show that our validation method is efficient.
杨帆、李仁发、谢勇、李蕊、李实英
电子技术应用自动化技术、自动化技术设备
计算机应用技术汽车自适应巡航控制系统建模实时性Petri网
echnology of Computer Applicationuto Adaptive Cruise Control SystemModelingReal-timePetri Net
杨帆,李仁发,谢勇,李蕊,李实英.汽车电子软件的实时性验证方法研究[EB/OL].(2011-04-14)[2025-08-02].http://www.paper.edu.cn/releasepaper/content/201104-342.点此复制
评论