Programming and Synthesis, Hardware, and Software
Breakout Lead: Kevin Sullivan
Here are some of the questions the breakout group has been charged to address:
- 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 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 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?
Participants:
- 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