Dependability through Assuredness™

Track Agenda sponsored by the RTES Forum
 19-21 October 2009

Monday 19 October
1400-1730

• 1400-1530 Introduction to the RTES Forum and Activities - Joe Bergmann, The Open Group
• 1500-1530 Break
• 1600-1700 Dependability through Assuredness from a Japanese Perspective - Jack Fujieda, Re-GIS
• 1700-1730 Discussion – Joe Bergmann et al.

Tuesday 20 October
0900-1700

• 0900-1000 From A descriptive Enterprise Architecture to a prescriptive Architecture at the Platform Level (TOGAF to AADL) -    Ed Roberts, Elparazim
• 1000-1045 SAE Architecture Analysis & Design Language (AADL) - a short introduction, Bruce Lewis, Chairman, AADL Standardization Committee
• 1045-1100 Break
• 1100-1200 Modular Open Systems Approach (MOSA) - Glen Logan, Forum Chair
• 1200-1230 The OSA Pocket Guide - Glen Logan, Forum Chair
• 1230-1400 Lunch
• 1400-1500 “seL4: Formal Verification of an OS Kernel”  Dr.Gerwin Klein, National ICT Australia        
• 1500-1530 Break
• 1530-1700
  • MILS Integration - Rance DeLong, LynuxWorks
  • Compositional Certification - Rance DeLong for John Rushby SRI
  • Cyber-Physical Systems - Rance DeLong
  • Standardization - Joe Bergmann
  • Commercial Approach to Evaluation, Certification & Accreditation of High Robustness Security Products idea & feed-back from NSA, NATO NC3 Board Co-Chairs,NC3A, EC, NCSA, EDA, & NSC discussions - Joe Bergmann

Wednesday 21 October
0900-1230

• 0900-1000 Secure Mobile Architecture - Steven Venema, Boeing
• 1000-1030 Break
• 1030-1130 Cyber Security and SCADA - Joe Weiss, Applied Control Solutions
• 1130-1230 Going Forward, Joe Bergmann et al.