信息物理系统实时任务WCET的研究

信息物理系统（CPS）是最近几年才出现的一个新的交叉领域的研究概念,它被普遍认为是计算机信息处理技术史上的下一次革命,将会改变人与现实物理世界之间的交互方式,具有广泛的应用前景。简要介绍了CPS的概念、一些新的特性。研究了CPS实时性方面的最坏执行时间（WCET）分析的组成部分、获取方法和计算算法,并比较了几种算法的优劣,列举了这一领域一些研究进展,讨论了WCET分析这一领域中存在的问题,给出了将来的研究方向。     

面向方面在软件组件中的应用

传统的基于组件的软件开发方法大部分都集中在功能分解上,其并没有考虑到横切关注点对组件的影响。而面向方面技术就是以解决大规模系统中的横切问题为目的的,其主要是先分离出方面模块,然后再织入核心类中。文中提出了采用面向方面的编程思想,将其应用到软件组件的开发中。     

机会网络中基于元胞学习自动机的拥塞控制策略

对于机会网络中的多副本报文转发机制下由于节点缓存溢出而产生的拥塞现象,已有的控制策略仅考虑报文或者当前节点自身的信息,没有利用邻居节点之间的关系以及邻居节点上报文的存储情况来提高网络中报文的投递成功率。提出了一种基于元胞学习自动机的拥塞控制策略,主要是以局部环境中报文的特性来近似整个网络中报文的特性,根据报文所在节点的局部环境中周围邻居节点对该报文的持有情况,结合学习自动机的算法对报文的丢弃概率进行自动学习及更新。在报文复制时考虑对端节点的缓存熵信息,通过合理的报文的丢弃和复制,提高节点上缓存报文的信息量。实验仿真结果表明,该策略有效的降低了网络负载率和报文的投递延时,并提高了报文的投递率。     

基于面向方面MDA的软件开发方法

软件系统通常有许多横切整个系统的非功能需求,仅采用面向对象的方法不能很好的处理这些横切关注点.软件开发中使用面向方面MDA的方法,在设计阶段将系统的非功能需求从功能需求中分离出来,通过扩展UML建立面向方面PIM元模型和基于AspcctJ的PSM元模型,横切关注点和核心业务逻辑就可以根据这些元模型分别建模,从而形成面向方面PIM和PSM,然后将系统PSM转换成系统代码.这种方法降低了软件开发的复杂性,提高了系统的可重用性、可维护性和横切关注点的模块化程度,最后给出了应用实例.     

普适计算环境下的动态访问控制模型

普适计算环境下,主体、客体的状态和上下文信息对授权结果具有决定性影响。针对已有授权模型由于主体、客体状态和上下文信息的缺失而导致模型不适合普适计算环境的问题,提出了一种基于主体、客体的状态和环境上下文信息对主体进行动态授权的访问控制模型,论述了模型的构成元素、体系结构和授权算法。与已有模型相比新模型采用统一的模式描述上下文信息对授权的影响,既保证了模型的简单性,又增强了模型的表达能力,更适合于普适计算环境。     

区分移动实时事务关键性的并发控制策略

在移动实时数据库系统中,事务的关键性代表实时事务的时间紧迫性,由于实时事务的紧迫程度不同,为了保证事务的时间正确性,因而有必要区分事务的关键性提出相应的并发控制策略。该文按满足截止时间的重要性将实时事务分为软、硬事务加以研究,在此基础上分别提出了三种区分事务关键性的优先级并发控制策略,对三种优先级策略进行了性能比较并提出了改进方法。研究结果表明,将实时事务按关键性分类有利于设计事务优先级分派及调度策略。     

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

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

异构分布式系统混合型实时容错调度算法

基/副版本技术是实现实时分布式系统容错的一个重要手段。提出了一种异构分布式混合型容错模型,该模型与传统的异构分布式实时调度模型相比同时考虑了周期和非周期调度任务。在此基础上给出3种容错调度算法:以可调度性为目的SSA算法、以可靠性为目的RSA算法、以负载均衡性为目的BSA算法。算法能够在异构系统中同时调度具有周期和非周期容错需求的实时任务,且能够保证在异构系统中某节点机失效情况下,实时任务仍然能在截止时间内完成。最后从可调度性、可靠性代价、负载均衡性、周期与非周期任务数及任务周期与粒度J个方面对算法进行了分析。模拟实验结果显示算法各有优缺点,所以在选择调度算法时应该根据异构系统的特点来选择。