Preventing the next software catastrophe
Software is getting more powerful every day, but also more dangerous. I'll tell you about some recent disasters due to software, and why our current approaches to software development don't prevent them. Then I'll outline a new approach that, rather than relying on expensive and difficult analysis, uses better design to make software safer.
Daniel N. Jackson is Professor of Computer Science and Margaret MacVicar Faculty Fellow at MIT Computer Science and Artificial Intelligence Laboratory