复杂实时系统软构件对象设计

该文给出了用于实时多任务应用系统图形化设计软件各层次软构件对象的设计方法。第一部分介绍图形化设计语言,第二部分定义了图形设计的构件对象。首先定义高层应用对象,使应用的架构为C/S结构;其次定义了在设计分解过程中用到的样式、复合对象及接口对象;最后描述底层原子对象,为实时执行器操纵的实体及其行为建模。

复杂实时仿真系统运行支撑环境研究

复杂实时仿真系统中不同层次对实时性、可靠性要求各不相同。网络和信息服务是该类仿真支撑环境的重要组成部分。依据仿真数据划分为控制和状态信息,提出了运用单播和多播的实时仿真以太网。针对半实物接入的需求,实现了基于广播内存网的半实物接入网络。为满足仿真信息的实时性要求,构建了基于RTX内存数据库的试验数据库。测试了各层面的实时性,分析了层面间的实时性约束。结合某武器系统的仿真试验,给出了具体的设计方案,满足了应用中不同实时性的要求。

复杂嵌入式实时系统体系结构设计与分析语言：AADL

首先归纳了AADL(architecture analysis and design language)的发展历程及其主要建模元素.其次,从模型驱动设计与实现的角度综述了AADL在不同阶段的研究与应用,总结了研究热点,分析了现有研究的不足,并对AADL的建模与分析工具、应用实践进行了概述.最后,探讨了AADL的发展与研究方向.

AADL分级调度模型的分析与验证

针对嵌入式系统体系结构分析设计语言(architecture analysis and design language,AADL)分级调度模型的分析问题,提出了基于模型检验的可调度性分析和验证方法.基于时间自动机理论,将AADL分级调度模型转换为时间自动机网络,将待验证性质描述为时序逻辑公式,通过模型检验工具对可调度性进行分析和验证.研究结果表明,使用模型检验方法来分析AADL分级调度模型的可调度性是可行的.相对其他方法而言,该方法利用了形式化方法的穷举性来分析系统的性质,分析结果更加精确.

任务驱动的众核资源调度技术研究

在采用众核架构的复杂实时系统中,对众核资源进行合理的调度,使得片内资源的分配与系统任务的需求相适应,对提高资源利用率和系统处理能力至关重要.为了使众核运算单元满足不同应用任务的计算需求,本文提出了一种基于众核架构的任务资源调度模型,该模型主要由应用任务集、实时计算管理逻辑和众核处理机三部分组成,基于该模型设计了众核资源调度算法MRSA(Many-core Resource-Schedule Algorithm).最后搭建了PowerPC主处理机和众核处理机的仿真实验环境,测试了系统的核资源利用率及任务调度效率,结果表明,MRSA算法能够有效适应众核架构系统的任务需求,提高系统资源的利用率.

EFFECTIVE NETWORKS FOR REAL-TIME DISTRIBUTED PROCESSING

This paper applies the concepts and methods of complex networks to the development of models and simulations of master-slave distributed real-time systems by introducing an upper bound in the allowable delivery time of the packets with computation results. Two representative intercom nection models are taken into account： Uniformly random and scale free （Barabasi-Albert）, including the presence of background traffic of packets. The obtained results include the identification of the uniformly random interconnectivity scheme as being largely more efficient than the scale-free counterpart. Also, increased latency tolerance of the application provides no help under congestion.