Visible to the public 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:

  1. Robert Baillargeon
  2. Amitava Biswas
  3. Albert Cheng
  4. Nikil Dutt
  5. Sandro Forin
  6. Geri Georg
  7. Bill Harrison
  8. Johannes Helander
  9. Alan Hevner
  10. Suresh Kothari
  11. Francis Leung
  12. Rich Linger
  13. Rabi Mahapatra
  14. Michael Melliar-Smith
  15. Frank Mueller
  16. Indrakshi Ray
  17. Shige Wang
  18. Yuan Xie
  19. Shouhuai Xu