Programación avanzada para sistemas distribuidos y móviles
El proyecto MIKADO, enfrentado a la iniciativa informática global, se centró en exceder las limitaciones actuales del software de conectividad (o middleware) y de tecnologías de programación comunes. Entre estas limitaciones se incluyen las interacciones y la visión limitadas de componentes y objetos así como las dificultades para apoyar de modo adecuado y uniforme la movilidad, la predictabilidad, la seguridad y la tolerancia de error. Otro aspecto importante es la receptividad del sistema a la investigación para la verificación, la validación y las pruebas del modo más exacto. Con esta motivación, el proyecto especificó y desarrolló prototipos de modelos innovadores para la especificación y la programación de sistemas móviles altamente distribuidos. El objetivo fundamental era emplear las nuevas herramientas y técnicas con el fin de aumentar la fiabilidad y la seguridad de los sistemas para resolver cuestiones de fiabilidad y seguridad. Se generaron una serie de modelos y técnicas de análisis rigurosos así como una infraestructura de software y aparatos virtuales. Uno de los modelos de programación nuevos, el ULM, permite al usuario trasladarse de la programación funcional que resulta de funciones matemáticas a la programación, la distribución y la movilidad reactivas. Incorporado en el lenguaje de programación multiparadigma Scheme que apoya la programación funcional, incluye un compilador y un aparato virtual para su implementación. Para más información, consulte: http://mikado.di.fc.ul.pt/