基于对象的实时操作系统

本文在进行了实时系统的需求分析之后，提出了实时系统的生成思想，即以一个基于对象的实时操作系统（ＯＢＲＴＯＳ）内核作为支持，以“对象“作为生成实时系统构件的基础，在生成一个完整的实时系统开发环境的同时，生成一系列实时系统。本文亦简要介绍了在ＰＣ ＡＴ微机系统上对ＯＢＲＴＯＳ的实现及其特点。     

需求描述前的需求跟踪问题

需求描述前的需求跟踪问题一直是软件工程中非常重要的一个方面，同时又是研究较少的一个方面。需求描述前的需求跟踪的提供者和使用者总存在一些难以解决的矛盾，本文首先从这一角度出发分析了需求描述前的需求跟踪问题。与传统技术一样，而向对象技术有保证需求描述前的需求可跟踪性的自动获取，为此文章讨论了在面向对象 支持需求描述前的需求跟踪能力的必要条件，在此基础上，文章介绍了一个支持需求跟踪的原型系统（ＯＯＲＴＳ     

设计说明的可跟踪性问题

本文提出了一个需求可跟踪性的模型。在此基础上，通过一个雷达系统的例子，对设计说明的可跟踪性问题进行了深入的讨论，并实现了相应的支持系统（ＯＯＲＴＳＴ）。     

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

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

来稿选摘

在ＤＯＳ环境中开发实时系统的方法及问题研究工业生产过程的自动控制系统、信息查询系统、事务处理系统等，都有一个共同的特点，即要求实时性。ＤＯＳ是一个对开发工业测控等实时系统很友好的开发环境，它实时性强、支持底层硬件操作、允许修改中断向量、编程也较容易。...     

一种实用的面向对象需求描述方法

本文介绍了一种需求可跟踪性支持工具。在此基础上，提出了一种实用的面向对象的需求描述方法。通过采用ＰＯＯＡ对雷达子系统的分析，重点讨论了ＰＯＯＡ中的使用实例分析问题和对需求可跟踪性的支持问题。     

基于DOS的多线程实时系统的实现

本文结合作者开发实时多任务系统ＲＴＤＯＳ的经验，具体讨论了在ＭＳ－ＤＯＳ操作系统下引入多线程机制以实现一个实时系统的方法和实践。     

面向方面的可配置实时系统开发方法

实时系统通常有严格的服务质量约束导致其维护和演化困难,针对该问题,提出一种面向方面的实时系统开发方法。该方法从实时系统的功能需求中分离出非功能需求,建立相应功能模型和非功能模型,生成相应组件和方面。应用结果表明,该方法可根据实际应用环境组成可配置的实时系统,组成的实时系统具有较低的开发复杂性,较高的可重用性和灵活性。     

需求分析中的可跟踪性问题

需求分析中的可跟踪性问题和系统开发中的各阶段之间的平滑过渡问题是一个一致的问题。本文首先讨论保证需求可跟踪性的五个要素，分析了功能分解方法和Ｙｏｕｒｄｏｎ结构化方法在可跟踪性问题上所表现出的特征及存在的问题。最后，讨论了一些面向对象分析方法对可跟踪性的支持程度，还指出了非形式化跟踪技术的实用性。     

一个面向对象的二级并发模型

本文提出了一个面向对象的二级并发模型ＦＯＲＣＥ－Ｍｏｄｅｌ．它从需求规范的角度充分开发对象间和对象内两个层次上的并行性，从而将面向对象与并发性有机地结合起来，提供了有效的实时系统建模框架．基于该模型，我们开发了一个多视点可视规范语言族ＦＯＲＣＥ－Ｌａｎｇｕａｇｅ．     

面向方面的实时系统形式化开发方法

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

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

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

MOTOROLA VMEexec实时开发环境

ＭＯＴＯＲＯＬＡＶＭＥｅｘｅｃ实时开发环境一、实时系统的发展在九十年代的今天，应用系统的成功与否不仅在于计算机硬件系统的质量及性能，而是主要依赖于软件开发环境的优劣，即好的硬件运行平台只有在良好的软件环境支持下才能充分发挥其所具有的特性。做为实时系统...     

