Software seguro y fiable (Software Assurance). Los ordenadores se averían - es un hecho ya contrastado por la experiencia diaria. Y cuando lo hacen, suele ser por un virus informático. Cuando se trata de un sistema como control aéreo o equipos médicos, el coste de un virus pueden ser vidas humanas. Para evitar tales escenarios, se investigan herramientas que produzcan software sin errores. Trabajando conjuntamente en MIT, investigadores Lynch y Garland han desarrollado un lenguaje informático y herramientas de programación para poder poner a prueba modelos de software antes de elaborarlo.

Ficha: SOFTWARE ASSURANCE RESEARCHER PROJECT

• Gerard Holzmann (Bell Labs) Software to detect bugs in networked computers
• Charles Howell (Mitre) Benchmarks for software assurance
• Charles Simonyi (Intentional Software) Programming tools to improve software
• Douglas Smith (Kestrel Institute) Mechanized software development
  

Fuente: Technology Review (MIT)