Visible to the public Architecture, Execution, and (Spatio-Temporal) Virtualization

Breakout Lead: Joe Loyall

  • What are the fundamental limitations and knowledge barriers of today's high-confidence software platforms for cyber-physical systems?
  • What are the most important research challenges and who are the key stakeholders who are affected by these challenges?
  • What are promising innovations and abstractions for building future high-confidence software platforms for cyber-physical systems? What is the degree of maturity of these abstractions, i.e., how much more innovation and evolution is necessary before they will be suitable for use in production systems?
  • What are possible milestones for the next 5 to 10 years? In particular, what should the roadmap be for Federal technology R&D investments in cyber-physical systems?
  • If the entire real-time and cyber-physical technology base were being redone, what new technologies would be needed? What technologies should be thrown out?
  • What new and novel architectures are needed for future high-confidence software platforms for cyber-physical systems?
  • What is the role of virtualization in high-confidence software platforms for cyber-physical systems?

Participants:

  1. Brian Bershad
  2. Ken Birman
  3. Ray Bortner
  4. Jim Browne
  5. Jitender Deogun
  6. Peter Dibble
  7. Sebastian Fishmeister
  8. Chris Gill
  9. Steve Goddard
  10. Andy Kemp
  11. Edward Lee
  12. Phil Levis
  13. Nancy Lynch
  14. Klara Nahrstedt
  15. Doug Niehaus
  16. Gary Nutt
  17. Shangping Ren
  18. Narasimha Reddy
  19. Chitoor Srinivasan
  20. Carolyn Talcott