Real-time & Embedded System Forum (RTES) Agenda

Printer-friendly versionSend by emailPDF version

Monday, July 21, 2014 (1400-1730)

Real-Time & Embedded System Forum Member Meeting

Dependability through Assuredness™ Standard/TOGAF™
– O-DA Team meeting Jack Fujieda/Ed Roberts/ Bill Brierley, et al
This session will address the future evolution of the Dependability through Assuredness™ Standard (O-DA)

Tuesday, July 22, 2014 (1400-1730)

Real-Time & Embedded System Forum Member Meeting

14:00 - 15:00 Modeling Demo for use with O-DA – Chris Armstrong, President Armstrong Process Group, Inc

Industry Sector Applications with a requirement for Dependability
15:00 - 16:00 Medical – Paul F Thompson, Director. Global Commercial Healthcare/ Life Sciences Strategy and Business Development, HP
16:00 - 16:15 Break
16:15 - 17:30 Discussion other sectors – Aerospace, Telecommunication, etc  – Joe Bergmann, TJ Verdi, et al.

Wednesday, July 23, 2014 (0900-1730)

Real-Time & Embedded System Forum Member Meeting

09:00 - 10:00 An Integrated Approach to High Assurance Security and Safety – Safety – William Young/John Thomas, MIT
10:00 - 10:45 Open Architecture and Cybersecurity – Nickolas Guertin, US Navy - DASN RDT&E
10:45 - 11:00 Break
11:00 - 11:45 An Approach to Developing High Assurance (MILS) Applications – Julien DeLange, CMU SEI
11:45 - 12:30 Assurance of COTS Software towards Mathematical Validation – Victor Yodaiken, Finite State Research
12:30 - 14:00 Lunch
14:00 - 17:30 Mils™ and Mils API Standardization – Rance DeLong/Paul Chen
Going forward with a set of APIs

Thursday, July 24, 2014 (0900-1130)

Real-Time & Embedded System Forum Member Meeting

RTES Forum Members/By Invitation Only Meeting

  • EC Projects Update
  • RTES Forum Future Projects

 

Information current as of 15 July 2014 and is subject to updating.
Note: Real-Time & Embedded System Forum Meeting – Sessions are Open Except Thursday Morning