一种用于类测试的改进型EFSM模型

扩展有限状态机(EFSM)中迁移存在前置条件和相应操作,而前置条件和相应操作中变量的相互依赖性导致了EFSM中存在不可达路径,不利于基于EFSM模型的类的测试。通过把UML状态图转换成EFSM模型,提出一种消除EFSM模型不可达路径算法,从而建立一种用于面向对象软件的类测试模型,通过该模型可以应用传统的数据流和控制流分析技术对类进行测试。     

Rate—Monotonic调度方式下的超时故障分析

本文提出了一种方法，用于计算多任务实时系统周期任务的超时故障率，使之可以成为实时软件可靠性模型中的故障参数。     

基于动量叶素理论改进的叶片气动特性计算方法

为实现快速计算叶片给定运行攻角所需要的桨距角,提出了一种基于动量叶素理论改进的叶片气动特性计算方法,该方法的优势为在迭代计算轴向诱导因子与切向诱导因子过程中减少了查询翼型气动特性的次数。改进的动量叶素理论计算方法比经典动量叶素理论计算方法,能够快速计算实现叶片运行攻角所需要的桨距角。利用该方法对叶片气动特性进行的计算结果与GH Bladed软件的计算结果十分接近,且提高了计算速度。     

风电机组设计极端载荷外推法及其计算对比研究——关于IEC61400-1:2005版和1999版极端载荷计算研究

论文根据IEC61400-1:2005版规定,给出了大型风电机组载荷外推计算方法,并对2MW双馈式风电机组和3MW直驱式风电机组,进行了极限载荷外推的计算;同时,与IEC61400-1:1999版极限载荷要求计算的结果分别作了对比,结果分析发现无论哪种计算结果,都存在着随机性,而这种随机性对评估的准确性有很大的影响。新版IEC61400-1标准采用统计学的概率分布来描述载荷计算结果,经过算例的计算表明,这种载荷的计算比IEC61400-1:1999版的计算方法更具有科学性。     

基于ACE和TAO的实时现场总线综合网络研究与实现

为了实现不同现场总线的互操作以及为用户提供统一的访问接口，达到屏蔽各种现场总线异构性的目的，该文提出了基于自适应通信环境ACE和实时中间件TAO的现场总线实时综合网络系统，实现了现场总线协议之间的相互转换和在以太网上进行统一传输，具有实时调度的能力。与传统的协议转换设备相比，不再局限于一对一的转换，具有与对象位置、编程语言、操作系统、通信协议的无关性。     

基于协议栈的现场总线协议转换通用化设计

为实现不同现场总线之间的通信和提供统一的设计模式，达到屏蔽现场总线异构性的目的，对多种现场总线集成环境下不同总线之间的通信进行了研究，建立协议栈模型实现了协议转换网关的通用化设计。与传统的协议转换方式相比，不再局限于一对一的转换，具有与对象位置、通信协议的无关性，提高了系统的扩展性和对不同总线的兼容性。     

基于TrustZone的TEE设计与信息流形式化验证

基于可信硬件构建安全关键应用的可信执行环境（TEE）,是嵌入式安全领域的一个研究热点。虽然底层硬件可信,但TEE软件仍可能因错误使用硬件指令或存在其他安全漏洞而导致机密信息泄露。该文基于ARM TrustZone技术提出了多层次的TEE架构,并建立了安全通信通道,用户层可信应用不能直接访问非可信环境的软硬件资源,只能通过内核层的安全通信通道API与外界通信,因此整个TEE的信息流不再受用户层影响。该文进一步提出了TEE形式化模型（TEEFM）,借助Coq辅助证明器验证了TEE信息流无干扰性并证明了TEE安全监控模块不存在整型溢出、程序返回地址异常等资源边界类软件漏洞,以此保证了TEE的自身安全性。     

一种非周期任务的超时故障模型

实时软件故障与一般软件故障相比，具有一般软件所不具有的故障特征，即超时故障。实时任务分为周期任务和非周期任务，由于两类不同任务的超时特性不同，因而分析方法也不同。文中基于随机过程中事件的平均到达率并用Ｒａｔｅ－Ｍｏｎｏｔｏｎｉｃ调度算法，分析了非周期任务的超时特性并建立相应的超时故障模型。     

分布式软件模块的相关性与软件可靠性模型

在一个分布式系统中，一个结点上的程序模故障可能是该模块自身产生的，也可能是由与该模块通信的另一结点上的模块或文件的故障引起的，所以，软件故障可以通过程序模块和文件的相关集合来跟踪，基于上述特点，提出一种分布式软件的可靠性模型。     

可生存嵌入式OS内存管理设计与实现

可生存嵌入式系统是一个较新的研究领域.根据可生存性对嵌入式OS内存管理的要求,在uCLinux2.6的基础上,提出并实现了一种基于数据备份技术、内存保护技术以及内存泄漏检测处理技术的嵌入式OS内存管理方案.大量测试表明,该方案能有效提高嵌入式系统的可生存性.