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. |
