Nanotecnología | Futuro | Avances tecnológicos | Software fiable y seguro

Software fiable y seguro (Software Assurance)

El pretigioso MIT identificó 10 tecnologías emergentes que cambiarán el mundo

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)






 





Más avances tecnológicos:
Le puede interesar:

10 avances alucinantes para los próximos 10 años

Estamos viviendo un momento muy emocionante en términos de ciencia y tecnología, en el que cosas que siempre hemos considerado ciencia ficción, se están convirtiendo en cosas normales de nuestro día a día.

10 avances tecnológicos que cambiarán el mundo para el año 2025

La tecnología está cambiando el modo en que vivimos nuestro día a día. Resulta emocionante imaginar qué nos deparará el futuro.

 


Lecturas relacionadas con nanotecnología




comments powered by Disqus
Compartir en Facebook
Twitter
Google
LinkedIn
Email