摘要：总结了嵌入式软件模拟测试平台研制过程中所遇到的技术难点和相应的解决途径。该平台主要包括静态分析和动态模拟运行两个子系统,静态分析部分拥有逆向生成程序流程图的功能。介绍了生成“流程图图块文件”的思想。CPU模拟是该平台的核心,给出了CPU模拟的工作方式和流程,以及测试覆盖率的统计方案。采用了两种存储器体系结构,寻址方式的模拟不仅保证了正确地确定操作数,而且能够正确统计指令执行时间。介绍了模拟时钟的设计思想,以及中断控制模拟器的工作原理,描述了中断信号的发生、中断优先级的控制措施。

摘要：从算法级分析软件功耗和软件特征的关联关系,对嵌入式软件的时间复杂度、空间复杂度和输入规模3个特征进行度量,提出一种基于算法复杂度的嵌入式软件功耗宏模型。设计、训练一种BP神经网络,用于实现功耗函数逼近。仿真实验表明,该功耗函数的估算结果和真实值误差在10%以内,可用于快速估算软件算法在一定输入规模情况下的功耗值,为下一步开展功耗优化工作打下基础。

摘要：随着计算机技术的不断进步,嵌入式软件在各行各业中的应用越来越广泛。嵌入式软件是指嵌入到各种设备中的软件,如手机、电子游戏机、智能家居、自动化控制系统等。它们的特点是体积小、功耗低、性能高、实时性强、可靠性强、成本低廉等。随着科技的不断发展,系统的响应速度越来越重要,而嵌入式软件正是能够实现系统实时性的重要手段。本文将着重探讨嵌入式软件在计算机软件设计中的应用,旨在进一步促进嵌入式软件的研究和发展,推动计算机软件设计的创新和进步。

摘要：嵌入式软件开发中遇到的问题繁多。针对几个具有代表性的嵌入式软件设计实现中的缺陷,对其原因进行剖析,并针对性地给出改进措施。其中3个问题与嵌入式软件的中断处理机制相关,两个是有关算法的软件实现问题,一个软件代码的编码问题。通过这类软件缺陷的分析,对提升嵌入式软件可靠性、提高软件开发效率具有实际意义。

摘要：为保证新能源商用车智能化、网联化软件产品安全、高效落地,提出一种适用于新能源商用车嵌入式控制软件产品的质量保障体系。该质量保障体系打破传统软件产品管理模式,设计了软件产品质量保障流程体系及智能化平台,实现了嵌入式控制软件全生命周期管理,保证了软件产品开发规范、高效、可靠。

摘要：为了降低嵌入式软件界面开发人员编写代码的工作量,降低软件成本,提高软件界面开发的质量和效率,提出了一种嵌入式软件界面自动生成方法。该方法基于XML文档存储并解析界面描述文件,通过设计和建立嵌入式软件界面自动生成模型实现了用户界面代码与软件功能代码之间的分离。该方法不仅降低了软件编码人员的工作量,而且有效提升了软件的重用率,并降低了软件维护的成本。

摘要：随着物联网及嵌入式软件的快速增长,探寻一种高效、快捷的开发方式以解决开发资源耗费问题,具有非常重要的意义。为此,针对组合式空调控制系统软件开发耗费问题,研究软件自动化开发模式。采用基于模板的自动代码生成技术,创新性地将自主平台软件作为代码生成器,设计分层结构框架和代码生成方案。该方案将共性需求模板功能书设计成模板代码,将个性需求转换成交互层控制点表模块代码。所研究的开发模式可实现订单需求到订单软件代码的自动生成,有效解决了组合式空调仪控系统软件的重复开发耗费问题。相对于依赖国外平台软件的自动代码生成方案,该研究探索了自主开发平台软件实现自动代码生成及工程应用,为国产自主仪控系统软件自动化开发提供了借鉴。

摘要：嵌入式软件因为运行环境的差异性造成测试工具各不相同,各个测试工具独立使用,缺乏完整的工具方案。针对该问题,研制了嵌入式软件测试平台,可提供嵌入式软件测试的完整工具支持,包括全周期测试工具链、测试工作流建模、测试工作流自动执行、将各测试工具输出的测试结果合并为完整的质量报告、存储测试工件的工程仓库。该平台把各种测试工具集成为一个完整的测试平台,提高了嵌入式软件测试的完整性和效率。用户还可以根据需要扩展测试工具、工作和质量报告,实现嵌入式软件测试的复用机制。

摘要：针对日益复杂的软件测试要求,在保证嵌入式软件的测试效果的同时,应降低测试成本,因此,设计基于DDS的机载嵌入式软件仿真自测试方法。选择S3C44BOX芯片和FPGA-EP2C8作为核心芯片,构建软件仿真测试平台,将测试模型设定为W模型格式,引入LLC聚类系数对测试结果进行分析,完成软件仿真自测试分析过程。由仿真结果可知,其软件异常误检率较低且测试结果精度较高,测试效果得到保证,同时减少测试成本。

摘要：嵌入式软件空中升级(OTA)时,需要升级包具备完整性、安全性和容错机制。本文研究了一系列嵌入式软件故障自动安全升级和在线评估技术,设计了安全回卷机制,设置了多重“阻隔点”,确保升级失败时能够安全恢复上一版本并通过硬件看门狗防止死锁;提出基于局部软件安全签名的升级包“合法性”验证技术;设置“防火墙”机制以保证核心数据区安全;“沙盒”运行模式,通过“试运行”验证可升级模块的安全性。