||The following participants are in the Programming and Synthesis,
Hardware, and Software breakout group led by Kevin Sullivan:
Here are some of the questions that or breakout group has been charged
- Robert Baillargeon
- Amitava Biswas
- Albert Cheng
- Nikil Dutt
- Sandro Forin
- Geri Georg
- Bill Harrison
- Johannes Helander
- Alan Hevner
- Suresh Kothari
- Francis Leung
- Rich Linger
- Rabi Mahapatra
- Michael Melliar-Smith
- Frank Mueller
- Indrakshi Ray
- Shige Wang
- Yuan Xie
- Shouhuai Xu
- 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 in programming
and synthesis, hardware, and software 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
- What new and novel programming and synthesis, hardware, and
software architectures are needed for future high-confidence software
platforms for cyber-physical systems?
- What is the role of programming and synthesis in high-confidence
software platforms for cyber-physical systems?