Ziel diese von der EU im fünften Rahmenprogramm geförderten Projektes AIT-WOODDES ist die Entwicklung von Methoden zur Spezifikation und Validierung eingebetteter Realzeitsysteme basierend auf der objektorientierten Beschreibungssprache UML.

Thematisch befasst sich WOODDES mit der Spezifikation, dem Entwurf sowie der Validierung von eingebetteten Realzeitsystemen. Eines der Hauptanliegen des Projektes ist die Verbesserung des Entwurfsprozesses, der Methoden sowie der eingesetzten Werkzeuge, so dass die Qualität der entwickelten sicherheitskritischen Produkte signifikant erhöht wird. Nur eine umfassende Überarbeitung der heute etablierten Prozesse wird es den industriellen Produktherstellern auch zukünftig ermöglichen, mit den immer komplexeren Fragestellungen in der Systementwicklung fertig zu werden.

Im zunehmenden Maße gewinnt UML (Unified Modeling Language), eine universelle Systembeschreibungssprache, an industrieller Bedeutung. UML umfasst eine Reihe unterschiedlicher objekt-orientierter Beschreibungsmethoden, die für unterschiedliche Entwurfsebenen und unterschiedliche Sichten auf ein System ausgelegt sind.Wesentliches Ziel von OFFIS innerhalb von WOODDES ist die Entwicklung eines ersten Prototypen zur automatischen formalen Verifikation von UML Statecharts. OFFIS baut für diese Arbeiten wesentlich auf Ergebnisse und Erfahrungen auf, die in den vergangenen Jahren in diversen nationalen und internationalen Projekten gewonnen wurden, in denen Fragen der Verifikation schon eine entscheidende Rolle spielten. Neu ist in WOODDES der Fokus auf objektorientierte Systeme mit Realzeiteigenschaften, die vielfältige neue Herausforderungen bereit halten.