Skip directly to: content | search

ExCAPE: Expeditions in Computer Augmented Program Engineering

While the benefits of the ExCAPE approach will apply broadly to software development, to understand the viability and roadblocks for the proposed approach, the ExCAPE team will focus its efforts by initially targeting four challenge problems.  These problems are representative of the complexity of modern cyber-physical systems on networked multi-core platforms.  These include: