Programming and Synthesis, Hardware, and Software

Submitted by Katie Dey on Tue, 08/18/2015 - 3:41pm

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: