AADL Users Day Agenda Feb 2-5, 2009
Architecture Analysis & Design Language (AADL)
University of Southern California, Los Angeles, CA.

Feb 2 , Feb 3 , Feb 4 , Feb 5

Monday, Feb 2, 2009

User Day Presentations, Tool Demos, and Research Program Reports
Interaction with the Center for Systems and Software Engineering (CSSE), USC

08:30-09:00

AADL Overview – Standard, Language and Projects

  • Bruce Lewis, US Army RDEC
09:00-09:20

Center for System and Software Engineering Overview

  • Nenad Nedvidovic, Director CSSE, USC
09:20-10:00

Incremental Commitment Model  w AADL applicability

  • Winsor Brown, Assistant Director CSSE with Ed Colbert on AADL
10:00-10:30

Break

10:30-11:00

Model Based Architectural Verification and Validation

  • Peter Feiler, SEI
11:00-12:00

System Architecture Virtual Integration (SAVI) Project Interim Demonstration.  AVSI, aviation industry consortium of Boeing, Airbus, Lockheed Martin, BAE Systems, GE, Rockwell Collins, FAA, DoD, and SEI demonstrating feasibility of model based acquisition and virtual integration with incremental, multi-dimensional quantitative modeling and analysis.

  • Peter Feiler, SEI
12:00-01:20

Lunch

01:20-02:00

SPICES/ TOPCASED Industrial Research Programs with Example

  • Pierre Gaufillet, Airbus, Pierre Dissaux, Ellidis
02:00-02:30

Flex-eWare Industrial Program Report – High Level Subset AADL Modeling with AADL generation, also CCM front end, then to tool chain processing of full AADL models through OCARINA, C/RT-POSIX generation

  • Jerome Hugues, TELECOM ParisTech, Thomas Vergnaud, Thales, Pierre Dissaux, Ellidiss
02:30-03:00

OCARINA – AADL Code Generation for Embedded and Distributed Systems

  • Jerome Hugues, TELECOM ParisTech
03:00-03:30

Break

03:30-04:00

Architectural Modeling with Uncertainty

  • Nenad Nedvidovic, Director CSSE
04:00-04:30

Architectural Security Modeling with the AADL

  • Jorgen Hanssen, SEI  
04:30-05:00

Additional Discussion, questions on Presentations - SAVI, Model Based Engineering, AADL, ICM

 

Tuesday, Feb 3, 2009 

08:30-10:00

ARINC 653 Annex and Examples

  • Julien Delange, Peter Feiler, SEI
10:00-10:30

Break

10:30-11:00

STOOD toolset and Adele Graphical Interface Progress

  • Pierre Dissaux, Ellidis
11:00-11:30

OSATE V2 Progress report and Demo

11:30-12:00

MetaModel Annex

12:00-01:30

Lunch

01:30-02:00

News and Review of Last meeting’s Actions/Notes

  • Bruce Lewis, AMCOM
02:00-02:30

V2 issues (any discovered)

02:30-03:00

TTA and AADL Discussion – Expressing semantics –

  • Peter Feiler, SEI, Mirko Jakovijevic, TTech
03:00-03:30

Break

03:30-04:00

Using AADL V2 tutorial

  • Peter Feiler, SEI
04:00-05:30

Training AADL

Any extra time during the schedule will be used to start the Exploring AADL Modeling of a SysML example.

 

Wednesday, Feb 4, 2009

08:30-09:15

MARTE/AADL Annex Presentation, Issues, Examples

  • Madeleine Faugere, Thales
09:15-10:00

Start Exploring AADL Modeling of a SysML Example

  • Peter Feiler, SEI
10:00-10:30

Break

10:30-12:00

Behavior Annex Review and Examples

  • Pierre Dissaux, Ellidiss, Mamoun Filali, IRIT
12:00-01:30

Lunch

01:30-02:00

Data Modeling Annex Informal Ballot Comments

  • Jerome Hugues, TELECOM ParisTech
02:00-03:00

Programming  Annex   - Review and Examples

  • Jerome Hugues, TELECOM ParisTech, Thomas Vergnaud, Thales
03:00-03:30

Break

03:30-04:30

Exploring early verification and validation and prototyping with AADL/MBE SAVI Demonstration

 
  • Informal disscussion with Barry Boehm, Director Emeritus CSSE, and Peter Feiler, SEI
04:30-05:30

Integrating Simulink components into AADL generation Semantic refinement discussion

  • Jerome Hugues, TELECOM ParisTech

 

Thursday, Feb 5, 2009

08:30-09:15

Planning for April 27030 meeting at ESA

09:15-10:00

Exploring AADL Modeling of a SysML Example

  • Peter Feiler, SEI

 (Developed in session, exploring overlap, commonality)

10:00-10:30

Break

10:30-12:00

Exploring AADL Modeling of a SysML Example Continued

  • Peter Feiler, SEI
12:00-01:00

Lunch

01:00-07:00

Afternoon – Temecula Wine Tasting Tour then dinner at winery. Please send reservation soon to Bruce so we make sure that we have enough transportation. We will visit 3-4 wineries. Total tasting cost estimated $25 + dinner. May also share transportation costs around $30

      

 

 

Copyright © 2009 USC CSSE. All rights reserved.