Skip to main content
Eine offizielle Website der Europäischen UnionOffizielle Website der EU
Weiter zur Homepage der Europäischen Kommission (öffnet in neuem Fenster)
Deutsch Deutsch
CORDIS - Forschungsergebnisse der EU
CORDIS
CORDIS Web 30th anniversary CORDIS Web 30th anniversary
Inhalt archiviert am 2024-05-18
ADVANCED SPECIALIZATION AND ANALYSIS FOR PERVASIVE SYSTEMS

Article Category

Article available in the following languages:

Hin zu einer neuen Generation des Pervasive Computing

Das ASAP-Projekt erbrachte mehrere Verfahren und Tools für die Entwicklung von komplizierten und zuverlässigen Softwaresystemen, die auf neuen Plattformen des Pervasive Computing einer neuen Generation entstehen sollen.

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)

Entdecken Sie Artikel in demselben Anwendungsbereich