Jahresbericht informatik 2009 - KIT – Fakultät für Informatik

Die Institute der Fakultät und ihre Forschungsvorhaben
Spezifikation auf das Softwaredomänenmodell.
3. AutoAnnotator: Ermöglicht die automatische Annotierung impliziter Semantik zur korrekten
Interpretation natürlichsprachlicher Texte. Lediglich die Syntax in natürlichsprachlichen
Texten genügt nicht, um daraus korrekte Modelle zu erstellen. Hierfür ist
Semantik nötig, die heutzutage aber nur vom Menschen verstanden wird.
4. UML-Decider: Bei der Überführung von Elementen aus textuellen Spezifikationen in
UML-Modellelemente wird zusätzliches Wissen erzeugt, welches über Ontologien nutzbar
gemacht werden kann. Erste Arbeiten am UML-Decider zeigen, dass die Qualität
von automatisch erzeugten UML Modellen hierdurch stark verbessert werden kann.
5. UML-Creator: Automatisierte Erzeugung von UML-Modellen aus textuellen
Spezifkationen und deren annotierter Semantik.
6. UML-Feedback: Wenn im UML-Modell eines Softwareentwurfs etwas geändert wird, so
kann dies Auswirkungen auf die eigentliche Spezifikation haben
(löschen/ändern/hinzufügen von Elementen im UML-Modell). Diese Auswirkungen werden
automatisiert in den Spezifikationstext überführt.
Die Forschungsgruppe am Forschungszentrum Informatik (FZI)
Am FZI wurde im vergangenen Jahr ein strategisches Projekt zur Bilderkennung im
Straßenverkehr initiiert und Anfang 2010 gestartet. Ziel ist die Weiterentwicklung von
Verfahren zur Erkennung von Fahrzeugumgebung und Verkehrssituation. Im Mittelpunkt
steht dabei der Einsatz von Mehrkernprozessoren. Als Entwicklungsplattformen kommen
Intel x86 und Tilera Tile64 zum Einsatz. Das Projekt wird von vier verschiedenen
Abteilungen am FZI durchgeführt und hat eine Laufzeit von zwei Jahren.
JEOPARD - Java Environment for Parallel Realtime Development
(G. Szeder)
Im EU Forschungsprojekt JEOPARD wird eine plattformunabhängige Entwicklungsschnittstelle
für Echtzeitsysteme mit Mehrkernprozessoren entwickelt. Dabei werden alle
Schichten der Entwicklung abgedeckt: Von der Prozessorarchitektur über das echtzeitfähige
Betriebssystem und die virtuelle Maschine von Java bis hin zu Analysewerkzeugen.
Hierdurch wird es möglich, die zusätzliche Rechenleistung von mehreren Prozessorkernen
auch in Systemen mit harten Echtzeitbedingungen auszunutzen.
Im Rahmen des Projekts wird am FZI das Unit Testing-Rahmenwerk JUnit weiterentwickelt.
Damit soll auch das Testen von mehrfädigen Anwendungen unterstützt werden.
Die entwickelte Rahmenarchitektur verwendet Modelprüfungstechniken, um mehrfädige
Unit Tests in unterschiedlichen Abläufen auszuführen. So lassen sich
Nebenläufigkeitsfehler aller Art erkennen, ohne den Entwickler mit Meldungen über vermeintliche
Fehler abzulenken.
88