基于本体影射规则的软件集成重构研究

软件重构与系统互操作是计算机科学的普遍问题,从结构化设计、面向对象方法、代理技术以及标准化与开放系统,都把软件重用或重构作为基本目标,但实现异构系统协同还需要解决语义互操作问题,大量异构的遗留软件系统（legacy系统）在语义层上的冲突阻碍着它们间的重构与互操作,该言语分析了软件代理与基本体间的关系,给出了legacy软件重构框架;引入转换规则,采用精确或近似两种方法灵活地处理多本体间的语义转换,提出了基于本体转换的异构系统语义互操作算法。     

弹载嵌入式系统软件可靠性设计

针对弹上控制系统软件可靠性设计问题,从软件设计思想和技术实现两方面进行了论述,并结合基于dsPIC30F系列控制器的弹上控制系统软件设计的具体实例来加以说明。这些思想、技术均在实际系统设计中得到成功的验证。     

嵌入分布式系统中的多节点自适应重构

结合多UAV、传感器网络等嵌入分布式系统的自适应计算需求,分析嵌入分布式系统中节点间相似度的表示机制与相似度的计算方法。提出嵌入分布式系统中相似节点的自动发现机制以及相似节点上的任务自动部署方法。结合“感知评估调整感知”的自适应计算思想,研究任务/节点失效时的可适度降级分布重构技术。该方法对于提高嵌入分布式系统的自适应计算与容错能力有一定的应用价值。     

支持远程动态重构的嵌入式系统设计

为使嵌入式系统具备远程在线更新和维护能力,基于软/硬件统一多任务编程模型,应用互联网可重构逻辑设计方法设计并实现支持远程动态重构的嵌入式系统。提出的统一多任务编程模型为软/硬件任务提供统一接口和管理方式,可降低设计可重构系统的复杂度,同时远程重构功能增加了系统远程在线更新和维护的能力。实验结果表明,该模型可用于远程可重构系统的设计,同时硬件任务也具有较快的加速比。     

通过GPRS网络进行嵌入式应用软件升级

在分布点较广的嵌入式应用中,系统的软件升级维护是一项艰巨的任务。本文介绍一种简便、实用,基于移动GPRS网络,使用GSM短消息、HTTP超文本传输协议和WEB服务器对嵌入式应用系统进行软件升级的方法,并结合实际应用说明相关的硬件设计方法和软件实现过程。     

可配置网络式软件系统的可用性预计研究

在复杂系统的建模与仿真研究的基础上,提出了一种基于多Agent的可配置网络式软件系统的可用性预计方法。首先介绍了多Agent系统建模与仿真方法;其次分析了可配置网络式软件系统的特点;然后在研究基于多Agent的网络式软件系统建模与仿真的基础上,研究可配置的行为模型,并建立了基于多Agent的可配置网络式软件 系统可用性仿真方法;最后利用Nctlog。仿真平台,结合实例对可配置的作用进行了可用性预计,并验证了本方法的有效性。     

Dependability Evaluation of Software Systems in Operation

This paper deals with evaluation of the dependability (considered as a generic term, whose main measures are reliability, availability, and maintainability) of software systems during their operational life, in contrast to most of the work performed up to now, devoted mainly to development and validation phases. The failure process due to design faults, and the behavior of a software system up to the first failure and during its life cycle are successively examined. An approximate model is derived which enables one to account for the failures due to the design faults in a simple way when evaluating a system's dependability. This model is then used for evaluating the dependability of 1) a software system tolerating design faults, and 2) a computing system with respect to physical and design faults.     

一种SOA软件系统可信性评价方法研究

结合计算机系统可信性评价需求,研究基于SOA软件系统可信性评价方法.首先引入SOA软件代数模型,给出SOA软件可信范式,为从软件体系结构角度研究可信性评价问题奠定基础.给出SOA软件元素(服务组件和服务组合)可信属性的定义以及可信性定义;证明可信范式下SOA软件系统的Markov特性,提出SOA软件系统的综合可信性评价模型.通过一个案例解释SOA软件系统可信性模型的应用.最后通过与同类研究比较,总结本文的特点和贡献.     

嵌入式系统软件模拟器设计

利用软/硬件协同设计的方法,将嵌入式系统设计采用软件模拟系统环境来开发,通过对CPU行为、内存、中断控制器和操作系统等模块的设计,把硬件系统设计和软件系统仿真相结合。是目前嵌入式系统设计的全新的方法。通过实例对软件模拟器进行验证,表明了这种方法的可行性和可靠性,为嵌入式系统的开发提供软件系统仿真的经验。     

嵌入式软件测试数据处理系统的研究

嵌入式软件测试已成为当前测试领域的热点之一,由于嵌入式软件一般具有实时性强、接口数据复杂的特点,使得每次测试都会产生海量的测试数据,如何有效地分析、处理这些测试数据,从而获取有效的数据信息是测试分析工作的难点.给出了海量测试数据处理的关键技术和解决途径,并实现了嵌入式软件测试数据处理系统的开发.最后,通过一个实例应用验证了该系统的正确性和有效性.     

