Analysewerkzeug für die Echtzeitverifikation

Hintergrund

Das Institut Eingebettete Systeme/Echtzeitsysteme beschäftigt sich unter anderem mit der Verifikation von verteilten Echtzeitsystemen. Für die Weiterentwicklung eines Analysewerkzeugs sind über Drittmittel HiWi-Stellen zu besetzen. Informationen zu den Drittmittelprojekten (Parlot und Hepproxsys) finden Sie auf unserer Homepage.

Aufgaben

  1. Weiterentwicklung eines grafischen Frontends für ein Eclipse-PlugIn. Der Schwerpunkt liegt in der Programmierung und Gestaltung einer GUI. Erfahrungen mit Eclipse und SWT sind von Vorteil aber nicht zwingend.
  2. Implementieren von Analysealgorithmen in Java. Die Algorithmen werden über eine definierte Schnittstelle an ein Eclipse-PlugIn angebunden.

Voraussetzungen

  • (sehr) gute Kenntnisse in der Programmiersprache Java
  • Kenntnisse in GUI-Programmierung (nicht zwingend)

Stunden

40 h / Monat

Vertragsdauer

zunächst 3 Monate (soll aber längerfristig besetzt werden)

Ansprechpartner

Dipl.- Inform. Steffen Kollmann

Tel.: +49 731 50 24 165

Email: Öffnet ein Fenster zum Versenden einer E-Mailsteffen.kollmann(at)uni-ulm.de

Raum : 027 / 3103