摘要：在复杂的实时软件系统中使用构件式设计方法,已成为目前软件工程中的研究热点.如何有效地验证实时软件的设计是否满足给定的时间规约,是实时计算领域中的主要挑战之一.通过在接口自动机模型中添加时间区间标记,来扩展其对实时系统接口行为的表达能力;使用实时接口自动机网络来描述实时软件系统的构件式设计模型;使用带布尔不等式时间约束的UML顺序图表示基于场景的需求规约,对系统设计阶段实时软件构件的动态行为进行形式化分析与检验.通过对实时接口自动机网络状态空间的分析,构造了其可兼容的整型状态等价类空间的可达图,并在此基础上给出了验证算法,以检验构件式实时软件系统的设计与带时间约束的场景式规约之间的一致性.

摘要：针对实时系统软件设计难以有效兼顾功能与非功能需求的问题,提出了一种支持实时软件资源建模与分析的方法.首先,通过在通信顺序进程上扩展资源信息,得到资源通信顺序进程,并将实时系统指令使用的资源映射为资源通信顺序进程的资源.利用资源通信顺序进程对实时软件资源建模,并进行量化分析.然后,通过提出一系列资源优化检查算法,对建模结果进行资源可满足性检查,并计算出当前系统所需的最少资源量.最后,对机载防撞告警系统进行建模与分析,以说明该方法的有效性.结果表明,该方法能够分析影响实时系统资源使用的关键软件设计要素,评估软件优化对系统资源使用的影响,从而在很大程度上提高了实时系统资源计算和分析的可信性.该计算结果有助于实时系统资源的量化分析和资源优化设计.

摘要：正确的时间属性和行为对于实时软件来说非常关键,然而这却很难得到完全的保障.在实际工业中,实时性错误不仅会在软件的设计开发阶段被引入,在软件的维护阶段,随着软件的演化也同样会引入这种错误.当软件维护人员对系统不够熟悉时,维护阶段引入这些错误的可能性会更大.目前,还没有研究结果可以在软件修改发生之前,通过分析系统的时间关系信息来帮助指导软件维护人员减少或者避免引入时间相关的错误.在这样的背景下,文中提出了一种实际可用的分析途径来解决这一问题,称之为时间变化影响分析.这一解决途径在软件维护人员做出修改之前就可以分析软件内在的时间关系信息,从而帮助维护人员在软件的实际演化前预测可能带来的时间影响.在具体的操作上,可以通过告知软件维护人员程序代码中的某些位置点可能会对整个程序任务的执行时间产生很大的影响,来提醒他们修改这些位置点的代码时应当特别小心.由于这些点对程序任务的执行时间敏感,我们称之为时间变化敏感点.文中通过一种基于扰动的测试实现来检测程序中的时间变化敏感点,通过在程序中插桩不同的代码时延,达到对执行时间的扰动作用.对这些扰动作用下的程序执行时间数据进行统计,得到程序中各个位置点对时间影响的定量度量.对于实际使用的大规模程序,该方法通过集成静态程序分析技术提高吞吐量和减小漏报率.文中对分析途径做了原型实现,并在Mlardalen WCET基准用例集和开源项目Free Lossless Audio Codec(FLAC)上做了实例评估.评估结果展示了该方法的可行性和有效性.

摘要：声纳基阵信号模拟器是一种实用的、可近似仿真实际监测目标及使用环境的阵元级信号发生器。声纳基阵信号模拟器的使用将有效缩短数字式声纳的研制周期,大大减少湖试和海试的次数。文章中以通用信号阵列处理系统为运行环境,详细介绍了一种声纳基阵信号模拟器实时多任务系统的软件设计与开发过程,分析了该软件系统中所有基本任务的功能以及多任务之间的通信关系,并且最后给出了该实时多任务软件在通用信号处理机上的实现拓扑图。实践证明,该套软件功能完备,且具有很好的实时性和稳定性,非常适用于现代声纳工程领域。

摘要：ＤＣＳ系统一般要求实时响应过程各子系统异步发生的事件，准确记录其发生时间、类型，并给予必要的声光提示或报告。本文论述了在实时多任务环境下过程报告等典型事件的检测和触发设计方法，并给出了在个人计算机上事件记录和声光报警实时管理的实现。

摘要：为解决实时软件设计中实时性能难以保证、开发方法通用性差的问题,设计了一种基于RTX的实时操作系统环境下,开发实时软件的通用方法。首先,分析了基于RTX的系统平台的实时性能。然后,从一般意义上研究实时软件的任务调度特性,建立起一个通用的参数化、层次化、模块化结构。最后,利用RTX的实时调度机制,详细设计了任务模块的调度运行流程,并验证了软件的实时性能。此方法从系统环境和调度机制两个角度提高了实时软件的实时性能,并从一般意义上给出了实时软件的通用的开发方法。

摘要：软件可靠性研究是一门正在发展的新兴学科 ,其实际应用也尚处于探索阶段。对军用实时软件的失效机理进行了初步分析 。

摘要：随着社会的快速发展,互联网的发展也越来越快,与此同时,在当前的计算机应用软件中,嵌入式实时软件占据了越来越重要的地位,并发挥着越来越重要的应用价值。所以要努力发展嵌入式系统,使其成为计算机应用发展越来越快的重要前提。本文主要分析了当前嵌入式实时软件设计方法的重要价值,分析其实时软件的原理和特点,并根据其实际情况概述其嵌入式实时软件设计的发展趋势.

摘要：随着实时系统非功能性质研究的深入,为了分析软件对系统执行时间的影响并对其进行定量分析,提出了一种支持实时软件时间建模的形式化方法。通过扩展时间通信顺序进程的时间语义,将实时系统指令执行的时间映射成为时间通信顺序进程的时间,利用时间通信顺序进程对实时软件时间建模并进行量化分析。提出的时间最优调度算法可以判断时间通信顺序进程的可达性并计算时间最优路径。通过实例验证表明,该方法可以从很大程度上提高实时系统执行时间计算的准确性,计算结果有助于实时系统执行时间的量化分析与优化设计。

摘要：实时软件的容错技术是提高系统可靠性和可利用率的有效手段。本文介绍了实时软件容错技术的现状，阐述了软件容错的设计方法，提出了实时软件容错技术的实施方案。