汽车电子软件的实时性验证方法研究

被引量 : 0次 | 上传用户:zs1979
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着人们要求的日益增高,现代汽车集成各种各样复杂的应用,在应用程序与硬件之间加入操作系统成为必然。如何验证带操作系统的汽车电子软件的实时性成了许多研究人员共同关注的问题。对于嵌入式系统实时性的验证,形式化推理分析与模型分析是现存的两大最重要的方法,但前者往往分析过程比较复杂,且没有直观的运行界面,不能模拟整个系统的真实运行情况。而模型分析方法则形式各异,各有所长。PETRI网适合于描述异步的、并发的计算机系统模型,它既有严格的数学表述方式,也有直观的图形运行界面,能分析系统的实时性、可靠性等各种性能。本文在TOPPERS操作系统基础上,以汽车自适应巡航控制系统为例,分析得出一种汽车电子软件的实时性验证方法。文章首先分别阐述现代汽车电子系统和车载操作系统的发展,并归纳总结对于实时性的验证所存在的方法,包括形式化推理、时间自动机、AADL建模等;接着文章在分析Petri网的时间扩展与性质基础上,得出一种利用时间Petri网来验证汽车电子系统实时性的方法,并制定从带时间参数的状态转换图到时间Petri网的映射规则;然后在TOPPERS操作系统的基础上设计实现验证实例汽车自适应巡航控制系统,并测试相关的任务运行时间;最后建立汽车自适应巡航控制系统相对应的时间Petri网模型,通过验证工具EXSPECT运行模型系统,在两种不同模式下分别分析验证其实时性并进行相关方面的比较。结果显示本文所提出的验证汽车电子软件实时性的方法能准确得出整个系统运行所耗费的时间,与传统的系统实时性验证方法相比,本文的方法通过一定的优化策略降低系统的复杂度,且能更直接的模拟系统的运行情况,并准确得出时间参数。
其他文献
建筑机电安装过程是建筑建设过程中的基础性工作。整个机电安装过程需要对安装技术和质量进行合理的安排要求,才能保证建筑机电安装工程合理进行。随着建筑行业市场竞争不断
相对于串联机器人,并联机器人具有刚度大、精度高、承载能力强等特点,广泛应用于机床等工业领域。本文以6自由3-PRPS并联机器人为研究对象,在前人研究的基础上,对其运动学、
为解决设计工频整流电路时,需要较高的直流输出电压且整体电路的设备小型化及大功率输出的问题,提出利用一种新型的三相非隔离倍压整流电路,省去了输入变压器,仅通过二极管及
重睑术后继发“三眼皮”畸形的矫正高建华罗锦辉罗力生所谓“三眼皮”是指上睑皮肤出现原发或继发的两条皱襞,形似三层。“原发性三眼皮”并不少见,多由于皮肤松弛所致,通常比较
本文运用语用学的合作原则、礼貌原则和面子论等原则,对汉语商务谈判中的否定策略进行分析,指出在商务谈判中否定表达实际上是一种语用策略,在商务汉语教学中应培养学习者的
在中国社会改革开放逐步深入的环境中,在中西文化碰撞交流的语境下,茅盾文学奖获奖作品以文本的 形式进行着艰难的文化选择与不懈的文化探索。它们将聚焦传统文化精神、凸
随着社会经济的发展、人民生活水平和社会开放程度的提高,城市夜晚生活逐渐成为人们日常行为生活中不可或缺的一部分,并对城市的功能空间和景观空间产生了潜移默化的影响,城市夜
为了研究北京市气象因子与车流量、车速等交通因子对PM2.5、PM10浓度水平的影响,在市区三环主路及居民区选取了28个采样点,采集滞尘量,PM2.5、PM10浓度、车速、车流量、温度
防火门监控系统是《火灾自动报警系统设计规范》(GB 50116-2013)中规定在建筑中设置的火灾自动报警系统子系统之一,本文依据相关规范和图集,从设计角度和施工安装角度介绍了