Real-Time and Embedded Systems

Student Works

 [1]   Oliver Wulf. Consistency of Statecharts. Diploma thesis, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, 2006. In cooperation with Philips Medical Systems, Hamburg, Germany.

[2]   Karsten Heymann. Ein LATEX-Style zur Benutzung von KIEL-Statecharts. Bachelor project, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, 2006.

[3]   Steffen Jacobs. Darstellungstechniken für visuelle Datenflusssprachen. Student resarch project, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, 2006.

[4]   Ken Bell. Überprüfung der Syntaktischen Robustheit von Statecharts auf der Basis von OCL. Diploma thesis, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, November 2006.

[5]   Gunnar Schaefer. Statechart style checking – automated semantic robustness analysis of Statecharts. Diploma thesis, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, June 2006.

[6]   Arne Schipper. Integration des KIEL-Layouters in RoseRT. Internship, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, 2006. In cooperation with Philips Medical Systems, Hamburg, Germany.

[7]   Mirko Wischer. Textuelle Darstellung und strukturbasiertes Editieren von Statecharts. Diploma thesis, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, February 2006.

[8]   Adrian Posor. Extension of KIEL by Stateflow charts. Diploma thesis, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, December 2005.

[9]   Lars Kühl. Transformation von Esterel nach Esterel Studio. Diploma thesis, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, September 2005.

[10]   Mirko Wischer. Ein Browser für die Visualisierung dynamischer Sichten von Statecharts. Student research project, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, August 2005.

[11]   Björn Lüdemann. Synthesis of human-readable Statecharts from Sequence Diagrams. Diploma thesis, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, August 2005.

[12]   Florian Lüpke. Implementierung eines Statechart-Editors mit layoutbasierten Bearbeitungshilfen. Diploma thesis, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, June 2005.

[13]   Tobias Kloss. Automatisches Layout von Statecharts unter Verwendung von GraphViz. Diploma thesis, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, May 2005.

[14]   Jan Täubrich. Untersuchung der nicht-interaktiven Simulation von Stateflow-Statecharts. Student research project, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, April 2005.

[15]   Mirko Wischer. Ein File-Interface für das KIEL Projekt – Import von Esterel-Studio-Dateien. Internship report, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, 2005.

[16]   Johann Gjertz. Import von Statemate-Statecharts in KIEL. Internship, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, 2005.

[17]   André Ohlhoff. Simulating the Behavior of SyncCharts. Student research project, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, November 2004.

[18]   Christian Gast. Modellierung der Citizen Watch Quarz Multi-Alarm III in Esterel Studio. Internship, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, October 2004.

[19]   Tobias Kloss. Flexibles und Automatisiertes Layout von Statecharts. Student resarch project, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, July 2003.

Topics for Student’s Projects/Diploma Theses

  • Implementierung eines Checking-Frameworkes für Safety/Robustness von Matlab/Simulink/Stateflow
  • Layout bzw. Layout-Optimierungen
    • Interlevel
    • Label (Mehrzeiligkeit, Umbrüche)
    • relative Fontsize
    • neue Layouter einsetzen bzw. optimieren
  • Esterel-Studio v5.3 einlesen bzw. generieren
  • Kognitive Analysen
  • Syntax-Checker für die Kompositionalität von Statecharts
  • Entwurf und Implementierung von Algorithmen fur das Layout der dynamischen Sicht von Statecharts
  • Entwurf und Implementierung einer Simulationsumgebung für die dynamische Sicht von Statecharts
  • Konzeption und Implementierung von XMI-Schnittstellen für objektorientierte Entwurfswerkzeuge
  • neue Konzepte der visuellen Repräsentation bei der Simulation und Editierung von Statecharts (Ideen dazu: Präsentation (S. 14ff.))