AADL OMG MIC '04 Tutorial Part 2

Ed Colbert

Description

‰‰‰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 [e-mail]@usc.edu 412-268-7790(213) 284-6622--------------Absolute Software Co., [e-mail][phone]Copyright 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 ...

Informations

• Publié par: Ardoo
• Nombre de lectures: 41
• Langue: Norwegian

Extrait

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  [e-mail] ec (2 ol 1 b 3 e ) r   t 2 @ 84 u - s 6 c 6 .e 2 d 2 u 412-268-7790 -------------- Absolute Software Co., Inc. [e-mail] [phone]

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 re AADL  . UML Profile  UML 1.4 Safety Detailed design Dependability UML-RT Performance RT Schedulin

Peter Feiler of the Software 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 meta–constructs – 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 re–creating architecture in software development tools ‰ System integrators should have easier time integrating – Software components generated by UML tools, or hand–code 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

Core Concepts

13

Annexes global

4

dE  , drawloC treb P &eretei Frle etrgtadeC moupitng Workshop 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

Behavior Sp F e e c a i t f u c re i - 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)

itemS syetsm ,aPrt 2 OMG Model-In ngisnaL gaugof eEmr ddbe  R ed l-ea  nrA:da ceuthcti naly re  A& Desis   ehTDLAAE SAarndta S

oStfawerC .o ,nIc. 19 October 200 reli poC 6 giry2 th1-00 A4.olbse ut 4 GMO 2 doM  P ,s traSye emstalReim-t bmdeed degf roE n Langua & DesigeF reteP & treblCod ardw   E 4,00 2hspooWkrni gpmtud Coratentegel-Ie urctte isysalAn  :dradnaihcrA na SAETheL St AAD

UML Domain Model of AADL v0.99 (Balloted) System Instance Component-Implementation +ownedInstance (from Component Implementations) subsets ownedMem { 0 be * r} +implementation 0.. 1 .. Instance +owningInstance {subsets namespace} 0..1 Component-Type (from Component Types) +type 0..1 +instance +instance 0.. * Feature-Instance Component-Instance 0..* (from Feature Instances) Property + category : Component-Category +instance +specification Component-Instance-Specification 0..* 1 (from Component S pecification) +instance 0.. +instance 0..* * +featureSpecifcation 1 + 1 specification Feature-Specifcation Property-Specification on (from Features) (from Properties-Specification) Subcomp ent System-Instance +accessableSubcomponent 0..*

17

16

(fro N m a N m a e m s e p s a p c a e ce) (from Exten E s x i t b e le n   si & b   l R e e - d E e l fi e n m ab e l n e t  Elements) Component-Classifier

Component-Type +type Realization +realization  +implementation Component-Impl ementation ensible & Redefi ements 1 {subsets parent,  {subsets child 1 (from Component Types) 1 {subsets target} (from Ext nable El ) subsets ownedElement}  subsets owner} (from Component Implementations)

UML Domain Model of AADL v0.99 (Balloted) Components

0420r be eretei Fr 7 le pyCohgir02 t4-10bA .solute Software oC,.I cn 1 .  9cOot

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 +/properties Property-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..* subsets inh d e e r r i i t v e e d d} 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 { u s b u s b e u s t n e s i t  r o s  e n n l , a   a t d i m e o r e n iv s C p e o a d n } c t e e , xt su d b e s ri e v ts e   d r   e u la n t i i o o n n } , 0.. n (from Flows) Annex-Subclause +/annexes +inheritedfl ows * (from Annexes) 0..* {subsets members, 0.. {subsets flows, .. +/inheritedAnn 0 * derived union}subsets in d h e e ri ri v t e e d d } 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

System-Type Bus-Type  Memory-Type Data-Type  Subprogram  Thread-Group-Type -Type Device-Type Processor-T ype Process-Type Thread-Type

G OMdeMoInl-grtedetamoC itupW gnorkshop 2004,  EdawdrC loebtr& P s silynagnsiDe& gaugnaL mE rof eed  R bedd timeeal-etsmS sytr2  ,aP e ThE SAdnra:da AALDS atecture  A n Archit

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 { e s t u s b   s a e c t c s e   s n s a i m ng e C sp la ac s e sifier} {subsets required s C u o b m se p ts o   n o e w nt n s e ,  d s M u e bs m e b t e s r   } 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 {subsets namespace, subsets providingClassifier} {sub s s u e b ts s   e p t r s o   v p i r d o e vi d d S e u d b F c e o a m tu p re on s ent, 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 { u s b u s b e s t e s t   s o   w co ne n d ne M c e ti m on b s er} sub { s su et b s s   e o t w s  nedMember} 0..* (from B ehavi or) +/connections +/inheritedConne  tions  ntai  +/inheritedBehavior  +/behaviors bsets member {subsets mem o b n e , r, {subsets inherit c edMember, +co ner  +actor {subsets inheritedMember {s d u erived union} s d u e b r s iv e e ts d     r u e n l i a o ti n} 0..* derived} sub { s s e u ts bs   e c t o s n   n na ec m ti e on sp C a o c nt e, ext} {subsets namespace} subs d et e s ri   v b e e d h } 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 { derive co io pts 0..1 1 {subs s e u t b s  s i e n t h s modes derived union} 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

21

8

Arch an ard:tandLDS  EAA eAShT guan LgnsiDe& s isylanA  erutceti me Syste   Real-ti mEebdddega eof r atgr Cedl-deteInMO 2  oM G  ,smtraP 40 , p02 drC dEaw tingompuksho Wor oC 9 relie  thgiryp  &rtbeol Feret P S fowtra eoC,.I 2001-4. Absolute 40 . 1 nc Oc9 beto20r 

UML Domain Model of AADL v0.99 (Balloted) Ports +/complementaryBasicPortSpec {subsets complementaryPortSpecification, 0..* Basic-Port-Specification derived, ordered}  + di rection : Port-Direction +/equivalentBasicPortSpecification {subsets equivalentPortSpecification 0..* derived, ordered}

Event-Data-Port-Specification

23

Provide-Feature Required-Subcomponent-Access Parameter-Specification Subprogram-Specification (from Subprogram Features)  (from Subprogram Features) Port-Specification Provided-Subcomponent-Specification (from Ports & Portgroups) (from Subcomponent Access Feature) 22

Port-S e  Data-Port-  ata-Type Event- p cification  Specification * +type 1 (from C D omponent Types)

UML Domain Model of AADL v0.99 (Balloted) Feature Redefi nable-Element (from Extensible & Redefinable E lements) +/property {subsets appliedProperty union +featureRedefinition F * ordered} eature-Specifcati on 0.. {subsets redefinition} 0..* +definingFeature +definedFeaturePropertySpec  Property-Specification {subsets definingElement}  {subsets definedPropertySpecification (from Properties-Specification) +redefinedFeature 0.. 1 ordered} 0..* {subset redefinedElement} 0..1