-
题名结构分析和设计语言AADL研究
被引量：12
- 1
-
-
作者
王瀚博
周兴社
董云卫
唐蕾
-
机构
西北工业大学计算机学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2009年第16期1-4,共4页
-
基金
国家自然科学基金(No.60736017)
国家高技术研究发展计划(863)(No.2007AA010304)~~
-
文摘
随着嵌入式系统规模、复杂度和性能需求的提升,嵌入式系统开发的重点从代码级提前到模型级,模型驱动体系结构成为嵌入式系统开发的主流。结构分析和设计语言(AADL)是一种模型驱动系统工程的新标准,从过程、方法和工具三个方面对其进行研究,讨论模型分析、模型转换和代码生成等相关技术,并将其与OMG的标准建模语言UML进行比较。
-
关键词
结构分析和设计语言
嵌入式系统
建模
模型驱动
-
Keywords
Architecture Analysis and Design Language（AADL）
embedded system
modeling
model driven
-
分类号
TP391.8
[自动化与计算机技术—计算机应用技术]
-
-
题名用AADL的即插即用武器管理系统建模研究
被引量：1
- 2
-
-
作者
刘安
冯金富
杨啸天
梁晓龙
胡杰
-
机构
空军工程大学工程学院
-
出处
《电光与控制》
北大核心
2010年第2期55-58,67,共5页
-
文摘
分析了即插即用武器系统,采用AADL对其进行建模,以武器管理计算机系统为例对分系统建模进行了描述。结合AADL建模的特点,详细研究了任务数据交换的格式和结构、周期性任务调度算法、非周期性任务调度算法及基于服务器的混合任务调度算法。采用OSATE软件对系统进行了建模和分析。结果表明:该方案能很好地对即插即用武器系统进行建模。
-
关键词
即插即用武器系统
体系结构分析和设计语言
任务数据交换格式
实时调度算法
-
Keywords
plug and play weapon system
Architecture Analysis and Design Language（AADL）
mission data exchange format
real-time scheduling algorithm
-
分类号
V271.4
[航空宇航科学与技术—飞行器设计]
-
-
题名AADL模型的测试方法研究
被引量：5
- 3
-
-
作者
王庚
周兴社
张凡
董云卫
-
机构
西北工业大学计算机学院
-
出处
《计算机科学》
CSCD
北大核心
2009年第11期127-130,共4页
-
基金
863项目"构件化嵌入式软件测试方法及其工具研究"(项目号:2008AA01Z142)
航空基金项目(项目号:20081953012)资助
-
文摘
近几年来,MDA开发方式的应用使得如何保证模型质量成为研究的热点。以基于模型的测试为研究对象,研究了对AADL模型进行模型测试的方法,并提出了结合马尔可夫链对AADL模型进行测试的框架以及实施方法。最后,通过示例进一步说明了该方法。
-
关键词
基于模型的测试
结构分析和设计语言
马尔可夫链
-
Keywords
Model-based testing, AADL, Markov chain
-
分类号
TP277
[自动化与计算机技术—检测技术与自动化装置]
O357.1
[理学—流体力学]
-
