基于AADL 的软件开发技术研究倡.pdf

第 26 卷第 9 .9
2009 年 9 月 Vol .2009No
Application Research puters Sep
基于 AADL 的软件开发技术研究倡
宋翠叶, 杜承烈, 李刚
(西北工业大学计算机学院,西安 710129)
摘要: 形式化方法对于软件的开发过程有着重要的作用。为了研究体系结构分析与设计语言( )在软件
AADL
开发中的作用及其技术现状,介绍了的语言组成和相关特性,分析了在软件开发过程中的作用,给
AADL AADL
出了一个相应工具集的框架模型。在此基础上,对现有的相关工具进行了综述比较,总结出该框
AADL AADL
架的技术现状,并指出了相关工具开发与应用的趋势。
AADL
关键词: 体系结构分析与设计语言; 软件开发过程; 瀑布模型; 工具集
中图分类号: 311 文献标志码: 文章编号: 1001唱3695(2009)09唱3361唱04
TP A
: /. .
doi j issn
Survey of software development technology based on AADL
唱, 唱,
SONG Cui ye DU Cheng lie LI Gang
( College puter, Northwestern Polytechnical University, Xi’an 710129, China)
Abstract: . ( )
Formalization is very important. in software development AADL architectural analysis and design language is, a
kind of architecture description language In order to get a deep understand about the role of AADL. in, software development
this paper firstly analysed, the elements of the language and summarized. its special, characteristics Then it analysed its use in,
software development and pointed out kinds of tools. it requires After that gave, a model of an AADL tool suite framework
and described. each part of the framework in detail According to the framework made an overview of the existing tools for
AADL. The analysis parison result shows that technologies and tools for AADL wi