摘要：研究针对武钢 2 80 0轧机 HAGC系统改造项目的计算机实时系统 .硬件结构以 VME总线多处理器系统为基础 ,采用分布式控制思想 ,根据各种算法的复杂度和系统所要求的响应时间划分任务和分配硬件资源 .在软件实现上 ,采用 Vx Works实时操作系统 ,运用多任务机制、客户 /服务器机制和内存共享机制等建立面向复杂实时控制的系统架构 ,并给出了 HAGC控制算法结构图 .该设计已用于实际生产并长期可靠运行 .

摘要：为了使水电站所有生产、管理人员和领导决策层在任何时间及地点均能及时掌握整个电厂机组的实时运行状态,沙河抽水蓄能电站引用了一套生产实时系统。该系统将生产运行的一些实时数据通过内部局域网发布,具有安全、易用、实时、先进、开放、标准化、易管理等特点,可为电厂的现代化管理、为提高企业经济效益提供第一手技术资料。

摘要：实时系统复杂性的不断增加以及对可配置性和可重用性要求的不断提高,需要如面向方面和基于组件的软件工程方法的支持,同时实时系统的可信性要求采用形式化方法来开发实时系统。本文试图建立一种面向方面的实时系统形式化开发方法,这种方法对RT-Z进行了面向方面和面向部件的扩展,并通过实时组件模型在需求和设计阶段提供了对基于部件的系统开发方法(CBSD)和面向方面的系统开发方法(AOSD)的支持。本文给出了面向方面的实时Z(AO-RT-Z)的组件模型的框架结构、语法要求、方面的联结和功能接口和非功能接口的定义,重点讨论并证明了面向方面的实时Z(AO-RT-Z)作为规格描述语言的健全性。

摘要：虽然构件技术在软件开发过程中得到了越来越广泛的应用,但是实时系统是一类设计、实现和验证工作都相当复杂的系统,其构件化远比普通软件复杂,组装仍有许多困难。分析了常见的组装相容性错误,提出了一种实时系统的构件组装行为相容性测试用例产生方法。首先对时间自动机进行扩展,给出了描述实时构件的模型;然后定义了相容性覆盖标准,并把构件行为相容性测试用例生成转化为可被模型检验支持的可达性分析,同时给出了算法;最后用一个实例展示了该方法的具体使用。

摘要：通过分析船舶和工控行业典型控制算法的控制精度和响应要求,设计基于实时操作系统的虚拟外设特性仿真和模拟模型,能够灵活模拟船舶和工控行业的常用传感器和执行器特性,进而对控制软件功能和控制算法进行精细化和适应性的测试。应用结果显示,基于该实时系统的控制算法软件测评平台具有良好的适用性和准确性,能够充分测试和评价出控制算法的适应能力和精度。

摘要：UML是一种应用广泛的面向对象建模语言,但是在对实时系统的建模中,UML缺乏实时和并发特性的描述能力,运用UML的扩展机制,借鉴着色Petri网描述并发的思想,扩充了UML的模型元素,并在此基础上提出了一种并发图,用于描述实时系统任务间的动态并发行为。最后通过一个实例说明了该扩展的应用方法和有效性。

摘要：实时系统的建模与验证是实时系统开发过程中不可或缺的环节。由于目前业界中广泛使用的建模验证工具UPPAAL存在下载安装慢、拖拽控件不灵活且不支持多用户进行项目团队管理等弊端与局限性,在考虑UPPAAL缺点的同时结合实际应用需要,设计并实现基于B/S架构的实时系统的建模和验证工具。该工具通过浏览器即可访问,提供良好建模操作体验的同时支持多用户进行项目团队管理。使用该工具编辑运行具体实例,验证了实例系统的可达性、安全性等性质,获得了预期的正确结果,完成了该工具的功能测试。

摘要：分析了TI公司实时系统的内核DSP/BIOS,以DSP/BIOS内核作为智能断路器的核心设计了智能断路器系统。以线程的形式安排各个子功能模块,分配系统资源,对系统进行详细的分析和设计,最终实现对智能断路器的实时控制。实践证明,整个系统运行良好,提高了系统的实时性和准确性。

摘要：在电池供电的实时嵌入式系统中,能耗是系统设计的一个重要研究问题.动态电压调度和动态电源管理是两种重要的节能技术.前者是动态改变处理器电压/频率,降低处理器能耗;而后者是动态调整片外设备的工作模式,减少片外设备能耗.目前只有少量研究把这两种技术综合在一起.本文研究支持这两种技术的嵌入式全系统实时任务节能调度问题.针对连续和离散处理器频率模型,论文分别提出高效的算法,通过计算系统运行的能耗最小处理器最优频率和设备最优空闲时间,来实现全系统综合节能的目的.实验模拟表明本文算法大大优于其他算法.