Crowd-Sourced Cyber
Abstract
The Crowd-Sourced Cyber program will develop crowd-sourced approaches for verifying the correctness of software systems. Coding errors are the root cause of many of the most serious security vulnerabilities in software systems. Program verification can reduce coding errors dramatically, but at an unacceptable development cost. Many core problems in code verification are undetectable by computers, so automation in and of itself cannot sufficiently reduce the cost enough to make program verification practical. The Crowd-Sourced Cyber environment will facilitate the mapping from the code/formal specification to the relevant components of the simulation. The Crowd-Sourced Cyber development environment will provide extensible and editable components and user interface items and will facilitate the automated inverse mapping that translates simulation results to code annotations. Crowd-Sourced Cyber is addressing one of the most vexing and long-standing problems in software development, and if successful will greatly increase the quality and security of software systems while reducing the cost.
Document Details
- Document Type
- Accomplishment
- Publication Date
- Oct 01, 2012
- Source ID
- 0b429062fadaf878bd7e486fcdc7544c