-
在结果中检索

检索结果分析

结果分析中...
检索条件："关键词=体系结构分析与设计语言 "
共 条 记 录，以下是1-10

发文量、被引量趋势图

全选清除导出
参考文献引证文献引用追踪
视图：
排序：
显示条数：
基于AADL的智能交通系统面向方面建模被引量：2
《计算机工程与设计》2017年第1期275-280,F0003,共7页覃华 张立臣 
为解决智能交通系统(intelligent transport systems,ITS)的传统建模方法中存在难以解决的复杂问题,如不能对横切关注点进行建模、难以分离软件系统的非功能特性等,研究基于体系结构分析与设计语言(architecture analysis and design la...
关键词：智能交通系统 体系结构分析与设计语言 建模 流分析测试 面向方面 
模型驱动的开放式结构悬挂物管理系统设计方法被引量：4
《空军工程大学学报（自然科学版）》2010年第4期1-5,共5页冯金富 刘安 左伟 梁晓龙 
国家"863"高技术研究发展计划资助项目(2007AAJ127;2007AAJ210)
开放式结构悬挂物管理系统是机载悬挂物管理系统的发展方向,可以将武器的设计与具体实现相分离,实现武器集成的松耦合。提出基于模型驱动的开放式结构悬挂物管理系统设计方法,采用UML设计平台无关模型,采用AADL设计平台相关模型,论述了...
关键词：模型驱动架构 开放式结构 统一建模语言 UML扩展机制 体系结构分析与设计语言 
基于AADL的软件开发技术研究被引量：2
《计算机应用研究》2009年第9期3361-3364,共4页宋翠叶 杜承烈 李刚 
国家"十一五"武器装备预研项目;航空基础科学基金资助项目(2007ZD53043)
形式化方法对于软件的开发过程有着重要的作用。为了研究体系结构分析与设计语言(AADL)在软件开发中的作用及其技术现状,介绍了AADL的语言组成和相关特性,分析了AADL在软件开发过程中的作用,给出了一个相应AADL工具集的框架模型。在此...
关键词：体系结构分析与设计语言 软件开发过程 瀑布模型 工具集 
一种嵌入式软件可靠性建模与评估方法被引量：1
《计算机与现代化》2017年第8期78-83,共6页刘维维 庄毅 李蜜 
国家自然科学基金资助面上项目(61572253)
虽然AADL已经被广泛应用于嵌入式软件体系结构的建模与分析,但其作为一种半形式化建模语言,不能满足严格分析评估软件可靠性的要求。为了解决这个问题,本文首先采用离散时间马尔可夫链DTMC刻画AADL可靠性模型,主要描述系统的状态转移与...
关键词：可靠性 体系结构分析与设计语言 离散时间马尔可夫链 概率计算树逻辑 模型检测 
AADL构件到RTLinux平台C代码的转换方法研究被引量：1
《计算机应用研究》2011年第12期4613-4615,4624,共4页朱江 张茂林 
核高基资助项目(2009ZX01045-005-002);总装备部"十二五"某预研项目
为了提高嵌入式软件开发的自动化程度,代码自动生成是一种值得采用的有效方法。在研究体系结构分析与设计语言(AADL)和RTLinux(real-time Linux)平台C代码的特性的基础上,提出了AADL构件到RTLinux平台C代码的转换规则;然后用一个实例实...
关键词：体系结构分析与设计语言 构件 转换规则 代码自动生成 
AADL模式转换设计方法研究被引量：1
《计算机工程与设计》2011年第12期4269-4272,共4页李振松 蒋志雄 顾斌 
国家自然科学基金项目(90818024)
为实现AADL(体系结构分析与设计语言)对航天器控制系统等运行模式相对复杂的嵌入式系统的详细描述,针对AADL核心标准及其行为附件在描述能力上的不足,在行为附件原有文法定义的基础上进行改进,使之能够对多条件合集下的模式转换以及模...
关键词：体系结构分析与设计语言 模式转换 行为附件 文法定义 设计 
航空电子互连网络的顶层设计架构与实现平台被引量：3
《电讯技术》2010年第3期1-5,共5页王昊天 李峭 熊华钢 
国家自然科学基金资助项目(60879024);航空科学基金资助项目(20081951028)~~
提出一种顶层设计架构,采取数据驱动的方式,自顶向下、逐步完成针对航空电子互连网络的设计。基于这种架构,给出一种使用SAEAADL规范的实现平台,该平台为航空电子互连网络动态地生成最终的解决方案,并且统一管理仿真、归档和测试。具体...
关键词：航空电子 互连网络 顶层设计 体系结构分析与设计语言 
基于AADL体系结构模型的构件系统可靠性评估被引量：3
《系统工程与电子技术》2017年第4期947-952,共6页凌冬怡 王世海 刘斌 
为了支持新一代航电系统在体系结构设计阶段进行系统可靠性分析和评估,对复杂嵌入式系统利用体系结构分析与设计语言(architecture analysis and design language,AADL)进行系统的建模。提出了一种基于AADL系统体系结构模型的可靠性建...
关键词：体系结构分析与设计语言 可靠性模型 系统体系结构广义随机Petri网 可靠性评估 
DIMA系统实时通信流量的时延分析方法被引量：9
《计算机工程与设计》2015年第4期879-885,共7页许晋瑞 李峭 赵露茜 熊华钢 
国家自然科学基金项目(61301086);国家863高技术研究发展计划基金项目(2011AA110101);航空科学基金项目(20131951027);教育部基础科研业务费基金项目(YWF-14-DZXY-018)
在分布式综合模块化航空电子(DIMA)系统中,采用综合化互连,同时支持时间触发(TT)通信流量和事件触发通信的速率约束(RC)流量。使用体系结构分析与设计语言(AADL)建立DIMA系统实时通信任务模型,提出一套基于模型的实时通信流量时延分析...
关键词：实时通信 时延分析 分布式综合模块化航空电子 体系结构分析与设计语言 实时演算 
基于MDE的AADL向SystemC的转换
《福建电脑》2013年第7期13-15,共3页郑晓梅 胡晨骏 李刚 
江苏省科技项目物联网技术在中药饮片质量标准系统中的研究与应用(No.BE2012184);南京中医药大学青年自然科学基金项目基于模糊决策的糖尿病心脑血管并发症风险预测(NO:11XZR17)
文章在分析了体系结构分析与设计语言AADL和软/硬件协同设计语言SystemC的基础上,基于模型驱动工程MDE的模型转换框架给出了AADL模型向System模型转换的理论,介绍了AADL以及SystemC元模型的建立以及二者的ATL转换规则。
关键词：体系结构分析与设计语言 软 硬件协同设计语言 模型驱动工程MDE 转换规则 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部