Architecting to the Edge Agenda
Wednesday April 25, 2007

• 0900-0930 Introduction, Joe Bergmann
• 0930-1030 MOSA, Glen Logan
• 1030-1100 Break
• 1100 - 1230 MOSA (Continued) Glen Logan Architecting
• 1230 - 1400 Lunch
• 1400 - 1430 AADL Multi-Dimensional, Multi-Fidelity Analysis, Peter Feiler(SEI), Bruce Lewis, US Army
• 1430 - 1530 RT Distributed System Building from AADL Specs with Demo, Laurent Pautet(ENST)
• 1530 - 1600 Break
• 1600 - 1700 TOPCASED and AADL, An Open Source Qualified Toolset for Dependable Systems Pierre Gaufillet (Airbus)
• 1700 - 1730 Security Analysis with AADL - Jorgen Hansson (Software Engineering Institute)
• 1730 - 1800 Model Checking AADL Specifications with Alloy – Dionisio de Niz (SEI)

return to program