‰‰‰The SAE AADL Standard: an Architecture OMG Model-Integrated Computing Workshop 2004, Analysis & Design Language for Embedded Edward Colbert & Peter FeilerReal-time Systems, Part 2The SAE AADL Standard: an Architecture Analysis & Design Language for Embedded Real-time Systems, Part 2Ed Colbert Peter FeilerSoftware Engineering InstituteUniversity of Southern California Center for Software Engineering phf@sei.cmu.eduecolbert@usc.edu 412-268-7790(213) 284-6622--------------Absolute Software Co., Inc.colbert@abssw.com(760) 929-0612Copyright 2001-4. Absolute Software Co., Inc.Tutorial Part II ObjectivesProvide overview of propose UML Profile for SAE AADLReview key features of UML Domain Model for SAE AADLDemonstrate profile AADL through use on existing avionics system2Copyright 2001-4. Absolute Software Co., Inc.119 October 2004‰‰‰‰‰The SAE AADL Standard: an Architecture OMG Model-Integrated Computing Workshop 2004, Analysis & Design Language for Embedded Edward Colbert & Peter FeilerReal-time Systems, Part 2OutlineExtending UMLDraft UML Domain Model for AADLAADL/UML ProfileAADL/ExampleSummary of Part II3AADL/UML RelationshipTo Be submitted to Extensible AADL Annexes OMG for AdoptionUML Working GroupsAADLUML 2.0Core AADLUML Profile UML 1.4Safety Detailed designDependability UML-RTPerformanceTimelinessRT SchedulingInvestigating overlap & integrationPeter Feiler of the Software Engineering Institute, Carnegie Mellon ...
The SAE AADL Standard: an Architecture OMG Model-Integrated Computing Workshop 2004, Analysis & Design Language for Embedded Edward Colbert & Peter Feiler Real-time Systems, Part 2
The SAE AADL Standard: an Architecture Analysis & Design Language for Embedded Real-time Systems P , art 2
Ed Colbert Peter Feiler Software Engineering Institute University of Southern California Center for Software Engineering phf@sei.cmu.edu ec(2ol1b3e)rt2@84u-s6c6.e2d2u412-268-7790 --------------Absolute Software Co., Inc. colbert@abssw.com (760) 929-0612
Copyright 2001-4. Absolute Software Co., Inc.
Tutorial Part II Objectives
Provide overview of propose UML Profile for SAE AADL Review key features of UML Domain Model for SAE AADL Demonstrate profile AADL through use on existing avionics system
Copyright 2001-4. Absolute Software Co., Inc. 19 October 2004
2
1
The SAE AADL Standard: an Architecture OMG Model-Integrated Computing Workshop 2004, Analysis & Design Language for Embedded Edward Colbert & Peter Feiler Real-time Systems, Part 2
Extending UML
Outline
Draft UML Domain Model for AADL
AADL/UML Profile
AADL/Example
Summary of Part II
3
AADL/UML Relationship To Be submitted to Extensible AADL Annexes OMG for Adoption UML Working Groups DL reAADL . UML Profile UML 1.4 Safety Detailed design Dependability UML-RT Performance RT Schedulin
Peter Feiler of theSoftware Engineering Institute, Carnegie Mellon University. Used with permission 4
Copyright 2001-4. Absolute Software Co., Inc. 19 October 2004
Investigating overlap & integration
2
The SAE AADL Standard: an Architecture OMG Model-Integrated Computing Workshop 2004, Analysis & Design Language for Embedded Edward Colbert & Peter Feiler Real-time Systems, Part 2
Extending UML
UML provides modeling concepts & notations for typical software modeling projects Users may need Additional features and/or notations Non-semantic information attached to models UML core concepts can be extended or specialized by users 3 built-in extension mechanisms • Stereotype • Constraint • Tagged Value Can be used separately or together Can extend UML metamodel by explicitly adding new metaclasses & other metaconstructs Depends on modeling tools or use of meta-metamodel facility
5
Benefits of Extending UML
Architects can represent system architecture graphically using commonly available UML tools UML tool developers can add advance support for AADL to existing tools rather than developing new tools e.g. safety analysis Software designers can take defined architecture & refine software components rather than common practice of recreating architecture in software development tools System integrators should have easier time integrating Software components generated by UML tools, or handcode based on UML specification Executive and architectural glue code that is generated by AADL tool Target hardware. 11
Copyright 2001-4. Absolute Software Co., Inc. 19 October 2004
3
The SAE AADL Standard: an Architecture OMG Model-Integrated Computing Workshop 2004, Analysis & Design Language for Embedded Edward Colbert & Peter Feiler Real-time Systems, Part 2
Extending UML
Outline
Draft UML Domain Model for AADL
AADL/UML Profile
AADL/Example
Summary of Part II
12
UML Domain Model of AADL v0.99 (Balloted) Overview
Model Data Basic Types Concepts
Copyright 2001-4. Absolute Software Co., Inc. 19 October 2004
UML Domain Model of AADL v0.99 (Balloted) AADL Architecture Specification AADL-Specification * (fro N m a N m a e m s e p s a p c a e ce) 1 0.. 1 1..* +globalNamespace AADL-Declaration Global-Namespace 1 +globalNamespace +/globalNamespace Package 1 {subsets namespace} (from Packages) Property-Set +/ownedDeclarations (from Property Sets) Global-Declaration {subsets ownedMember} 0..* Component-Classifier (from Component Classifiers) Port-Group-Type (from Port-Group Type) +context Anonymous-Namespace +ownedDeclarations Anonymous-Declaration 0.. 1 {subsets namespace} {subsets ownedM ember, 0..* +anonymousNamespace subsets member} Ann (f e ro x-m S p A e nn ci e fi x c e a s t ) ion 1
14
15
5
Copyright 2001-4. Absolute Software Co., Inc. 19 October 2004
BehaviorSpFeecaitfucrei-Mode (fro P m r o Pr p o e p r e ty rt -y S S e e t ts) Pr < o < p m e et r a t cl y a -s T s> y > pe (from Behavior) (from Feat a u t re o s n ) (from Modal Behavior) (from Property Type Defin...) Component-Instance-Specification Namespace Parameter-Specification Property-Definition (from Component Specification) (from Namespace) (from Subprogram Features) (from Property D efi nitions) Instance (from Instance Model) (from I P ns r t o a p nc e e rt y Model) Component-Classifier Port-Group-Type (from C om ponent Classifiers) (from Port-Group Type) Feature-Instance Component-Instance (from Feature Instances) (from Instance Model) Package (from Packages) System-Instance Subcomponent (from Instance Model) (from Instance Model)
UML Domain Model of AADL v0.99 (Balloted) Core Concepts Element Named-Element (from Element) (from Namespace)
Namespace Extensible-Element (from Namespace) (from Extensible & Redefinable Elements) (fr P o r m o p Pr e o r p t e y r -t D y e D f e i f n i i n t i i t i o o n ns) +definition Component-Classifier +definingClassifier /+ category : Component-Category 0 { .. s * ubsets namespace} +defi dProperties ne {subsets properties 0 * subsets ownedMember} +definingClassifier .. +definedFeatures {subsets namespace} 1 +/propertiesProperty-Specification {sub sets fe atur es {subsets member 0..* (from Properties-Specification) subsets ownedMember} 0..* deri ved union} 0..* +/inheritedProperties Feature-Specifcation +/features +/featuringClassifier {subsets properti es, (from Features) 0..* {sub sets memb ers {deriv ed uni o n} 1..* subsetsinhdeerriitveedd}Members, de rived u nion} ures 0.. * +/inheritedFeat {subsets features, subsets i nheritedMember, +definingClassifier de riv ed} 1 {subsets namespace} +definedflows {subsets flows, +definingClassifier 0.. * subsets ownedMember +definedAnnexes { bs 1 +/context {subs +/ et fl s o m w e s mber, Flow } su ets namespace} {subsets annexes, subse ts own edM ember} 0.. * 0..* s{usbusbeustnesitrosennl,aatdimeorenivsCpeoadn}ctee,xtsudbesrievtsedreulantiioonn}, 0.. n (from Flows) Annex-Subclause +/annexes+inheritedfl ows * (from Annexes) 0..* {subsets members, 0.. {subsets flows, .. +/inheritedAnn 0 * derivedunion}subsetsindheeririvteedd}Members, ex {subsets inheritedMembers, subsets annexes, deri ved}
Composite-Type Hardware-Type Software-Type
19
18
UML Domain Model of AADL v0.99 (Balloted) Components (cont.)
Component-Type
UML Domain Model of AADL v0.99 (Balloted) Component Types
The SAE AADL Standard: an Architecture OMG Model-Integrated Computing Workshop 2004, Analysis & Design Language for Embedded Edward Colbert & Peter Feiler Real-time Systems, Part 2
UML Domain Model of AADL v0.99 (Balloted) Component Types (cont.)
+rootAccessingClassifier+definedRequiredComponent Component-Type 0..1 subs{estusbsaectcsesnsaimngeCsplaacsesifier}{subsetsrequiredsCuobmseptsonoewntnse,dsMuebsmebtesr}definedFeatures,0.. * Co ( m fro po m n C e o nt m -I p n o s n t e a n n t c S e p -e S c p ifi e c c a i t f i i o c n a ) tion +/accessingClassifier +/requiredComponent 0..* {subsets namespace, derived union} {subsets members, subsets features, derived union} 0..* +/inheritedRequiredComponent {subsets requiredComponents, subsets inheritedMember, 0 * .. subsets inheritedFeatures, derived} +rootDefiningClassType +definedProvidedSubcomponent 0..1 {subsetsnamespace,subsetsprovidingClassifier}{subssuebtsseptrsovpirdoeviddSeudbFceoamtupreonsent, 0..* , subset s ownedMember} +/providingClassifier +/providedSubcomponent 0..* {subsets namesapce, derived union} {subsets member, subsets features, derived union} 0..* +/inheritedProvidedSubComponent {subsets providedComponent s, subsets inheritedMember, 0..* subsets inheritedFeature, derived}
20
UML Domain Model of AADL v0.99 (Balloted) Component Implementation on +definedConnections +definedBehaviors Behavior behaviors (fro C m o C n o n n e n c e ti ctions) 0..* s{usbusbestestsowconendneMcetimonbser}sub{ssuetbsseotwsnedMember} 0..* (from B ehavi or) +/connections +/inheritedConne tions ntai +/inheritedBehavior +/behaviors bsets member {subsetsmemobne,r,{subsetsinherit c edMember, +co ner +actor {subsetsinheritedMember{sduerivedunion} sduebrsiveetsdruenliaotin} 0..* derived}sub{sseutsbsectosnnnaecmtieonspCaocnte,ext}{subsetsnamespace}subsdetesrivbeedh}aviors 0..n * 0.. 1 0..* 1..* Component-Implementation +/connectionContext {subsets 1.. relationContext, * subsets namespace, union, derived}
+container +container + s / u i b n s h et e s r i i n t h e er d it S ed u M b e c m o be m rs ponent {subsets namespace} {subsets namespace} +/inheritedModes+/modes +/su { b su c b o se m ts p o m n em e b n e t r s {derivecoiopts 0..1 1 {subsseutbssienthsmodesderivedunion} subsets sub m onen eritedMember {subsets mem ber derived unio 0 n .. } * 0 * d un n} derived} .. 0..* 0 * .. Co ( m fro po m n C e o nt m -I p n o s n t e a n n t c S e p -e S c p ifi e c c a i t f i i o c n a ) tion + 0 o .. w * n { e su d b S se u t b s c s o ub m co p m o p n o e ne n n t t s s{su + b d se e t f s i n m e od d e M s ode 0. s .* (from Mo M da o l d B e ehavior) subsets ownedMember} subsets ownedMember} +requiredComponents 0.. *
Copyright 2001-4. Absolute Software Co., Inc. 19 October 2004