Trustworthy Software:Why we need it, Why we don´t have it, How we can get it

We have become increasingly dependent on a national technological fabric that contains software, computers, and communication networks as essential components. Unfortunately, our ability to build affordable software systems for which there exists compelling evidence that the systems delivers their services in a manner that satisfies certain critical properties has not kept pace with the importance that these systems play in our lives. There are five basic research issues that we must address if we are to advance our ability to build trustworthy software