全局EDZL实时调度算法的可调度性判定

可调度性判定就是离线验证实时系统中所有任务是否可调度。通过可调度性判定,能够更好地保证实时系统的可靠性。有多种分析方法可用于可调度性判定,得到的结果有所不同。通过分析在多处理器实时系统中全局EDZL算法的任务需求,考虑带入作业和带出作业对处理器资源的需求。引入最大连续忙区间的概念,以确定带入作业的最大个数,得到了多处理器实时系统中全局EDZL算法的可调度性判定算法。实验结果说明了这种方法提高了通过可调度性判定的任务数量,是一种更紧密的可调度性判断方法。     

回卷恢复模型下容错实时系统的可调度性分析

实时任务的超时完成将会导致灾难性后果,因此实时系统必须具备严格的实时性及可靠性保障.考虑实时系统的容错需求,本文基于回卷恢复模型,对容错实时系统的可调度性分析进行研究.在基于任务最环响应时间的可调度性分析方法中,容错优先级配置是决定系统可调度性的关键.为了改进系统的可调度性,提出一种容错优先级可降低的配置策略,并推导出此策略下任务最坏响应时间的计算公式,以判断系统的可调度性.降低策略下低优先级任务可挪用高优先级任务的空闲时间来满足自身的截止时限要求.仿真实验表明,降低任务的容错优先级可以有效提升系统的容错能力.     

使用Rhapsody软件框架和UML的实时系统开发

UML已成为复杂系统建模的工业标准,并可借助代码自动生成工具实现从分析到编码的开发过程自动化。而实时系统的行为特征可以很好地用UML的状态机表示,从而成为自动代码生成、测试、分析和校验的最佳选择。ILogix公司的Rhapsody是一个基于UML支持模型驱动开发的CASE工具,它使用一套为实时系统量身打选的软件框架实现实时系统软件的开发自动化。     

使用Rhaphsody软件框架和UML的实时系统开发

UML已成为复杂系统建模的工业标准，并可借助代码自动生成工具实现从分析到编码的开发过程自动化，而实时系统的行为特征可以很好地用UML的状态机表示。从而成为自动代码生成，测试、分析和校验的最佳选择，ILogix公司的Rhapsody是一个基于UML支持模型驱动开发的CASE工具，它使用一套为实时系统量身打造的软件框架实现实时系统软件的开发自动化。     

使用Rhapsody软件框架和UML的实时系统开发

UML[1]已成为复杂系统建模的工业标准,并可借助代码自动生成工具实现从分析到编码的开发过程自动化.而实时系统的行为特征可以很好地用UML的状态机表示[2],从而成为自动代码生成、测试、分析和校验的最佳选择.ILogix公司的Rhapsody是一个基于UML支持模型驱动开发的CASE工具,它使用一套为实时系统量身打造的软件框架实现实时系统软件的开发自动化.     

面向AADL模型的存储资源约束可调度性分析

嵌入式实时系统在安全关键领域变得越来越重要,其广泛应用于航空航天.汽车电子等具有严格时间约束的实时系统中.随着嵌入式系统的复杂度越来越高,在系统开发的早期设计阶段就需要对其可调度性进行分析评估.系统中的存储资源会对可调度性产生一定影响,在抢占式实时嵌入式系统引入缓存后,任务的最坏执行时间可能发生变化.因此,分析缓存相关...     

一种通用的视频目标跟踪系统设计

在视频目标跟踪系统设计中,通常是针对实际的应用开发跟踪设备.在目标跟踪系统中,实时与通用是两个极为重要的性能.在传统视频目标跟踪系统研究的基础上,给出了具有CompactPCI总线、并行分布式结构的设计方案,实现了实时性与通用性,其核心是基于标准总线的实时系统,上位PC机实现卡尔曼预测,DSP并行完成频域转换与相关,由FPGA实现总线接口控制.实验表明所实现的系统具有实时性强、通信带宽大、可通用性强的特点,实用表明了它的可行性.