Ada语言实时绑定库的设计与实现

1 引言嵌入式实时系统(下称嵌入式系统)的开发一般按照软件工程生命周期的瀑布模型来进行,并可考虑快速原型方法。在嵌入式系统的代码实现过程中,选择编程语言成为关键,因为它关系到所选语言的语言特征能否很好地支持嵌入式系统的有关特性,即该语言是否能够支持嵌入式系统设计的6个重要准则:安全性、可靠性、适应性、简单性、可移植性和有效性。     

单调时限调度算法的可调度分析

单调时限调度通过定义Di≤Ti放宽了单调比率调度对被调度任务集的限制,使之更加近似于工程实际,但现有的单调时限调度的可调度分析的充分条件十分复杂。文章提出并证明了基于最小处理器利用率上限的单调时限调度的充分可调度条件,大大简化了单调时限调度的调度分析。     

一种基于CORBA规范的工具总线LambdaBus的设计与实现

基于工具总线的CASE(Computer Aided Software Engineering，计算机辅助软件工程)环境结构是CASE环境一种新的发展趋势，文中在一种抽象的工具总线(ToolBus)模型的基础上，对工具总线的实现方式、实现途径等方面展开了进一步的研究，并基于CORBA规范实现了一种工具总线原型LambdaBus，从而验证了工具总线模型的有效性。     

面向对象实时多任务系统的优化实现模型

论文提出了一种基于抢占门限的实时多任务系统的优化实现模型,它同时具有低开销与高可调度性。该模型扩展了固定优先级调度模型,同时通过实现模型中线程数的减少实现了运行时的低开销。文中同时也讨论了互不抢占分组的实现算法及每个任务最大抢占门限的分配算法。     

连续执行软件可靠性验证测试方法

针对基于经典统计假设检验的固定期测试方法测试持续期太长,难以满足现代连续执行软件可靠性验证测试的需要,提出了一种基于经验贝叶斯统计推断的连续执行软件可靠性验证测试方法。该方法通过可靠性增长测试阶段的测试记录获得软件失效强度的先验分布,从而得到所需要的验证测试持续期,并结合检证测试过程中的具体情况,提出了先验动态整合的方法。实验表明,该方法在不降低验证测试结果可信性的条件下,能有效地减少可靠性验证测试的持续期。     

实时异常处理技术的探讨

在分析现有异常处理技术的基础上,比较了在程序语言及操作系统中实现异常处理的优缺点,然后讨论了实时系统中异常处理的本质需求、必要需求及性能目标。为设计出适合于实时系统的异常处理机制,从异常的表示、关键度的管理等几个方面进行了讨论,为实时异常处理的设计提供了指导原则。最后对实时异常设计进行了总结,同时展望了该领域内的相关工作及发展方向进行。     

工具接口技术研究

随着CASE环境（Computer Aided Software Engineering Environment)的不断发展，工具间如何协调高效地支持整个软件开发过程显得愈为重要，文中重点研究了CASE环境中工具间的接口技术，对各种类型的接口技术进行了分析和比较，并阐述了工具接口的应用问题。     

一种高可信赖测控计算机的设计与实现

首先,从硬件的角度对计算机容错系统的理论基础、结构模型作简单论述。随后,介绍一种基于实时操作系统 CRTOS　2.0、MPC860 嵌入式处理器的高可信赖的测控计算机系统硬件平台的设计方案,并着重阐述其中最主要的热备份测控计算机 C P U 板电路和仲裁电路等关键模块的设计细节。     

开放系统中一种端到端QoS的实现机制

1 引言开放系统是当前计算环境发展的一个重要方向,其上的许多应用都有服务质量(QoS)的需求,比如视频会议、媒体广播、IP电话、远程教育及实时控制等。QoS是目前开放系统亟待解决的问题之一,同时也是下一代网络的核心技术之一,是当前研究与开发的热点。 QoS具有端对端的特性。上述应用往往要跨越系统的多个组件,甚至是多个平台,然而对用户而言,他