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

  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 programming and synthesis, hardware, and software architectures are needed for future high-confidence software platforms for cyber-physical systems?

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