面向对象嵌入式GUI研究和模式应用

文中提出基于面向对象技术的嵌入式CUI模型——ECUI模型，给出该模型的体系结构，讨论系统可移植性、可视化等嵌入式CUI的关键技术。在模型建立的过程中，充分应用设计模式进行系统分析和设计。  

实时多任务软件可靠性评价模型

根据实时多任务软件的一个重要特征－各个任务在系统中具有不同的运行时间比例和不同的故障强度，提出将任务作为可靠性评价的基本单元，由此建立起了对于实时多任务软件更为实用的可靠性评价模型。  

基于精简TCP/IP协议栈的信息家电网络服务器

通过分析和实验,研究嵌入式TCP/IP协议栈S1C33-Stack的结构及运行原理,给出以S1C33-Stack构造单芯片嵌入式网络服务器,将信息家电组网及接入Internet的实现方案。研究单芯片嵌入式网络服务器中S1C33-Stack与用户应用程序的接口方法,用户登录软件及信息家电监测软件的设计方法。  

非精确任务集的容错EDF调度

该文将容错EDF调度算法和非精确计算技术结合起来，提高了算法的调度性能，使单处理器系统正常运行时具有高吞吐量，同时，在出现一个或多个偶发性软件错误时，仍能满足系统中关键任务的时限要求。  

一种基于UML状态图的面向对象类级测试模型

扩展有限状态机（EFSM）因其具有对系统控制特征（即系统的状态）和数据特征的平面结构描述，而有利于对软件的测试。然而对一个较复杂的类直接建立EFSM图比较困难。将两种工具的优势相结合，提出了一种UML状态图转为扩展有限状态机的方法，使之能采用传统的测试疗法对类进行状态覆盖和数据流覆盖。  

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

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

设计模式在光传输网管系统中的应用研究

设计模式是经过验证可复用的成功设计和体系结构，文中详细地分析了设计模式中的Builder模式、Bridge模式和Conmand模式在光传输网管系统中的应用，证明了在光传输网管系统中运用设计模式能够有效地提高系统质量、优化系统结构。同时也可以为其他的网管系统所借鉴。  

联合多特征的自动CamShift跟踪算法

针对CamShift跟踪算法仅采用颜色作特征,易发生跟踪错误等问题,提出了一种基于特征融合的算法。采用改进的背景差分法自动检测目标,目标模型联合了颜色和梯度方向特征,并对特征的可信度进行加权处理,有效解决了CamShift算法在有颜色相近的干扰目标存在情况下跟踪可能失效的问题。实验表明,该算法提高了跟踪的准确性和稳健性。  

嵌入式软件系统的实时性设计

实时性是嵌入式软件系统的一个重要特性,在软件设计阶段就应该给予足够的重视.在基于优先级的可抢占调度方式下,如何安排任务的优先级是影响系统实时性的一个重要因素,本文对此作了详细论述.  

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

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