AADL User's Day Agenda Feb 2, 2009
Architecture Analysis & Design Language (AADL)
University of Southern California, Los Angeles, CA.

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

presentation, presentation

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

Center for System and Software Engineering Overview

presentation

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

Incremental Commitment Model  w AADL applicability

presentation, presentation

  • 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

presentation

  • 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.

presentation, presentation

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

Lunch

01:20-02:00

SPICES/ TOPCASED Industrial Research Programs with Example

presentation, presentation

  • 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

presentation, presentation

  • 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

presentation

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

Architectural Security Modeling with the AADL

presentation

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

Cyber-Physical Systems and AADL

presentation

  • Sandeep Gupta, ASU

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

 

Copyright © 2009 USC CSSE. All rights reserved.