Hin zu einer neuen Generation des Pervasive Computing
Durch die aktuellsten Weiterentwicklungen in der Elektronikbranche, vor allem bei den drahtlosen Technologien und dem Internet, ist das neue Pervasive Computing entstanden. Durch die Integration von Computern in das Umfeld ist das Pervasive Computing allgegenwärtig und nutzt miteinander verbundene Rechner, die keine PCs sind. Diese Geräte sind äußerst klein bis unsichtbar und können entweder mobil oder in einen jeglichen Gegenstand wie Autos, Werkzeuge, Geräte, Verbrauchsgüter und selbst lebende Organismen eingebettet sein. Mit Blick auf den industriellen Bedarf an einer optimierten Kostenentwicklung, Zuverlässigkeit und Vermarktungszeit ging es bei dem ASAP-Projekt um die automatisierte Entwicklung und Validierung von spezialisierten Systemen aus allgemeinen Systemen heraus. So können die Systementwicklungs- und Validierungsverfahren den Anforderungen von intelligenten, benutzerorientierten Anwendungen entsprechen, die in Geräten mit eingeschränkten Rechenressourcen funktionieren. Dieser Ansatz gestattet eine verbesserte Produktivität der aktuellen Softwareentwicklungsverfahren, ohne dass Rechenressourcen verschwendet werden. Das ASAP-Projekt führte zur Entwicklung eines online verfügbaren generischen Instrumentensatzes, zu dem der Ciao-Präprozessor (CiaoPP) gehört. Der CiaoPP ist der abstrakte, interpretationsbasierte Präprozessor der Entwicklungsumgebung des Multiparadigmenprogramms von Ciao. Dieses Tool führt mehrere Fehlersuchaufgaben in Programmen sowie Analysen und Source-to-Source-Transformationen auf Prolog-Programmen aus. Zu den potenziellen Nutzern des CiaoPP gehören Forscher auf dem Gebiet der abstrakten, interpretationsbasierten Programmanalyse und solche Benutzer, die dieses Tool zur Fehlersuche, Verifizierung, Optimierung und Zertifizierung ihrer Programme verwenden möchten. Weitere Informationen erhalten Sie unter: http://clip.dia.fi.upm.es/Projects/ASAP(öffnet in neuem Fenster)
