[aadl]: User Day presentations from Feb 2009 AADL meeting

[Peter Feiler]

Dear all,

The presentations from the Feb 2009 User day are available at
www.aadl.info/downloads/committee/Feb2009Public.zip

The agenda was as follows:
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 
-	Windsor 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,  CSSE
04:00-04:30 -   Architectural Security Modeling with the AADL   - Jorgen Hanssen, SEI