基于实时对象建模的嵌入式软件开发

将面向对象的分析、设计和实现模式应用于嵌入式实时软件的开发，能极大地提高目标软件的性能和开发效率．通过UML—RT建模语言及其支持工具应用于汽车气囊安全系统实时软件的开发，阐述了基于对象模式的嵌入式软件开发过程，提出了基于事务映射的多线程模型实现方法．     

UML状态机视图的RSL形式描述

使用RAISE规范语言RSL给出了UML状态机视图的形式描述.通过这一形式化提出了一种对图形化的UML状态机视图模型的形式化和RSL规范进行集成的框架,这一工作是对UML类图在RSL中形式化的继续,使得人们可以对UML的非形式化模型给出一种精确、无二义性的语义解释,同时也提高了RSL规范的抽象层次,增强了其可读性、简明性.最后通过一个应用实例,说明这一框架如何用于从UML模型创建对应的形式化规范,并对模型的性质进行了分析.     

嵌入式软件开发环境中操作系统抽象层的设计与实现

论述了嵌入式软件开发环境中操作系统抽象层存在的必要性,并对其如何实现进行了探索,特别是对利用面向对象的思想实现抽象层方法给出了源代码级的阐述     

状态机在远程抄表终端的应用

分析了GPRS远程抄表终端的功能设计,把应用于硬件时序电路的有限状态机,引入到终端的嵌入式软件设计中,以减轻嵌入式软件开发人员的工作负担,同时提高软件的可读性,增强软件的可维护性和可扩充性.以远程终端的状态机设计为例,深入研究如何在开发嵌入式软件时,应用有限状态机处理嵌入式系统中并发的多个任务.     

主动实时数据库中主动实时机制的抽象描述

从能显示地描述数据和事务的实时性和时间约束，准确地刻划事件，条件，活动及三者之间的关联性的角度出发，给出了主动实时机制的构造模型及抽象描述。     

基于扩展有限状态机和断言的总线接口协议测试平台

在SoC设计流程中，传统的仿真验证方法存在可观察及可控制性较差、自动化水平低等缺陷．为此，提出了一种基于扩展有限状态机（EFSM）和断言的SoC接口协议测试平台，该平台是一种自反馈测试平台，它不仅可以自动产生大量符合协议规范的测试激励矢量，而且可以通过对断言统计信息的反馈提供多种偏置选择，从而进一步提高验证的自动化水平．将该平台用于对视频后处理芯片中Wishbone总线接口协议的功能验证当中，验证结果表明，该平台可以缩短仿真验证时间大约55％～65％左右，有效地提高了验证的效率和质量．     

基于一种扩展分层有限状态机模型的测试生成

为了解决分层有限状态机(HFSM)中数据和约束的问题,对扩展分层有限状态机(E-HFSM)给出了定义对其特征进行了分析,对基于其上的模型所面临的测试问题进行了讨论.考虑了在测试中遇到的控制流和数据流问题,针对其中一种模型(父子EHFSM间不存在数据依赖关系),结合现有的方法工具给出了一种一致性测试生成方法.     

扩展的G-KRA抽象模型

将广义知识重构与抽象模型框架下的初步感知过程扩展为多重感知过程, 根据物理世界W中对象所属域的不同生成多重域抽象模型, 并讨论了两种情况下域抽象模型Wi和Wj间的域关系： W的多重域模型W_i和W_j中的构成对象交集为空（即W_i和W_j中不存在有跨域行为的实体）; W的多重域模型W_i和W_j中的对象实体存在跨域行为. 扩展后的框架R丰富了物理世界W的模型表示, 使对象感知由平面感知变为立体感知, 应用多种领域知识生成相互关联的不同域模型, 增强了模型的推理能力.     

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

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

浅海声信道的时间扩展特性

研究了声信道的时间扩展特性。结果表明:1)时间扩展的均值、方差与海况、波浪有密切的关系,随着波高的增加而增加,时间展宽随距离(1000～3000m)的变化会出现一个峰值,对应距离约在1500m左右,随距离的进一步增大展宽减小,建立了信道时间扩展的平均场模型,用计算机进行模拟,模拟结果与实测值较一致。     

一个支持EI应用的嵌入式实时操作系统WebitX

基于微内核的基本思想,提出一个嵌入式实时操作系统WebitX的体系结构及其实现方法,以满足EI应用的日益复杂和多样性的需求·WebitX采用基于优先级的抢占式实时多任务内核,解决了任务管理、任务间同步与通信、优先级反转、实时时钟和网络协议处理等主要问题,为EI应用提供了完备的系统服务,保证了应用的实时性和可靠性·对WebitX系统性能及功能测试的结果表明,WebitX能满足一般嵌入式系统开发Internet应用的需求,而且能有效降低开发难度,提高软件开发效率,为实现嵌入式设备的网络化和智能化管理提供了技术支持·     

嵌入式实时软件建模方法研究

随着硬件设备计算能力的迅速提高以及社会需求的不断变化和增长,嵌入式实时软件变得越来越复杂.为了提高系统的安全性和可靠性,将基于UML的建模方法与形式化建模方法相结合,可以为嵌入式实时软件建模和验证提供一种良好的解决方案.采用UML扩展机制,在UML2.0顺序图中加入嵌入式实时软件建模所需的时间特性,并提出一种由UML2.0顺序图构造出时间自动机的方法,为下一步验证奠定理论基础.     

基于虚拟机的嵌入式VxWorks实验教学平台

针对各高等院校嵌入式系统软件开发课程大多采用嵌入式系统实验箱作为嵌入式软件开发实验的目标机,其实验箱投资大、占用空间的现状。文章分析了用虚拟机作为嵌入式开发目标机的软硬件可行性和网络连接可行性,介绍了一种节省投资、节约空间、方便教学、利于学习的基于虚拟机Vmware构建嵌入式VxWorks软件开发实验平台的方法,并给出了建立交叉开发实验环境的具体步骤。     

生产过程实时监控软件系统

实时监控软件是一个完整的系统,应包括在线的功能系统和离线的辅助支持系统。本文介绍了一个火力发电厂安全监测系统,叙述了其组成、工作环境、性能和系统生成情况。文章还就一般的安全监测软件系统的有关问题进行了论述。     

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

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

双离合器自动变速器控制系统软件架构设计

从软件开发方式与架构设计的角度对双离合器自动变速器(dual clutch transmission,DCT)控制系统进行了深入剖析,并以嵌入式实时操作系统μC/OS-Ⅱ内核为基础,构建了DCT控制系统软件架构.通过引入有限状态机(finite statemachine,FSM)实现了DCT的复杂换挡过程控制,以此为基础开发了DCT多任务控制系统.基于DCT硬件在环仿真试验台对所设计开发的控制系统软件进行了功能及性能验证.验证结果表明,设计开发的DCT控制系统软件既满足了系统对实时性的要求,又提高了系统的可靠性和扩展性.     

嵌入式GPU滑动聚束SAR实时成像方法

针对SAR实时成像系统的传统计算平台实时性不足与功耗过高的问题,研究了一种基于嵌入式GPU的实现方法.为了充分利用嵌入式GPU中有限的内存资源,提出一种内存分割与重配置方案,采用页锁定内存和zero-copy技术,实现数传-计算并行化处理;为解决实时性问题,在算法并行计算环节,利用共享内存、寄存器等资源实现大规模数据并行.结果表明,在TX2上完成16 384×8 192点滑聚SAR成像处理时间为12.66 s,功耗为15 W.该优化方法也适用于其他模式的雷达处理算法,并可为未来嵌入式实时成像处理提供参考.