||The following participants are in the Architecture, Execution, and
(Spatio-Temporal) Virtualization breakout group led by Joe Loyall:
Some of the questions that we would like this breakout group to
- 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
- 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
- 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?