AADL文献综述.doc

AADL：一种复杂嵌入式实时系统体系结构设计与分析语言 摘 要：近年来，软件体系结构逐渐成为复杂嵌入式实时系统设计与开发中的关键技术之一。而作为该领域的体系结构设计与分析语言标准，AADL日益受到学术与工业界的关注，并发展成为一个重要的研究方向。分析与归纳了AADL的发展历程及其主要研究内容，从系统全生命周期的角度，综述了AADL在不同阶段的研究与应用，最后，探讨了AADL的发展趋势。 关键词：嵌入式实时系统；AADL；UML；ADL；全生命周期，综述 嵌入式实时系统广泛应用于航空航天、汽车控制、机器人、工业过程控制设备、医疗设备等领域，这些系统具有资源受限、实时响应、容错、专用输入输出硬件等特点，对性能、可靠性等性质有较高的要求[1]，文献[2]称之为性能关键系统(Performance Critcial Systems, PCS)。由于计算精度、实时响应的要求，这类系统变得越来越复杂，如何设计与实现高可靠、高质量的复杂嵌入式实时系统，并有效控制开发时间与成本，成为现在学术界和工业界的热门话题。 软件体系结构是控制软件复杂性、提高软件质量、支持软件开发和复用的重要手段之一。研究复杂嵌入式实时系统的体系结构，不仅可以为方便软件工程师和控制、机械工程师之间的交流与协作，而且可以在早期阶段对系统进行分析与验证，有助于保证系统的质量属性。 UML以及C2、Darwin、Wright、Aesop、Unicon、Rapide等ADLs不是专门面向嵌入式实时系统领域，尚不能解决该领域的时限响应、并发处理等特定需求。为了能够对嵌入式实时系统建模与分析，OMG先后定义了UML profile for SPT(Schedulability, Performance, and Time, SPT[3])，UML profile for Qos/FT( Quality of Service and Fault Tolerance, Qos/FT[4])。但这些方法还是很难支持基于模型、体系结构驱动的嵌入式实时系统设计与开发[5]。 2004年，SAE(Society of Automotive Engineers)组织提出嵌入式实时系统体系结构分析与设计标准AADL(Architecture Analysis and Design Language)[6]。AADL借鉴了UML、MetaH[7]及多种ADLs的优点，目的是提供一种标准的、足够精确的方式，设计与分析嵌入式实时系统的软件、硬件体系结构及其性能关键属性。在嵌入式实时系统领域，还有其他体系结构描述语言：UML profile Marte(Modeling and Analysis of Real-Time and Embedded systems, Marte[8])是OMG最近提出的嵌入式实时系统体系结构描述语言标准，Marte提供多模型多分析的模式，容易导致各种模型之间的不一致性，且语言本身还不成熟。ESAT-ADL[9]是专门面向汽车嵌入式电子系统的体系结构描述语言。AADL以语法简单、语义精确、功能强大的优点，日益受到学术界和工业界的广泛关注和支持。 1 AADL简介 AADL是一种体系结构描述语言，主要是用于对嵌入式实时系统进行建模。它在很多项目中都充当了核心的角色，像COTRE[Farines et al.,2003a]，ASSERT[ASSERT, 2006]，TOPCASED[Farail et Gaufillet, 2005]等等。AADL 的第一个版本于2004年11月发布，第二个版本正在制定中。 AADL 标准定义了三种模型描述的方式：文本化，XML 和 图形化。正是由于这种多样化的描述方式，AADL 可以被许多不同的工具所使用。对UML的支持同样允许我们在UML的工具中插入AADL。 作为一种体系结构描述语言，AADL 通过描写构件和连接来建立系统的体系结构。一个AADL的描述由对一系列构件的描述组成，通过对这种描述的实例化来建立系统体系结构的模型。 1.1 构件描述 AADL的构件被定义成两部分：类型和实现。 一个AADL的构件拥有一个类型(component type)以及对应的零个，一个或者很多个实现(component implementation)。 构件的类型描述了外部的接口(进出端口，属性等)。继承的机制允许我们通过对一个已知类型的扩展定义一个新的类型。构件的实现(component implementation)描述了构件的内部结构(子构件，其他的属性等)。一个构件的类型可以有多个实现，和构件类型一样，一个实现同样可以扩展为其他的实现。 1.2 构件的种类 AADL 定义了很多构件的种类， 总的来说可以分成三大类：软件构