Proposed Agenda 28 January – 1 February 2008

• Monday 0900 - 1800 – Research Day Presentations
  • Focus on the tools and techniques appropriate for achieving high confidence in security, safety, and mission/business critical application domains.
• Tuesday 0800 - 1800 –  Dependability through Assuredness
  • Morning Plenary and afternoon Breakout Sessions with a focus on the use of Formal Methods Tools
• Wednesday 0800 -1730 – Towards High Assurance Solutions
  • From definitions through certification – definitions, concepts, architectures
• Wednesday Evening 1900 - 2130 – Towards High Assurance Solutions
  • WG planning for 2008
• Monday - Wednesday – JSR 302 SC Java Technology Expert Group
  • A potential parallel session with the above
• Thursday 0800-1730 – Architecting to the Edge plus ADML to AADL
• Thursday Evening 1900 - 2130 – Cont’d Architecting to the Edge plus ADML to AADL
• Friday 0800- NLT - 1100 Hours – RTES Forum meeting Planning for 2008