Dependability modeling of Software Defined Networking

Software Defined Networking (SDN) is a new network design paradigm that aims at simplifying the implementation of complex networking infrastructures by separating the forwarding functionalities (data plane) from the network logical control (control plane). Network devices are used only for forwarding, while decisions about where data is sent are taken by a logically centralized yet physically distributed component, i.e., the SDN controller. From a quality of service (QoS) point of view, an SDN controller is a complex system whose operation can be highly dependent on a variety of parameters, e.g., its degree of distribution, the corresponding topology, the number of network devices to control, and so on. Dependability aspects are particularly critical in this context. In this work, we present a new analytical modeling technique that allows us to represent an SDN controller whose components are organized in a hierarchical topology, focusing on reliability and availability aspects and overcoming issues and limitations of Markovian models. In particular, our approach allows to capture changes in the operating conditions (e.g., in the number of managed devices) still allowing to represent the underlying phenomena through generally distributed events. The dependability of a use case on a two-layer hierarchical SDN control plane is investigated through the proposed technique providing numerical results to demonstrate the feasibility of the approach.     

清华嵌入式软件系统的解决方案

文章简要论述了嵌入式软件系统的总体结构，分析了系统中各个模块的组成及其作用，并对清华嵌入式操作系统（THOS）内核的构架也作了详细的介绍。     

嵌入式系统软硬件功能分配的研究

首先简要介绍了嵌入式系统及其传统的顺序设计方法和协同设计方法，然后论述了软硬件划分问题的由来、软硬件划分在协同设计中的地位、发展过程、主要问题及技术难点。     

基于体系结构和面向构件的软件重配置技术

软件在其生命周期内如何对其进行较小修改或者不修改就能适应软件需求和环境变化是软件工程追求的目标之一.文中分析了体系结构在软件配置中的作用,提出了基于映射模型和面向构件的层次消息总线体系结构软件设计,使得软件系统具备重配置能力,这样可以提高软件的灵活性、适应性这一软件内在质量,延长软件系统的生命期.最后用一个实例证明对象映射协同模型的有效性.     

嵌入式应用系统软件设计技术研究

该文主要介绍基于嵌入式操作系统,开发实时多任务应用系统软件的方法和关键技术。详细阐述了在嵌入式实时多任务应用系统软件设计过程中,怎样将一个应用划分为多个任务,如何在硬件环境中合理地组织它们等必须考虑的若干问题。对嵌入式系统软件设计有很大的借鉴意义。     

嵌入式系统低功耗软件技术研究

嵌入式系统低功耗设计中有硬件技术无法涉足的空间,可通过低功耗软件技术实现降低系统功耗的目的.针对液晶显示器(LCD)电气特性,从软件角度,综合运用动态电源管理技术和动态电压管理技术,根据处理器负载变化趋势和对空闲模式计时的思想,给出了降低液晶显示器功耗的算法和策略;利用优化编译技术中的操作替换和指令排序方法,分析和研究图形图像处理中常见的矩阵变换算法,给出了低功耗策略和验证节能73.9%.并就低功耗软件技术算法和策略给出了结论和提出了下一步研究的方向.     

组态化嵌入式软件仿真系统设计

为缩短开发周期,提高嵌入式软件仿真系统的设计水平,提出一种组态化嵌入式系统设计。集成仿真建模工具、仿真模型代码生成工具,实现仿真运行环境搭建和对仿真数据的实时监控,采用组态化的仿真方法,根据用户需求生成监控界面。实验结果表明,该系统的运行平台快速高效,监控环境良好。     

嵌入式实时系统软件测试实践

软件质量是软件的生命,软件测试是保证软件产品质量的重要手段。本文从嵌入式系统的特点出发,阐述了嵌入式系统软件测试的实现方法。并结合某无线通信电台软件测试的实例,详细叙述了如何利用Testbed和RTInsight搭建嵌入式实时系统的软件测试平台,说明了在此平台上进行软件覆盖率测试和性能分析的全过程,同时给出了部分测试结果。     

软件安全核的可信性问题

软件的大量应用,使控制系统面,临严峻的安全考验,陷入了安全危机中,迫切需要新的安全保障技术。安全核就是应运而生的一种安全保障新概念,其可信性直接关系到安全核的有效性和系统的安危。面对安全核可信性问题,测试和限制安全核尺寸是当前采用的方法,它们极大地制约了安全核技术在复杂系统中的应用。本文分析了安全核可信性的本质;结合安全关键系统的基本构架,提出了从安全需求分析开始到安全核生成过程中,如何通过形式化的方法采提高安全核可信性的方法,为安全核技术在复杂系统中的应用提供了一种新思路;以交通灯控制为例全过程地实现和验证了所提出思想的正确性和可行性。