-

检索结果分析

结果分析中...
检索条件:"关键词=架构分析和设计语言 "
条 记 录,以下是1-1
视图:
排序:
显示条数:
基于AADL的综合航电分区系统可调度性判定被引量:5
《计算机工程》2014年第10期52-60,共9页袁翔 胡军 马金晶 刘雪 
国家自然科学基金资助项目(61272083);江苏省普通高校研究生科研创新计划基金资助项目(CXZZ11_0218)
综合模块化航电(IMA)系统中的分区系统提高了其可靠性安全性,但在系统设计实现过程中,应采用各种分析验证方法确保系统的时间需求得到满足。为此,针对符合ARINC653规范的IMA系统,根据分区系统层级调度的特性,提出一种基于仿真的...
关键词:综合模块化航电 ARINC653 系统 分区系统 架构分析设计语言 Cheddar工具 可调度性判定 仿真方法 
检索报告 对象比较 聚类工具 使用帮助 返回顶部