RETHER协议的改进

为使网络提供实时QoS保证 ,提出了RETHER协议的改进方式。RETHER是一种基于以太网的定时令牌总线协议 ,能够对数据传输提供实时性能。由于使用的模式切换方法是基于CSMA/CD协议的请求 /响应方式 ,不具有切换时间的确定性。RT CSMA/CD协议使用持续竞争的机制保证实时数据据传输具有确定的最大时延。结合两种实时网络协议的特点 ,使用RT CSMA/CD协议的持续竞争机制对RETHER协议的切换模式进行了改进 ,保证了切换时间的确定性     

防危核一致性保障技术的研究

通过理想防危策略及其制定算法把防危策略的制定与一致性险证集为一体,从而解决防危策略与系统防危需求之间一致性问题;然后研究了以Z语言为桥梁,用数学证明来解决防危核与防危策略之间一致性证明的方法。以十字路口的交通控制为例,全过程地实现和验证了所提出的思想和算法的正确性。     

基于安全元对象的CORBA系统的访问控制机制

目前 ,使用反射机制实现非功能性机制变得越来越流行 ,出现了面向可靠性应用的各种元对象协议。针对CORBA安全服务在访问控制的细粒度实现、可定制性方面不够灵活的问题 ,提出了基于安全元对象的CORBA系统的访问控制技术。反射机制把客户对服务器对象的访问隔离开来 ,进行访问权限的检查和安全审计 ,防止应用软件的非法访问和操作来提高系统可靠性。安全元对象协议的实现采用了开放式编译器 ,使最终的访问控制系统代码量小、运行开销小 ,同时安全策略定制灵活、易于扩展     

分布交互仿真核心软件XRTI的深入分析研究

NPS(Naval Postgraduate School)开放资源XRTI(Extensible Run—Time Infrastructure)的发布为揭开分布交互仿真核心软件XRTI内情提供了机会。在深入剖析XRTI源代码的基础上，给出XRTI的主要软件组件实现细节及各组件间的详尽关系；并通过对其中典型信息流的跟踪分析向读者展示了XRTI内部结构和工作原理的细节，可作为开发和应用XRTI软件的重要参考。     

一种实时多任务软件可靠性验证方法

针对软件可靠性增长模型难以满足实时多任务软件可靠性验证的可信性要求,提出了一种基于任务模块软件统计测试的实时多任务软件可靠性验证方法.该方法利用实时多任务软件的结构和运行特点,建立了一个可靠性模型并给出了模型参数的求解方法;通过该模型把待验证的软件系统可靠性指标分配到各个任务模块,然后用统计测试的方法对任务模块的可靠性指标进行验证,以达到对整个软件系统可靠性指标验证的目的.实验证明该方法的有效性和灵活性.     

工具总线:CASE环境的一种新结构

计算机辅助软件工程(computer aided software engineering,CASE)环境作为一类复杂的系统软件,一般由一套工具集和工具集成框架组成。目前其体系结构从层次结构发展为总线结构,能够减少CASE环境的层次,大大简化CASE环境的互连结构,便于CASE环境的构造。在面向对象软总线(Object-oriented software bus)的基础上,从工具集成设施和工具逻辑处理功能相分离的角度,提出了一种抽象的工具总线(tool bus)模型,并对工具总线的基本概念、功能抽象、内部结构和接口规范等方面进行了深入研究。     

支持应用软件容错的实时运行库技术

针对当前基于应用层软件容错面临的工作量大 ,开发成本高的问题 ,分析问题产生的原因及一些常用的解决方案 ,提出了支持应用软件容错的实时运行库技术。建立并详细分析了容错实时运行库模型及其实现方法。最后 ,设计了一个基于RTEMS的简单实现方案。     

基于构件的嵌入式软件仿真开发环境模型研究

为支持嵌入式系统软件与硬件的并行开发和解决其多样性问题,引入了仿真技术和构件技术,建立了一个通用的构件化软件仿真开发环境模型(CSIDE).通过一个原型软件验证CSIDE模型具有以下特点以工具总线为基础的构件化体系结构可以为各种软件定制出分布式仿真开发平台;能以可视化方式重用库中构件建造出与真实硬件环境基本一致的硬件仿真环境,支持软件的仿真调试.     

双工字钢-混组合连续弯梁桥有效宽度

由于中外现行设计规范缺乏针对钢-混组合连续弯梁桥桥面板有效宽度的规定,以小半径双工字钢-混组合连续弯梁桥为研究背景,首先对比分析了中外典型规范对钢-混组合连续直梁桥有效宽度的计算结果,然后基于数值模拟,分析研究了小半径双工字钢-混组合连续弯梁桥的剪力滞效应和有效宽度,探讨了曲率半径和布载方式的影响规律,最后考虑内、外侧...     

分布式容错实时控制系统的在线升级模型

分布式容错实时控制系统广泛应用于安全关键系统中。为了延长系统的使用寿命,满足用户对系统功能和性能的不断提高的要求,系统升级是必不可少的。提出一种支持分布式实时系统在线升级的结构模型,在保证系统运行时的可靠性和性能的同时,实现系统安全升级。详细分析了该模型的结构及其组成部分的功能,并利用随机Petri网建立在线升级模型的性能和可靠性评价模型。