isis logo
High-Confidence Software Platforms for
Cyber-Physical Systems (HCSP-CPS)
Workshop
November 30 – December 1, 2006 ~ Alexandria, Virginia 

 
 
 
 
 
 

















































Question or Comment
Contact: Eric Hall
Last updated: November 15, 06

The following participants are in the Architecture, Execution, and (Spatio-Temporal) Virtualization breakout group led by Joe Loyall:
  • Brian Bershad
  • Ken Birman
  • Ray Bortner
  • Jim Browne
  • Jitender Deogun
  • Peter Dibble
  • Sebastian Fishmeister
  • Chris Gill
  • Steve Goddard
  • Andy Kemp
  • Edward Lee
  • Phil Levis
  • Nancy Lynch
  • Klara Nahrstedt
  • Doug Niehaus
  • Gary Nutt
  • Shangping Ren
  • Narasimha Reddy
  • Chitoor Srinivasan
  • Carolyn Talcott
Some of the questions that we would like this breakout group to address include:
  1. What are the fundamental limitations and knowledge barriers of today's high-confidence software platforms for cyber-physical systems?

  2. What are the most important research challenges and who are the key stakeholders who are affected by these challenges?

  3. 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?

  4. 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?

  5. 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?

  6. What new and novel architectures are needed for future high-confidence software platforms for cyber-physical systems?

  7. What is the role of virtualization in high-confidence software platforms for cyber-physical systems?