Hacia una nueva generación de computación ubicua
Los recientes avances del sector electrónico, en particular las tecnologías inalámbricas e Internet, han dado lugar a la aparición de la computación ubicua. Al integrar la informática en el entorno, la computación ubicua emplea equipos informáticos ubicuos interconectados que no son ordenadores personales. Estos equipos son extremadamente pequeños, incluso invisibles y pueden ser móviles o estar integrados en cualquier objeto, ya sea en vehículos, herramientas, aplicaciones, bienes de consumo e incluso organismos vivos. Teniendo en cuenta las necesidades industriales de cara a optimizar los costes de desarrollo, la fiabilidad y el plazo de comercialización, el proyecto ASAP se centró en la generación automatizada y la validación de sistemas especializados a partir de otros generales. Por tanto, las técnicas de desarrollo y validación de sistemas pueden cumplir los requisitos para el uso de aplicaciones inteligentes orientadas al usuario que son capaces de funcionar en equipos con escasos recursos informáticos. Este enfoque permite aumentar la productividad y la fiabilidad de las técnicas de ingeniería informática actuales sin desperdiciar recursos informáticos. El proyecto ASAP dio como resultado el desarrollo de un juego de herramientas genérico que está disponible en línea y que incluye el PreProcesador de Ciao (CiaoPP), que es el preprocesador basado en la interpretación abstracta del entorno multiparadigma de desarrollo de programas de Ciao. Estas herramientas realizan una serie de tareas de depuración de programas, análisis y transformación de fuente a fuente sobre programas en Prolog (programación lógica). Entre los usuarios potenciales del CiaoPP se encuentran investigadores que realizan análisis de programas basados en interpretaciones abstractas y usuarios que pueden utilizar esta herramienta para depurar, verificar, optimizar y certificar sus programas. Para más información, haga clic en: http://clip.dia.fi.upm.es/Projects/ASAP/(se abrirá en una nueva ventana)
