|
YMo
Projektstart: 01.10.2008
YMo beschäftigt sich mit der Korrektheit und Sicherheit von Anwendungen für Handys. Dabei soll das Open Source Betriebssystem Android eingesetzt und erweitert werden.
Betreuer: Rolf Drechsler, Görschwin Fey, Christian Genz, Daniel Große
SPEED
Projektstart: 01.10.2006
 Das Projekt SPEED beschäftigt sich mit der SPEzifikation und der darin Eingebetteten Dokumentation von Systemen. Es soll der Entwicklungsablauf von Eingebetteten Systemen mit dem Fokus auf Spezifikation und Dokumentation untersucht werden. Insbesondere soll dabei die Erarbeitung und Implementierung neuer Techniken im Vordergrund stehen.
Ein mögliches Ziel ist es einen Entwurfsablauf zu entwickeln, der automatisch aus einer natürlich-sprachlichen Eingabe das System, sowie die zugehörige Dokumentation erzeugen kann.
Betreuer: Rolf Drechsler, Görschwin Fey und Beate Muranko
EXplayN
Projektstart: 01.10.2005
 Im Projekt EXplayN geht es um das Spielen (PLAY) von Strategiespielen. Sowohl 1-Personen-Spiele (Jigsaw-Schiebe-Puzzles, Rubiks-Cube, Solitaire, ...) als auch Mehr-Personen-Spiele (4-gewinnt, Mühle, Reversi, Dame, Schach,...) sollen analytisch (explain) untersucht werden, um Aussagen über die Schwierigkeit der Spiele treffen und Lösungsstrategien bewerten zu können. Dabei sollen vor allem Methoden (Algorithmen und Datenstrukturen), die aus dem Bereich des Schaltkreisentwurfs bekannt sind und dort erfolgreich eingesetzt werden, in diesem Kontext untersucht werden.
Betreuer: Daniel Große und Andre Sülflow
(erste Projektphase: Nicole Drechsler und Rüdiger Ebendt)
SATRIX
Projektstart: 01.10.2004
 Das Projekt SATRIX beschäftigt sich mit dem Erfüllbarkeitsproblem – oder kurz SAT von engl. satisfiability. Es soll der gesamte Ablauf von der Modellierung einer Fragestellung als SAT-Problem bis hin zur effizienten Lösung einer gegebenen Instanz betrachtet werden. Insbesondere sollen Fragestellungen aus dem Schaltkreisentwurf untersucht werden.
Betreuer: Rolf Drechsler, Görschwin Fey und Daniel Große
GAMELEON
Projektstart: 01.10.2003
GAMELEON beschäftigt sich mit dem Entwurf Generischer Algorithmen und Methoden zur Anwendung Evolutionärer Algorithmen auf Optimierungsprobleme.
Als Schwerpunkt werden Anwendungsbeispiele aus dem Bereich der Graphentheorie und des computergestützten Schaltkreisentwurfs betrachtet.
Betreuer: Nicole Drechsler
FunTaskIC
Projektstart: 01.10.2002
 Das Projekt FunTaskIC beschäftigt sich mit dem Entwurf von integrierten Schaltungen (IC=integrated circuit). Im Rahmen des Projektes soll eine durchgängige Entwurfsumgebung entwickelt werden, die den Entwickler ausgehend von der Spezifikation bis hin zur Schaltungsfertigung in automatischer Weise unterstützt. Die einzelnen Schritte sind nochmals im folgenden Bild verdeutlicht: Ausgehend von einer Idee wird eine textuelle Beschreibung erzeugt, die die Funktionalität im Wesentlichen festlegt. Nach einer Formalisierung dieser Beschreibung erhält man eine ausführbare Spezifikation, die anschließend (meist noch per Hand) in eine Hardware-Beschreibungssprache übersetzt wird. In der Folge wird die Beschreibung durch automatische Werkzeuge transformiert bis der fertige Chip entsteht. Besondere Bedeutung bei der Erstellung der Entwurfsumgebung soll Aspekten der Sicherheit und der Korrektheit zukommen, so dass die Verifikation schon in der frühen Entwurfsphase mit berücksichtigt wird. Die unterschiedlichen Aufgaben (tasks) sollen analysiert und optimiert werden. Anschließend sollen in der Gruppe Lösungsansätze diskutiert und umgesetzt werden. Und der Spaß (fun) darf natürlich nie fehlen ...
Betreuer: Rolf Drechsler und Görschwin Fey
|
