Vers une nouvelle génération d'informatique omniprésente.

Les récentes avancées en matière d'électronique, notamment les technologies sans fil et Internet, ont conduit à l'émergence d'une informatique dite omniprésente. Intégrant l'informatique à l'environnement, l'informatique omniprésente utilise une multitude de dispositifs informatiques interconnectés qui ne sont pas des ordinateurs personnels. Ces dispositifs sont extrêmement petits, voire invisibles, et peuvent être soit mobiles, soit intégrés dans n'importe quel objet, y compris les voitures, les outils, les appareils électroménagers, les biens de consommation et même les organismes vivants.

Tenant compte des besoins industriels en matière d'optimisation des coûts de développement, de fiabilité, et de délai de commercialisation, le projet ASAP s'est fixé pour objectif la génération et la validation automatiques des systèmes spécialisés à partir des systèmes génériques. Ainsi, les techniques de développement et de validation des systèmes peuvent répondre aux besoins en matière d'applications intelligentes et orientées utilisateurs capables de fonctionner sur des dispositifs disposant de ressources de calcul réduites. Cette approche permet d'augmenter la productivité et la fiabilité des techniques actuelles d'ingénierie logicielle sans gaspillage des ressources de calcul.

Le projet ASAP a permis la mise au point d'une trousse à outils générique qui est disponible en ligne et inclut le préprocesseur Ciao (CiaoPP). Le CiaoPP est le préprocesseur à base d'interprétations abstraites de l'environnement de développement du programme multi-paradigmes Ciao. Cet outil effectue un certain nombre de tâches de débogage, d'analyse et de transformation source-à-source sur les programmes Prolog. Parmi les utilisateurs potentiels du CiaoPP figurent des chercheurs dans le domaine de l'analyse des programmes à base d'interprétation, et des utilisateurs pour qui cet outil peut servir au débogage, à la vérification, à l'optimisation et à la certification des programmes qu'ils utilisent. Pour en savoir plus, cliquez sur: http://clip.dia.fi.upm.es/Projects/ASAP/