L模型

作品数：379被引量：1539H指数：16
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：杨志斌董云卫黄滟鸿桂盛霖周勇更多>>
相关机构：南京航空航天大学华东师范大学西北工业大学华中师范大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金中央高校基本科研业务费专项资金国家高技术研究发展计划国家社会科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 主题=调度x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于时间自动机的嵌入式系统AADL模型可调度性验证被引量：2
《东南大学学报（自然科学版）》2015年第6期1032-1037,共6页李静 沈宁敏 白海洋 周培云 
中央高校基本科研业务费专项资金资助项目(NS2015092)
采用时间自动机形式化模型检验方法建立了结构分析与设计语言(AADL)调度模型的自动机,实现了从AADL模型到时间自动机模型的自动转换与验证.首先,设计了周期、非周期的线程时间自动机模板及抢占、非可抢占的调度器时间自动机模板,建立了A...
关键词：结构分析与设计语言 时间自动机模型 可调度性 仿真验证 
针对AADL模型的可调度性分析方法研究被引量：1
《微处理机》2013年第3期72-77,共6页黄英兰 
AADL(Architecture Analysis&Design Language)语言是美国SAE(Society of AutomotiveEngineers)组织定义的一组满足航空电子综合化设计用的建模语言。它可以描述安全关键嵌入式实时系统功能和非功能性属性,非功能属性包括可靠性、安全...
关键词：AADL语言 嵌入式实时系统 可调度性分析 
基于UPPAAL的AADL模型可调度性验证被引量：16
《计算机应用》2009年第7期1820-1824,共5页刘倩 桂盛霖 李允 罗蕾 
国家自然科学基金重大研究计划项目(90718019);国家863计划项目(2007AA010304)
针对体系结构分析设计语言(AADL)模型的可调度性验证问题,提出了利用模型检测工具UPPAAL对其线程组件在非抢占型调度策略下的可调度性进行形式化分析和验证的方法,并实现了从AADL模型到UPPAAL中模型的模型转换工具。实验结果证明了通过U...
关键词：体系结构分析设计语言 UPPAAL 可调度性 非抢占 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部