徐建华
- 作品数：6 被引量：22H指数：3
- 供职机构：西南交通大学信息科学与技术学院更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划国家科技重大专项更多>>
- 相关领域：自动化与计算机技术农业科学航空宇航科学技术更多>>
- 复杂实时系统可调度性判定工具的研究与实现被引量：4
- 2013年
- 针对包含多处理器、多分区结构的复杂实时系统存在的可调度性判定问题,提出一种基于仿真方法的任务集可调度性判定工具。通过设定时钟变量模拟任务调度过程,依据纯周期任务集的特性确定仿真区间,调用优化的判定算法,判定任务集的可调度性。测试结果及实例分析表明,该工具能自动、准确、快速地判定任务集的可调度性,并以甘特图的方式绘制任务调度过程,较现有工具更为高效、直观。
- 张永悦孙瑜李允徐建华
- 关键词：多处理器实时系统可调度性判定仿真方法时钟变量
- 基于AADL的ARINC653配置工具的研究与实现
- 嵌入式系统已广泛运用于航空航天、核工业等高可靠性高安全性领域。为了提高此类关键领域系统开发的安全性及高效性,业界提出了模型驱动架构MDA[1][2][3][4](Model Driven Architecture)开发方...
- 徐建华
- 关键词：航空电子系统可调度性判定
- 基于ARM的嵌入式linux内核的裁剪与移植被引量：8
- 2009年
- 针对交叉编译环境的建立,修改Makefile,设置flash分区,配置内核,编译内核以及下载内核映像到开发板等设计,给出了以s3c2410为核心的嵌入式Linux内核的裁剪与移植过程。
- 刘国秀王元伟徐建华蒋朝根
- 关键词：ARM嵌入式LINUXS3C2410裁剪
- 基于单调速率的可调度性判定改进算法被引量：2
- 2011年
- 在单调速率调度策略的基础上,提出一种改进的任务集可调度性判定算法。该算法通过设定时钟变量模拟调度过程中的系统时钟,在时钟变量值增长过程中,根据任务优先级从高到低的顺序,分析各个任务的截止时间限的满足情况,判定任务的可调度性,从而确定任务集的可调度性。通过实例分析及与现有判定方法的比较,验证了该算法的正确性和高效性。
- 徐建华李允
- 关键词：实时调度可调度性判定时钟变量
- 基于仿真方法的任务集可调度性判定工具被引量：1
- 2012年
- 针对含有纯周期任务的任务集可调度性判定问题,提出一种基于仿真方法的任务集可调度性判定工具。通过设定时钟变量,模拟任务调度过程中的系统时钟,在时钟变量值增长的过程中,根据任务优先级从高到低的顺序,分析各个任务的截止时间限,判定任务集的可调度性。实例分析证明了该工具的可调度性判定结果正确。
- 徐建华李允
- 关键词：可调度性判定时钟变量
- 基于自动机理论的分布式实时调度分析工具被引量：7
- 2011年
- 分布式实时系统是广泛应用在众多关键领域的一类复杂实时系统.为保证其上运行任务的实时性,传统基于最坏响应时间的调度分析方法往往包含了实际系统运行过程中无法达到的最坏情况,因此在这些情况下的分析结果过于悲观.基于自动机理论的模型检测方法的好处在于能够穷尽地搜索整个系统状态空间,得到精确的分析结果.为了利用形式化方法的优势来精确分析分布式系统上任务的调度性,建立了分布式系统上的任务形式化模型,提出了行为自动机和环境自动机以分别描述任务的执行语义及其外部到达关系,把任务的调度性分析转换为对自动机网络位置的可达性进行分析,证明了在某些调度策略下的调度性的可判定性,并给出了满足调度可判定性调度策略的条件和范围.基于上述结论,实现了一个支持分布式系统任务实时调度分析工具SCT(schedulability checking tool),并与其他工具进行了分析精确度和性能的比较.比较结果显示,SCT可以提供最为精确的分析结果,但同时也具有最长的分析时间.
- 桂盛霖罗蕾李允于淼徐建华
- 关键词：分布式系统硬实时
