虚拟硬件方法实现基于Intel StrongARM SA-1110平台的Linux APM

文章讨论了在StrongARM SA－1110开发板上实现Linux APM的主要技术问题。在分析了Intel StrongARM最新处理器SA－1110及开发板（Assabet）与电源管理相关的结构和特性的基础上,提出了一种基于虚拟硬件的系统跨平台移植的方法和思路,并以实际开发过程中的经验为背景,介绍了在Linux APM基于SA－1110平台的移植工作中虚拟硬件方法的应用和虚拟硬件方法在操作系统跨平台移植开发上的优点。     

模型世界下的几个机器人规划系统

在概要介绍了ＫＢＲＯＰＳ－２（Ｋｎｏｗｅｌｅｄｇｅ－Ｂａｓｅｄ Ｒｏｂｏｔ Ｐｌａｎｎｉｎｇ Ｓｙｓｔｅｍ）系统规划现策略的基础上，通过与历史上其它六个著名规划系统性对比，分析得出ＫＢＲＯＰＳ－２系统是一个比较成的机器人规划系统的结论。     

基于动态资源使用策略的SMT执行端口侧信道安全防护

同时多线程(simultaneous multi-threading,SMT)技术是提升线程级并行度的重要微架构优化技术之一,SMT技术能够在1个物理核上实现2个逻辑核,提升处理器的整体性能.然而,以共享执行端口为代表的SMT环境下特有的时间侧信道安全问题也陆续出现.提出了一种基于动态资源使用策略的SMT环境下执行端口时间侧信道攻击防护方法,基于SMT技术对数据结构资源的不同处理方式设计动态策略调整算法,通过改进处理器端口绑定及调度选择算法以防护SMT环境下执行端口时间侧信道攻击.防护设计实现了端口冲突矩阵、分支过滤器和动态资源使用策略修改器3个组件,该方法在防护有效性上可以达到关闭SMT技术的防护效果且性能开销大大降低,同时硬件开销可控,具有较高的应用价值.     

ETSG-SMT:一种SMT时间信道安全问题描述模型

同时多线程（simultaneous multi-threading,SMT）技术是现代高性能处理器的标配技术,是提升线程级并行度的重要微架构优化技术之一.SMT技术在带来性能提升的同时,也引入了新的时间信道安全问题,相对于跨核、跨处理器,SMT技术下的时间信道安全问题更难应对和防护,且陆续有新的安全问题出现.当前缺少一种系统描述SMT环境下时间信道安全问题的方法.从利用SMT技术产生时间信道的原理入手,聚焦SMT环境下共享资源产生的时间信道及其攻击机理,基于拓扑排序图（topological sort graph,TSG）模型,结合数据流分析扩展得到一种适用于SMT环境下的时间信道安全问题描述模型——ETSG （extended topological sort graph,扩展的拓扑排序图）-SMT.首先介绍SMT环境下时间信道安全问题利用和防护的技术特点以及使用TSG模型分析SMT环境下时间信道安全问题的限制与不足;然后在TSG模型基础上,针对SMT技术特征及其安全问题的形式化描述特点,结合数据流分析技术形成一套新的建模方法;最后,通过将ETSG-SMT模型应用到SMT环境下现有的攻击方法和防护案例推导中,证明使用ETSG-SMT模型对SMT环境下时间信道原理分析和防护技术推导有很好的应用价值.     

一种基于QoS的服务构件组合方法

在面向服务的架构中,如何利用已有的服务构件组装成新的服务成为当前此领域的一个研究热点．该文以构件化嵌入式操作系统Liquid为背景,给出了一种基于QoS的服务构件组合方法,在满足组合服务的功能需求同时,满足其QoS需求．文章详细给出了所涉及的服务模型、QoS模型以及构件选择基本算法．为使此服务构件组合方法适应于动态变化的系统环境,该文进一步对构件选择基本算法进行优化,给出了构件选择的启发和协商算法．最后通过实验,比较和分析三种算法的性能．     

一种基于时间自动机的实时系统测试方法

基于时间自动机(timed automata,简称TA)的一种变体--时间安全输入/输出自动机(timed safety input/output automata,简称TSIOA),提出了一种实时系统测试方法.该方法首先将时间安全输入/输出自动机描述的系统模型转换为不含抽象时间延迟迁移的稳定符号状态迁移图(untimed stable transition graph of symbolic state,简称USTGSS);然后采用基于标号迁移系统(labeled transition system,简称LTS)的测试方法来静态生成满足各种结构覆盖标准的包含时间延迟变量迁移动作序列;最后,给出了一个根据迁移动作序列构造和执行测试用例的过程,该过程引入了时间延迟变量目标函数,并采用线性约束求解方法动态求解迁移动作序列中的时间延迟变量.     

基于SPEM的CMM软件过程元模型

软件企业在实施CMM(capability maturity modelfor software)的过程中面临最主要的障碍是如何将CMM 软件过程模型转换成可实施的、体现组织过程特征的CMM实施过程模型.可以利用模型驱动架构MDA来支持CMM模型转换,其首要问题是建立CMM软件过程元模型.通过分析CMM软件过程,给出了面向CMM的软件过程工程元模型SPEM的扩展策略,提出了一个基于SPEM的CMM软件过程元模型一-SPM-CMM.该元模型既支持CMM软件过程的抽象语法和规则语义,也支持利用UML CASE工具操作CMM软件过程模型.     

基于Linux的网络计算机服务器的设计与实现

由于Linux在电子政务,企业,教育等等方面的推广应用,为网络计算机(NC)提供Linux上的各种应用服务的需求日益迫切,在Linux上实现网络计算机服务器(NCS)可以满足这种需求。文章通过从用户会话管理,Linux应用服务的输入输出传输,图像像素的压缩编码方式,及对不同NC运行环境的自适应性及系统安全配置几个关键方面深入研究与实现了Linux上的网络计算机服务器,使网络服务器能够为NC提供可用的应用服务。NCS为X客户程序的X服务器,目前已有的Linux应用可以不需修改为NC提供服务。另外,为提高系统的适应范围,提出了在会话服务中加入针对NC运行环境和网络属性的反馈式(Feedback)适应策略。文章最后指出了当前方案的不足和今后的研究方向。     

Alpha OSEK:一个基于OSEK/VDX标准实现的嵌入式实时操作系统

文章介绍了基于OSEK标准实现的嵌入式实时操作系统-AlphaOSEK。该操作系统适于深嵌入、小内存、有强实时需求的环境。介绍了操作系统的各组成模块及相关特征,还分析了AlphaOSEK对OSEK标准的优化。     

一种基于Agent的自适应软件过程模型

传统的软件过程模型大多是静态的、机械的、被动的,它们要求软件工程人员在描述软件过程时预期所有可能发生的情况,并且显式地定义这些问题的解决方案.当软件过程所处的环境发生变化时,软件过程无法自适应地对这些变更作出相应的调整.提出了一种基于Agent的自适应软件过程模型.在这种软件过程模型中,软件过程被描述为一组相互独立而对等的实体--软件过程Agent.这些软件过程Agent能够对软件过程环境的变化主动地、自治地作出反应,动态地确定和变更其行为以实现软件开发的目标.