嵌入式软件的构件化开发研究

随着嵌入式系统的快速增长和嵌入式软件复杂度的增长,如何提高嵌入式开发质量和效率以及缩短产品进入市场时间是亟待解决的问题。本文首先对传统的设计方法学进行了简单的介绍,分析了其不足之处;然后就构件、嵌入软构件的基本概念进行了详细阐述;最后以实时CORBA规范为基础,提出了一个实时ORB实现框架,重点对基于构件的嵌入式软件开发技术进行了详细地探讨。     

嵌入式软件调试器的设计与实现

嵌入式软件调试环境为嵌入式软件的开发提供了一个友好的软件调试平台．从一种新的角度探讨了一种面向嵌入式软件的调试环境，即基于嵌入式系统目标机机内调试器的嵌入式软件调试环境．介绍了一种面向程序设计语言的符号化调试技术，并重点剖析调试环境内核的设计与实现技术．     

基于构件的嵌入式软件测试

叙述了构件的概念、组成部分和基本特点.及构件测试的模型、特点、存在的问题和测试方法,分析了嵌入式软件构件的测试策略.提出了一种可测试构件的体系结构.     

基于IEC61508的嵌入式软件可靠性设计与验证

作为流程工业领域中典型的现场设备,智能变送器的嵌入式软件可靠性备受关注。利用IEC61508功能安全标准中软件开发V模型的思想,对智能压力变送器进行了软件设计与验证,包括系统安全需求分析、软件结构设计、模块设计与测试,最后采用失效模式影响及诊断分析(FMEDA)和故障注入试验2种方法对系统进行了安全评估。评估结果表明:在生产工艺给安全性带来很大不确定性的条件下,所研究的智能变送器的安全失效分数为88.3%,基本达到了当前先进智能变送器的安全失效分数水平。     

基于灰色层次模型的嵌入式软件能耗优化方法评价研究

