基于WCET分析的实时系统轨迹获取技术

时序约束是判断实时系统运行是否正确的重要规约.为了减小测试时由于对系统进行插装而产生的对实时系统行为的影响,提出了一种混合式监控方法.它对系统的时间干扰比纯软件方式小,并支持对系统的完全测试.此外,还提出一种基于WCET(worst-case execution time)分析技术的目标系统时间补偿方法,在精确地计算插入断言对目标系统的时间影响基础上,给出时间补偿.     

基于双层调度框架的开放式实时系统非实时应用调度

在开放式实时系统中,多类型实时和非实时应用同时并存,这给系统调度机制带来了新的需求和挑战。对一种开放式实时系统调度机制进行了简单的介绍,指出了非实时应用调度时不可抢占区可能影响系统可调度性,并提出了一种解决方案,弥补了原有调度机制的缺点,完善了开放式实时系统的双层调度框架,保证了开放式实时系统并存多类型实时及非实时应用的可调度性。     

可信嵌入式系统中可靠且能量有效的任务调度

针对可信嵌入式系统对实时、可靠和能量有效等性能的需求,提出一种新的非周期实时任务调度算法.基于非周期实时任务的本质特性,该算法巧妙利用任务的调度空闲,通过动态电压/频率调整机制来降低任务的运行能耗.该算法具有线性时间复杂度,能够实现在线最小化系统能量消耗,并且不牺牲任务的高可靠和强实时需求.实验表明了本文算法在可靠性和能量有效性方面的优越性.     

浅谈实时中间件技术

随着网络技术在强实时系统中的广泛应用,对中间件提出了实时性的要求。本文介绍了当前市场是主流的实时中间件技术规范,并分析了一种遵循该规范的实时中间件技术平台。     

基于三维仿真的飞行姿态与航迹监控软件的设计

三维仿真技术在试飞试验领域越来越得到重视与应用。本文介绍了基于三维仿真技术的飞行姿态与航迹监控软件的总体设计结构,并着重阐述了主要组成模块的功能、设计方法与应用效果。该软件的成功研制,使得能够从全局的角度对目标试验机的姿态、位置及系统状态进行掌控。同时,利用回放能够逼真再现飞行全过程,可作为飞行演示和事后分析的一种手段。该软件在提高试飞效率和保障试飞安全方面发挥着重要作用。     

随机时序逻辑的模糊时间扩展方法

基于随机时序逻辑(SQTL),通过扩展模糊时间来表达系统的模糊时间关系,并实现一种表达能力更强的时序逻辑——模糊随机时序逻辑(FSQTL)。FSQTL能够建模实时系统中的确定时间、概率时间、随机时间和模糊时间,并利用可能性实现对性能需求的分析。     

弹丸注入器的实时测量控制系统

介绍了一种新型的弹丸注入器实时测量控制系统。该测控系统主要由两套DSP和两台计算机组成。DSP和计算机之间通过局域网传输图片文件而利用RS422总线传送一些现场的实时数据。它与已有的弹丸注入器控制系统相比:控制更灵活、测得的数据更精确、信息量更丰富。它能测量飞行弹丸的图像、速度等信息而且实现了远程控制。     

基于概率的实时任务调度分析

在某些软实时系统中,为了降低系统成本,允许系统过载,并且允许过载时少量任务能错失时限;对于这样的系统,常常能设法获得其任务的执行时间所服从的概率分布。针对这样的系统,提出了基于概率的可调度分析方法,对系统的性能作出概率上的估计,在概率意义上预测系统的可行性;并提出以数据挖掘技术估算任务执行时间的分类方法,这对预测系统的性能和提高系统利用率有重要的意义。     

时移地震数据采集和记录系统中的单缆测试系统设计

针对时移地震数据采集和纪录系统中电缆的测试,开发了单缆测试系统。该系统包括硬件框架、逻辑设计、嵌入式软件以及人机界面软件的设计。系统使用了可编程逻辑阵列FPGA和嵌入式操作系统VxW orks,具有较强的灵活性和可靠性。