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
|
| 09:00-09:20 | Center for System and Software Engineering Overview
|
| 09:20-10:00 | Incremental Commitment Model w AADL applicability
|
| 10:00-10:30 | Break |
| 10:30-11:00 | Model Based Architectural Verification and Validation
|
| 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.
|
| 12:00-01:20 | Lunch |
| 01:20-02:00 | SPICES/ TOPCASED Industrial Research Programs with Example
|
| 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
|
| 02:30-03:00 | OCARINA – AADL Code Generation for Embedded and Distributed Systems
|
| 03:00-03:30 | Break |
| 03:30-04:00 | Architectural Modeling with Uncertainty
|
| 04:00-04:30 | Architectural Security Modeling with the AADL
|
| 04:30-05:00 | Cyber-Physical Systems and AADL
Additional Discussion, questions on Presentations - SAVI, Model Based Engineering, AADL, ICM |
