摘要：传统实时系统性能分析以最差情况下执行时间(worst-case execution time,WCET)作为主要输入,导致分析过于保守.针对实时系统设计时预留冗余过大的问题,建立了以到达事件类型、数量和分布为决策变量,包括工作量曲线(workload curves)、逆工作量曲线(inverse workload curves)、工作量比率曲线(workload ratio curves)在内的实时系统可变工作量模型,给出了相关计算方法.基于可变工作量模型分析了其在混合调度中的应用,结果表明:采用可变工作量模型和算法可显著减少任务所需的执行工作量,降低了实时系统的资源需求.

摘要：对传统的TCSP进行了改进和扩充,并在改进的TCSP描述语言和业已实现的实时构件模型RTCOM的基础上,提出了一种基于构件且适合实时系统设计的五步构造方法:系统角色及业务功能描述、时间约束规范设计与业务功能的TCSP描述、功能性事件提取与转换、构件获取与生成、代码生成.给出了一个实时系统分析与设计的例子.结果表明了该设计方法正确性和实用性.

摘要：模型检验是一种重要的自动验证技术 ,通过显式状态搜索或隐式不动点计算来验证并发或实时系统的模态 /命题性质 ,以保证通信协议、数字电路等设计的正确性 .详细阐述了模型检验技术的发展与研究现状 .首先描述了并发系统分别基于自动机理论和符号化的两种主要模型检验策略 ,并给出解决状态爆炸问题的主要方法 ;然后介绍了针对实时系统以及面向对象设计的模型检验方法 ;对每种方法都介绍了相应的典型工具 .

摘要：文中研究了硬实时系统在强分区约束下的双层分区的调度问题,合理建立了强分区约束下的双层分区调度模型,给出了最坏情况下的分区任务集可调度的判定条件.同时,在此基础上,提出了与分区利用率匹配的分区设计方法,导出了该方法下的系统可调度利用率的最小上限.仿真实验表明,在严格实时的条件下,文中提出的方法相对于现有方法更具优越性,并提高了分区可调度利用率的最小上限.

摘要：采用软硬件协同技术,通过必要的硬件语义实现资源隔离,基于高效的任务调度保障不同关键级别任务满足时间约束,是当前混合关键系统设计的有效方法之一。本研究基于时序可预测的细粒度多线程处理器FlexPRET,扩展设计实现时序指令,并分别在硬件和编译器中添加对扩展指令的支持,使得程序在代码中对最大执行时间进行时序约束语义描述。实验评测表明,所实现的扩展指令可为用户提供更精细的时序控制。

摘要：结合某火电厂生产实时系统的改造工程项目 ,以该厂实时系统中的某机组部分和全厂远动SCADA部分为例 ,介绍了实时系统的核心部分——数据通道的设计与实现。以实时信息系统数据通道中的数据采集、传送、处理与存储、用户与数据库的交互等为主要研究对象。在管理信息系统(MIS)与生产自动化系统的网络数据通信方面采用基于 TCP/IP的 Socket网络通信方式 ;在 MIS网上的信息发布与接收架构方面采用 Web浏览器 /Web服务器 /数据库 (DB)服务器 3层结构 (即B/S结构 ) ,并采用新颖的 Active X组件应用与 ASP应用相结合的 Web应用方式加以实现。实践表明 ,该实时系统具有良好的适应性、兼容性、灵活性、可靠性和安全性 ,该实现方案是成功的和值得推荐的。

摘要：The real-time system is used widely since the 1990's. In the paper some typical design approaches are introduced. Then the object-oriented design approach for real-time system and the use of UML is analyzed.

摘要：将实时特性引入分布式系统将会给系统可靠性设计与分析带来许多新的变化．文中首先给出了所研制的信息处理系统的描述，然后给出系统可靠性设计的基本原则，文章最后按系统实时性的强与弱，分别建立了可用度分析模型，并对系统的可用度进行预计．

摘要：由于AVR单片机存储资源十分有限,因此对内存的分配及使用会直接影响到整个系统的性能.对设计并实现的嵌入式操作系统iDCX 128的内存分配进行了测试,结果表明由于系统采用首次适应算法,在进行多次内存分配后,内存空间利用率不高.因此对其内存分配算法进行改进,通过修改内存区存储任务的堆栈结构及分配机制,使其成为最佳适应算法.实验结果表明改进后算法虽然浪费少量存储单元,并相应地增加了算法执行时间,但内存的整体利用率却得到了较大的提高.

摘要：介绍实时系统设计模式的概念及其应用实例,设计模式的目的是为了把成功的设计和体系结构总结出来,以便在今后的软件开发中重用。设计模式是通过对相关问题的分析而得到的,它描述了某一类问题及其解决方案。使用设计模式能得到已证实的成功设计,并把以往的设计经验以规范的形式记录下来。在电梯控制系统中应用设计模式,可以使设计更健壮、灵活和易于扩展。