论文摘要
随着信息技术的快速发展,嵌入式系统已经渗透到生产和生活的方方面面。汽车电子是嵌入式系统应用的一个典型领域。汽车电子技术是当今汽车技术发展的主要动力。汽车电子控制系统是汽车电子系统的核心,对于提高车辆的性能、安全性和可靠性具有重要的作用。汽车电子控制软件具有严格的强实时要求并受到系统的资源限制和能量限制。随着汽车电子控制系统的日益复杂化以及行业内部竞争的加剧,目前的软件开发方法越来越难以满足汽车电子控制软件高复杂度、高安全性、低成本、短开发周期等要求。基于模型的软件开发可以有效地控制软件的复杂度,提高软件的开发效率,降低软件的开发和维护成本,提高软件的正确性,从而成为目前嵌入式软件开发的重要研究领域之一。模型综合是基于模型嵌入式软件开发的重要阶段,该阶段对于满足嵌入式软件的非功能约束,生成正确的嵌入式软件具有重要的意义。然而,目前的模型综合方法存在以下的不足:1)不支持汽车电子控制软件中复杂的事务模型;2)不支持OSEK标准所定义的混合调度方式和分组调度方式;3)不支持复杂事务模型在混合调度方式和分组调度方式下的定时验证;4)未考虑节能问题,从而难以满足基于模型的汽车电子控制软件开发中模型综合的要求。本文以汽车电子控制系统作为实现模型的硬件平台,以符合汽车电子行业公认的OSEK标准的操作系统作为实现模型的软件平台,研究在基于模型的汽车电子软件开发中使用复杂事务模型时的模型综合问题。重点研究了单处理器环境中时间优化的模型综合方法、分布式环境中多资源约束的模型综合方法和能量节省的模型综合方法,为汽车电子软件开发中模型综合的自动化提供了理论和方法支持。本文的主要工作包括以下四个方面:1)提出了汽车电子软件模型综合的理论框架。本文介绍了基于模型汽车电子软件开发环境SmartOSEK IDE V3.5(目前处于研究和开发中)中模型综合的理论框架——MOSAES以及与MOSAES相关的模型:结构模型、平台模型、实现模型和约束模型等,为汽车电子软件的模型综合提供了明晰的上下文。2)研究了单处理器环境中的模型综合问题,提出了以优化临界缩放因子为目标的模型综合方法。本文扩展了HKL算法,提出了满足1-M和M-1共享关系时混合调度方式下事务的定时验证方法,以及满足M-1共享关系时分组调度方式下事务的定时验证方法。提出了单处理器环境中混合调度和分组调度方式下模型综合的流程。在模型综合时,使用定时验证保证了生成的实现模型满足定时约束;使用模拟退火算法以探索优先级的分配,优化临界缩放因子;并根据任务之间的干涉关系合并任务,在保持定时验证结果的情况下减小系统的开销。3)研究了分布式环境中的模型综合问题,提出了满足多资源约束的模型综合方法。该方法包括构件分配和实现模型生成两个阶段。首先,在满足处理器的计算资源、内存资源约束和保持计算密度平衡的条件下把构件分配到处理器上,然后以满足定时约束为目标生成实现模型。构件分配和实现模型生成是一个回溯的过程。此外,还提出了混合调度方式和分组调度方式下,任务段之间不连续时,事务的定时验证方法,以满足分布式环境中验证定时约束的需要。4)研究了模型综合中的节能问题,提出了能量节省的模型综合方法。本文首先提出了固定优先级线性事务模型中实现节能的HDVS算法。然后在HDVS算法节能原理的基础上,分析了结构模型的特点和调度方式对于事务类型划分和任务执行的影响,扩展了单处理器中的模型综合方法,从而集成节能特性到单处理器环境的模型综合过程中。
论文目录
相关论文文献
- [1].基于供应链思维的存货削减模型研究及应用[J]. 铁路采购与物流 2020(01)
- [2].基于多模型融合的工业工件剩余寿命预测[J]. 自动化与信息工程 2020(01)
- [3].考虑行人相对速度的改进社会力模型的验证与评估[J]. 计算机科学 2020(02)
- [4].基于遥感和站点观测数据的生态系统呼吸模型比较[J]. 遥感技术与应用 2020(02)
- [5].稻田施用农药的地表水暴露评估模型研究进展[J]. 生态与农村环境学报 2020(05)
- [6].“模型认知”是重要思维方式[J]. 化学教学 2020(05)
- [7].管理创新过程管控模型的构建与应用[J]. 科技经济导刊 2020(17)
- [8].理解“模型认知”素养的不同视角[J]. 课程.教材.教法 2020(04)
- [9].金融智能化不可忽视的模型风险[J]. 武汉金融 2020(06)
- [10].人口死亡统计的间接模型研究[J]. 人口与经济 2020(04)
- [11].弗里嘉的模型虚构论研究[J]. 科学文化评论 2020(03)
- [12].基于离散时间风险模型下的亏损破产概率的研究[J]. 甘肃科学学报 2017(02)
- [13].高维稀疏对角GARCH模型的估计及应用[J]. 数学的实践与认识 2017(11)
- [14].信息系统成功模型在卫生领域的应用及扩展[J]. 信息系统工程 2016(05)
- [15].例谈化学模型的特征、作用与类型[J]. 中学教学参考 2020(11)
- [16].构建人才甄选道德模型[J]. 经济管理文摘 2019(17)
- [17].“一线三等角”模型在中考中的应用[J]. 初中生学习指导 2020(18)
- [18].巧用隐圆模型 突破思维壁垒[J]. 数理化解题研究 2020(17)
- [19].借“模型”之力促教学相长[J]. 新课程 2020(25)
- [20].两类典型牵引模型规律的对比探究[J]. 湖南中学物理 2020(04)
- [21].建构模型认知 促进深度学习——高三二轮复习“实验方案的设计与评价”[J]. 化学教与学 2020(05)
- [22].重要模型“一线三等角”[J]. 中学生数理化(八年级数学)(配合人教社教材) 2020(10)
- [23].什么是“做模型”[J]. 模型世界 2018(11)
- [24].广州文华模型[J]. 模型世界 2019(01)
- [25].《模型世界》火热预订[J]. 模型世界 2019(01)
- [26].基于模型构建 引领思维发展[J]. 高中数学教与学 2018(13)
- [27].模型世界征募志愿者啦![J]. 模型世界 2015(08)
- [28].《模型·北京212》[J]. 山西文学 2015(08)
- [29].模型世界[J]. 模型世界 2014(04)
- [30].浅谈自制模型在生物教学中的优势[J]. 山东教育 2014(Z6)