Software seguro y fiable (SOFTWARE ASSURANCE RESEARCHER PROJECT)

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 developmentFuente: Technology Review (MIT)