Skip to main content

ADVANCED SPECIALIZATION AND ANALYSIS FOR PERVASIVE SYSTEMS

Article Category

Article available in the folowing languages:

Hacia una nueva generación de computación ubicua

El proyecto ASAP dio como resultado una serie de técnicas y herramientas que permiten el desarrollo de sistemas informáticos sofisticados y fiables con vistas a crear una nueva generación de plataformas de computación ubicua.

Economía digital

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/

Descubra otros artículos del mismo campo de aplicación