随着可移动嵌入式系统大量而广泛的使用,嵌入式软件能耗已成为嵌入式系统设计的一个重要因素,而如何评价嵌入式软件能耗优化方法的综合效果是一项重要工作.针对评价过程中信息不完备性和不确切性的问题,采用基于层次灰色评价理论建立的评价模型,通过仿真实验数据分析在源程序结构级的优化方法对嵌入式软件三项指标(包括能耗、运行时间以及指...     

巴西乘用车整车降能耗技术方案的设计与验证

针对巴西能耗要求和燃油、测试工况特点,根据市场需求及对标竞品,基于整车能耗开发流程设定能耗总目标和分解目标,分别从低滚阻轮胎应用、整车风阻优化、整车精细化标定等方面提出巴西乘用车整车降能耗技术方案。整车滑行阻力测试和能耗试验表明,优化后整车平均滑行阻力为328 N,较原基础车型平均阻力减小36 N,乘用车城市工况能耗为1.73 MJ·km~(-1),高速工况能耗为1.38 MJ·km~(-1),综合工况能耗为1.57 MJ·km~(-1),综合工况能耗达到设定能耗目标1.60 MJ·km~(-1)的要求。     

微构件的力学性质分析与验证

分析了微悬臂梁的挠度与载荷、微悬臂梁的长度、宽度的力学关系.提出了一种改进的BP神经网络算法,并用该算法进行挠度与载荷在不同条件下关系的拟合实验,验证了力学分析的结论.理论和实验都表明:当其他参数固定时,挠度与悬臂梁的长度正相关,与悬臂梁的宽度负相关;挠度在较小的范围内与载荷呈线性关系,在形变位移到达最大值时接近于常量.     

嵌入式软件调试环境的对等协议的设计与实现

基于目标机机内调试器的嵌入式软件调试，是通过采用宿主机一端的嵌入式软件调试环境与目标机一端的机内调试器之间的通信连接，并遵循共同的协议规则来完成的。主要介绍该种调试用对等协议的设计原则与主要实现技术，实现对目标机的源级虚拟调试。     

预制RC构件可靠度分析与验证荷载法

提出将预制ＲＣ构件在施工中所受的荷载视为验证荷载，用验证荷载法计算其可靠度的新方法。该方法既能提高构件的可靠度，又可避免对构件进行专门的验证荷载试验，计算结果更符合实际，而且经济、简便。     

基于组件技术的嵌入式电力监控系统的设计与实现

分析了嵌入式组件的特点以及当前几种著名的嵌入式组件模型的优缺点,提出了一种基于组件技术的嵌入式电力监控系统的设计方法。组件技术的应用提高了嵌入式软件开发的效率和质量,增加了系统的可扩展性和复用性。     

嵌入式软件回归测试错误定位方法的研究

由于嵌入式软件的复杂性,决定着嵌入式软件的修改是一项困难的任务,在修改的过程中容易引入新的错误.由此可知嵌入式软件的回归测试在整个软件开发的生命周期中占有重要地位.通过研究几种回归测试错误定位方法,提出一种适用于嵌入式软件的基于程序频谱和原子依赖的回归测试错误定位方法,并且通过实例对该方法进行了说明.     

形式化故障树分析建模和软件安全性测试

阐述了安全性需求的形式化故障树表示技术,给出了一种基于形式化故障树最小割集的动态扩展安全性测试用例结构,并对满足安全性需求覆盖准则的测试用例自动生成算法进行了讨论。     

嵌入式数据分析类仪器软件应用框架的开发

基于嵌入式数字化仪器的领域分析,提出了数据分析类仪器嵌入式软件的体系结构和框架描述,并采用构件化技术进行框架设计,开发了一系列针对该类仪器软件的可配置、可扩展的通用构件库和专用构件库.同时,在构件库设计和框架设计中使用了多种设计模式,使框架设计更合理、更易于使用.应用该框架,用户可以按照应用需求选择构件库进行分析类仪器软件系统的构建,以提高开发效率和软件质量,同时获得极短的开发周期.     

嵌入式软件发展的瓶颈问题及发展对策

分析嵌入式软件国内外发展概况,认为嵌入式软件发展存在技术人员精力不够、企业市场发散、国家税收政策给予的压力大、知识产权纠纷多、产业标准滞后、企业内外部联系不紧、人才教育及培训落后等颈瓶问题,建议企业要采取加强自身意识,敢于创新,统一产业标准,加大人才培养力度的对策来解决颈瓶问题,以促进嵌入式系统的发展,缓解嵌入式软件发展的压力.     

IP设计仿真平台控制软件开发及IP验证

在简要介绍基于PCI总线的IP（Intellectual Property）设计仿真验证平台的基本框架和硬件结构的基础上,论述了在Windows2000/XP下开发该平台的WDM（WindowsDriver Model）设备驱动程序和应用程序的基本方法,对其中的关键技术,如配置寄存器、内存和I/O读写、应用程序编写等作了分析,并以可编程直接存储器存取（PDMA）和图像二值化为IP验证实例.结果表明：所开发的仿真验证平台大大地提高了IP的仿真效率,优于现今测试时难以产生大批测试数据和难以获得数据处理结果的一般仿真验证平台.     

分布式实时嵌入式系统的能耗建模与分析

为支持分布式实时嵌入式(DRE)系统的能耗分析,提出了一种能耗时延Petri网(ECTPN)对系统的模块、任务、任务间关系、通信协议等进行建模。基于所建DRE的ECTPN模型,分析系统的可调度性和能耗约束,并给出启发式算法来计算满足时间约束和能耗约束的可行调度。最后应用一个实例模拟系统的建模和分析过程,从而直观地展示了该方法的可行性。     

基于MVC的GNSS验证系统授时指标软件设计与实现

为了方便分析GNSS验证系统授时指标,设计并实现了授时指标软件。该软件具有数据解析、授时载波频率准确性分析、载波频率稳定性分析、码载一致性分析、数据拟合、频域分析等功能。采用MVC(model-view-controller)模式对软件的系统架构进行设计,描述了Qt的信号与槽机制和核心模块的设计及其交互,并用C++语言在Qt平台完成了软件的开发。实验表明,该软件可方便地实现GNSS验证系统授时指标的定量分析,GNSS验证系统频率准确度为10~(-10)、码载一致性为10~(-10)。