分布式实时系统的软件故障注入

针对分布式实时系统的可信验证的难题,建立通用故障模型,将故障模型分为:内存故障、CPU故障、通信故障和服务故障4种。提出一种建立在分布式实时系统环境中的软件故障注入系统结构,它分为3个层次:目标系统、通信网络、软件故障注入系统。软件故障注入系统分3个部分进行设计,软件故障注入器、数据收集模块和故障数据分析模块。对基于该结构的软件故障注入过程进行了说明,实现软件故障注入系统并做了相应的实验分析,实验检测到故障多数为通信故障、内存故障和CPU故障,其覆盖率分别为37.68%、15.47%和15.17%。实验证明这种体系结构很适合分布式实时环境的应用,同时也为进一步研究软件可信验证提供了理论基础和实例依据。     

实时系统中的报表自动生成模型

针对实时系统应用软件的特点,详细讨论了一种报表自动生成模型,并将其应用到某电力生产实时信息显示系统中,结果表明,该模型提高了软件的开发效率和系统的实时性,使系统具有较强的灵活性、可扩充性和实用性     

异构分布式实时系统中容错调度模型的研究

研究了基于异构分布式系统的实时容错调度算法,同构分布式系统中的处理机完全相同,而在异构分布式系统中各个处理机均不相同,各个处理有不同的处理能力和不同的健壮性。提出了可靠性成本概念,建立了一个基于异构分布式系统实时容错调度模型。基于该模型,设计了一种实时容错调度算法,算法在不增加系统硬件成本的情况下,提高了实时分布式系统的可靠性。     

实时系统开发与PEARL语言

本文讨论了实时系统的特征、开发方法、设计工具、实现手段工具等开发过程中的主要问题,论述了实时系统开发语言PEARL及该语言的对实时系统的主要支持.     

分布式实时系统结构的研究

论述传统的分布式实时系统的体系结构，并提出另两种分布实进结构模型，介绍了与本文相关的其他分布实时系统。虽然目前采用这两种结构的实时系统还很少，但实验证明这两种体系结构很适合分布式实时环境的应用。     

分布式实时系统的一种系统模型

提出了一种能捕获进程级数据流和控制流的系统模型。这种模型可以处理系统数据相关性和控制相关性，更好地进行进程的调度，满足分布式实时系统的实时性。     

单片机软件的开发研究

单片机内含的软件决定了单片机的运行和工作，而ＲＯＭ、ＲＡＭ容量对软件的设计开发有很大影响。文中给出了比较实例分析研究了单片机软件的开发手段。     

软件组合复用方式的思辩

提出了组合复用方式的两种实方法：即配即用方式和基于用户图形界面的组装台式，并探讨了组装方式的优点和局限性。     

软件能力成熟度模型CMM应用研究

介绍了软件能力成熟度模型 CMM的基本内容、作用及实施 CMM的意义 ,指出了实施 CMM存在的问题、适合实施的范围 ,最后对在中国实施 CMM提出了建议     

面向芯片的嵌入式实时操作系统设计模型

传统嵌入式实时操作系统的设计采用一体化、高效大内核结构的方法,在可伸缩性、可移植性和对新型结构的硬件平台的支持以及接口标准的开放性方面较差．在对实时操作系统（RTOS）分析的基础上,提出了一种面向芯片的嵌入式实时多任务操作系统的设计模型．对硬件抽象层和操作系统内核的构造进行了研究,再对ERTOS的可伸缩性、实时性、可移植性以及应用编程接口设计进行了详述．该设计模型引入硬件板级支持软件包（BSP）来支持操作系统在各类OEM板或用户定制硬件系统板上的移植,从而解决了传统系统的缺陷,满足了当前对ERTOS的需求．     

漳泽水库库群防洪实时优化调度模型研究

根据漳泽水库库群的特点，按照水库每时段动用的调洪库容加权总和最小的准则，建立了水库群系统联合防洪实时优化调度的动态规划模型，采用逐步优化算法进行求解，并通过前向卷动决策方法实现洪水的实时调度。实例证明了该模型及其求解方法的合理性及可行性。     

UML扩展机制在嵌入式实时建模中的应用

在嵌入式实时系统建模中,针对UML没有专门的图来描述实时性,对时间约束的建模能力不强的情况,提出了一种使用UML扩展机制进行嵌入式实时系统建模的方法,并介绍了该方法的一个应用实例。     

Linux在嵌入式实时系统中的应用

阐述了LINUX系统在实时性方面的不足及改进方法,探讨了Linux实时系统的商业化。     

实时网络通信在分布式监控系统中的实现

探讨在实时多任务系统ＡＭＸ环境下，由多台工业微机构成局域网络，开发分布式监控系统时如何实现网络的实时通信。提出了需解决的问题及实现方法，该方法同样适合于其它分布式监控系统。     

CAN总线在实时系统中应用的研究

分析了CAN现场总线的特点、它在特定的应用场合数据传输过程中存在的问题以及出现问题的原因．基于CAN的底层协议，设计了它的上层协议，借鉴了数据通信中的时分原理，对周期性和非周期性实时数据，设计两种不同的传输模式．解决了CAN的多主式模式中节点随机发送数据存在的信息帧碰撞而产生的信息阻塞问题，并用实验验证了这种通信模式，在总线中数据流量接近饱和时，对实时数据的传输具有很好的特性．     

IP模式测控系统实时数据库的安全性研究

分析IP模式测控平台实时数据库的安全威胁,提出系统的安全保护体系模型,阐速包括基于网络空间的数据备份、控制命令编码及被屏蔽子网等关键技术。基于《可信计算机系统评测标准》对所设计系统的安全性进行评价,结果表明,其安全等级介于B2和B3等级之间。具有较高的安全性能。     

Symbian OS下的实时交通导航系统

为了设计和实现Symbian操作系统下的实时交通导航系统,研究了基于Hilbert分形和最小边界矩形分解的改进R树空间索引结构,提高了空间对象检索效率.利用Symbian的活动对象机制构建了单线程的非抢占式多任务处理方法,保证了系统的运行安全性和效率.基于Symbian Open C技术构建的矢量地图解析引擎具有跨平台特性,基于系统设计和实现方面的关键问题研究,实现了Symbian S60平台下的实时交通导航系统,在多个城市的测试结果表明,该系统的稳定性和实时性均能够满足实用化要求.     

IP模式测控系统数据库的实时性技术研究

基于IP模式测控系统的实时性分析,提出系统数据库的实时工作流程,研究分析分级处理的硬件构造、多线程机制及内存资源优化等问题.重点研究文件关联、内存资源回收等关键技术,并采用C＋＋实现.基于等价实验方法,结果表明,数据库的延迟小,实时性好,方案可行.     

多机实时仿真系统软件的研究

本文建立了在多机系统中实现分机自举的方法，并针对实时仿真需要极高的计算速度，对软件的结构，算法，编程语言，定总计算和结果的显示分别进行了研究，最后以船舶柴油机动力装置的实时仿真为例说明了该仿真系统的可用性。