小卫星测试系统设计与实现

针对某小卫星研制过程中的电测需求,设计并开发了一种小卫星测试系统;系统模仿通用仪器结构设计了分布式的功能板卡作为独立测试功能单元,并在机箱中采用开放式总线底板,最大限度地提高系统适应性,发挥系统效率;为保证系统控制与数据传输的实时性,使用装载VxWorks操作系统的嵌入式计算机作为主控制器,使用LVDS高速接口作为系统内部数据传输通道,传输速率为10 Mbit/s,本系统可以完成小卫星电信号的并行测试,满足测试要求.     

改进的单调速率调度算法

实时系统中调度算法起着重要的作用.单调速率调度算法(rate monotonic algorithm,RM)是一种被 广泛使用的调度算法,并且已被证明是一种最佳的静态优先级算法.传统的RM算法忽略上下文切换需要消耗的时间,针对此问题,提出了一种延迟抢占的改进方法.该方法考虑了上下文切换消耗时间对调度算法的影响,可以减少...     

基于面向方面MDA的实时系统开发方法

实时系统有许多难以处理的横切整个系统的非功能需求。针对以上问题,提出基于面向方面模型驱动架构的实时系统开发方法。该方法在设计阶段将系统的非功能需求从功能需求中分离出,以降低系统开发的复杂性,提高系统的可重用性、可维护性和横切关注点的模块化程度。通过应用实例证明该方法是有效的。     

一类并发实时系统的自动验证

一个被广泛用于验证实时系统的方法是根据被验证的实时性质,使用适当的双向模拟等价关系使无限的状态空间转化为有限的状态等价类空间.算法只需要在这个有限的等价类空间里搜索就可以得到正确答案.但是,这个等价类空间的规模一般随着系统规模的增大而产生爆炸性的增长,以至于在很多情况下,穷尽搜索这个空间是不现实的.该文引入了一个等价关系来验证一个由多个实时自动机通过共享变量组成的并发系统是否满足一个线性时段特性.同时,还引入了格局之间的兼容关系来避免对状态等价类空间的穷尽搜索.基于这两个关系,文章提出了一个算法来验证是否一个实时自动机网满足一个线性时段特性.实例研究显示,此算法在某些情况下比其他一些工具有更好的时间和空间效率.     

DOS环境下实时多任务调度策略的实现

一种在单任务操作系统下实现有限、特定多任务的数据结构和算法 ,以及其在高炉微机最优控制系统中的具体运用。     

系统测试平台的设计与实现

文章针对系统测试任务的工作性质和工作需求,首先分析了分布式实时应用系统的系统测试的特征和要求,并结合国际上软件发展的趋势,提出了管理者／代理系统测试模型。依据该模型提炼出可重用的评测支持系统（Evaluation and Test Supporting System,ETSS）作为系统测试平台,并从接口、管理、通信、同步、实时性和测试实施等几个方面阐述了ETSS的设计思想和原则,及其具有的基本功能。最后,以一个已实现的评测支持系统为例,介绍有关的实现情况。     

分布实时系统中的点到点通信

本文给出了一种由点到点互连网络连接的实时系统通信方法,分析了通道建立过程,消息调度算法,缓冲预留方案,以及消息传递时间的计算模型,可提供确定性的消息传递延迟。     

对时间自动机中时钟约束的处理

在实时系统建模中,时间自动机是一个普便使用的工具,在求解状态可达性关系时对时钟约束的处理是关键,本文在分析已有理论的基础上提出了如何对含有不同时钟相互约束的系统处理.     

嵌入式实时系统的快速开发框架研究

嵌入式实时开发是当今计算机应用研究的热点,该文结合模型驱动架构的系统无关模型和系统相关模型思想,提出了一种基于平台设计的快速开发嵌入式实时系统的方法:首先采用实时应用接口RTAI将嵌入式Linux改造成具有硬实时性能的实时操作系统平台;然后利用Matlab/Simulink/RTW和RTAI-Lab工具对实际系统进行快速化建模、仿真和驱动开发,并自动生成实时的可执行代码;最后将代码加载到嵌入式实时系统.通过倒立摆嵌入式实时控制器系统设计实例说明了这种方法可以有效降低系统设计复杂度,提高嵌入式软件的开发效率.     

uC/OS和Linux的并存-基于ADEOS

嵌入式技术在各行业得到了广泛的应用,而对其功能、实时性的要求也是越来越高,围绕如何利用uC/OS的实时性能,Linux强大的网络、图形等功能,以及将两个操作系统完美结合这一课题进行讨论和研究。论文首先介绍硬实时操作系统的概念,然后考察uC/OS和Linux两种操作系统各自的优势和缺陷,在分析Linux实时化的各种方案之后,设计方案将uC/OS移植到Linux环境下,成为Linux的一个模块,使两个系统的优势互补,构造了具有硬实时性的嵌入式实时系统。