Dissemination
- Workshops
- Past Workshops
- Schools and Seminars
- International Collaboration
- Publications
- Contributions to Standards
- Course Materials Available Online
UML&AADL’2011
| April 27th, 2011 Las Vegas, USA (in conjunction with ICECCS 2011) | sponsored by Artist organised with Artist partners |
Programme and Slides
09:15 - 10:15 Keynote: Kevin L. Moore, Colorado School of Mines
Consensus in Networks: Coordination and Control of CyberPhysical Systems from Unmanned Vehicles to Energy-Efficient Buildings
Keynote: Robert France, Colorado State University
The Repository for Model Driven Development (ReMoDD Project)
10:15 - 10:25 COFFEE BREAK
10:25 Presentation of the UML&AADL workshop
10:30 Presentation of a collective work on UML&AADL
11:00 - 12:00 SESSION 1
- Gilles Lasnier, Lutz Wrage, Jerome Hugues and Laurent Pautet:
An Implementation of the Behavior Annex in the AADL-toolset Osate2 - Stéphane Rubini, Frank Singhoff and Jérôme Hugues.
Modeling and verification of memory architectures with AADL and REAL
12:00 - 13:30 LUNCH
SESSION 2
- Zhibin Yang, Kai Hu, Jean-Paul Bodeveix, Lei Pi, Dianfu Ma and Jean-Pierre Talpin.
Two Formal Semantics of a Subset of the AADL - Alexey Khoroshilov, Igor Koverninskiy, Alexander Petrenko and Alexender Ugnenko.
Integrating AADL-based Tool Chain into Existing Industrial Processes - Stefan Björnander, Cristina Seceleanu, Kristina Lundqvist and Paul Pettersson.
ABV – A Verifier for the Architecture Analysis and Description Language (AADL)
15:00 - 15:30 COFFEE BREAK
SESSION 3
- Myron Hecht, Alexander Lam and Chris Vogl.
A Tool Set for Integrated Software and Hardware Dependability Analysis Using the Architecture Analysis and Design Language (AADL) and Error Model Annex - Adedjouma Morayo, Dubois Hubert and Terrier François.
Requirements Exchange: from Specification Documents to Model
(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009