Real-Time and Embedded Systems

Completed Theses

Anmerkung für Autoren von Abschlussarbeiten: diese Webseite ist eine Möglichkeit, Ihre Arbeiten elektronisch zu veröffentlichen. Eine solche Veröffentlichung setzt Ihr Einverständnis voraus.

PhD Theses (Dissertationen)

  1. Miro Spönemann, Graph Layout Support for Model-Driven Engineering, Disputation: 9 February 2015 (KCSS)
    Examiners: Reinhard v. Hanxleden, Petra Mutzel (Universität Dortmund)
  2. Hauke Fuhrmann, On the Pragmatics of Graphical Modeling, Disputation: 5 May 2011 (KCSS)
    Examiners: Reinhard v. Hanxleden, Willi Hasselbring (CAU), Edward Lee (UC Berkeley)
  3. Claus Traulsen, Reactive Processing for Synchronous Languages and its Worst Case Reaction Time Analysis, Disputation: 26 February 2010 (pdf)
    Examiners: Reinhard v. Hanxleden, Michael Mendler (Universität Bamberg)
  4. Steffen Prochnow, Efficient Development of Complex Statecharts, Disputation: 3 July 2008 (pdf)
    Examiners: Reinhard v. Hanxleden, Susanne Graf (VERIMAG, Grenoble)
  5. Xin Li, The Kiel Esterel Processor: A Multi-Threaded Reactive Processor, Disputation: 23 July 2007 (pdf)
    Examiners: Reinhard v. Hanxleden, Michael Mendler (Universität Bamberg)
  6. Jan Lukoschus, Removing Cycles in Esterel Programs, Disputation: 20 July 2006 (pdf)
    Examiners: Reinhard v. Hanxleden, Stephen A. Edwards (Columbia University)

 

Master Theses

  1. Carsten Sprung, Edge Bundling Techniques for Dataflow Diagrams, October 2016
    Advisor: Ulf Rüegg
  2. Alan Schelten, Hierarchy-Aware Layer Sweep, September 2016
    Advisor: Ulf Rüegg
  3. Alexander Schulz-Rosengarten, Strict Sequential Constructiveness, September 2016 (pdf)
    Advisor: Steven Smyth
  4. Niclas Flieger, Comparison of Compilation Approaches in KIELER, 29 April 2016
    Advisors: Steven Smyth , Insa Fuhrmann
  5. Stanislav Nasin, From SCL to Esterel, October 2015
    Advisors: Christian MotikaSteven Smyth
  6. Lennart Langenhop, Embedded Security Analysis for an Engine Control Unit Architecture, March 2015 (pdf)
    Advisor: Reinhard von Hanxleden
  7. Karsten Rathlev, From Esterel to SCL, March 2015 (pdf)
    Advisors: Steven Smyth, Christian Motika
  8. Nis Wechselberg, Model Railway 4.0 – A Demonstrator for Interactive Timing Analysis, March 2015 (pdf)
    Advisors: Insa Fuhrmann, Christian Motika
  9. Gunnar Johannsen, Hardwaresynthese aus SCCharts, October 2013 (pdf)
    Advisor: Christian Motika, Insa Fuhrmann
  10. Wahbi Haribi, A SyncChart-Editor based on Yakindu, March 2013 (pdf)
    Advisor: Christian Motika
  11. Paul Klose, A Generic Framework for Topology-Shape-Metrics-Based Layout, October 2012 (pdf)
    Advisor: Miro Spönemann
  12. John Julian Carstens, Node and Label Placement in a Layered Layout Algorithm, September 2012 (pdf)
    Advisor: Christoph Daniel Schulze
  13. Martin Müller, View Management for Graphical Models, December 2010 (pdf)
    Advisor: Hauke Fuhrmann

 

Bachelor Theses

  1. Stephan Lenga, Model-based Compilation of Legacy C Programs, September 2016 (pdf)
    Advisor: Steven Smyth
  2. Lena Grimm, Debugging SCCharts, September 2016 (pdf)
    Advisor:  Insa Fuhrmann
  3. Jonas Busse, SCCharts Kompilierung für eingebettete Systeme mit limitierten Ressourcen, September 2016 (pdf)
    Advisors:  Insa Fuhrmann, Steven Smyth
  4. Dirk Sommerfeld, Laufzeitmessung für SCCharts auf Lego Mindstorms, 9 April 2016 (pdf)
    Advisor:  Insa Fuhrmann
  5. Lars Olsson, Modellextraktion aus C Code, 31 March 2016
    Advisor: Steven Smyth
  6. Francesca Rybicki, Interactive Incremental Hardware Synthesis for SCCharts, 31 March 2016 (pdf)
    Advisor: Christian Motika
  7. Sandra Skrlac, Enhanced Port Constraints in a Layer-Based Layout, September 2015
    Advisor: Ulf Rüegg
  8. Tibor Weiß, Von Nebenläufigkeit zu Parallelität, October 2015 (pdf)
    Advisors: Steven SmythInsa Fuhrmann
  9. Daniel Jahn, Eine textueller Sequenzdiagrammeditor mit grafischer Visualisierung, September 2015 (pdf)
    Advisor: Christoph Daniel Schulze
  10. Yella Lasch, Label Management in Graph Layout Algorithmen, September 2015 (pdf)
    Advisor: Christoph Daniel Schulze
  11. Christina Plöger, Improving Comment Attachment Algorithms, September 2015 (pdf)
    Advisor: Christoph Daniel Schulze
  12. Lewe Andersen, Quadrocopter Flight Control Design using SCCharts, September 2015 (pdf)
    Advisors: Steven SmythChristian Motika
  13. Felix Machaczek, Collision Avoidance of Safety-Critical Real-Time Systems, September 2015 (pdf)
    Advisors: Steven SmythChristian Motika
  14. Lars Peiler, Modeling Simulations of Autonomous, Safety-Critical Systems, September 2015 (pdf)
    Advisors: Christian Motika,  Steven Smyth
  15. Andreas Stange, Comfortable SCCharts Modeling for Embedded Systems, September 2015 (pdf)
    Advisor: Steven Smyth
  16. Alan Schelten, On the Greedy Reduction of Edge Crossings, March 2015 (pdf)
    Advisor: Christoph Daniel Schulze
  17. Marius Richter, Visualisierung von Schienennetzinfrastrukturdaten, September 2014
    Advisor: Christoph Daniel Schulze
  18. Katja Petrat, Erweiterung und Implementierung eines Knotenplatzierungsalgorithmus, March 2014 (pdf)
    Advisor: Christoph Daniel Schulze
  19. Carsten Sprung, Inkrementelles Update von Knoten-Kanten-Diagrammen mit EMF Compare, March 2014 (pdf)
    Advisors: Christian Schneider
  20. Enno Schwanke, Generierung von UML Klassendiagrammen aus Java Code in Eclipse, March 2014 (pdf)
    Advisor: Christian Schneider
  21. Alexander Schulz-Rosengarten, Framework zum Tracing von EMF-Modelltransformationen, March 2014 (pdf)
    Advisor: Christian Motika
  22. Heiko Wißmann, Graphische Visualisierung von Java-Variablen zur Laufzeit, March 2013 (pdf)
    Advisor: Miro Spönemann
  23. Stanislaw Nasin, Graphische Zuordnung von Elementen einer Modelltransformation, March 2013 (pdf)
    Advisor: Christoph Daniel Schulze
  24. Helge Müller, Designing Applications With the e4 Application Model, March 2013
    Advisor: Christoph Daniel Schulze
  25. Sven Gundlach, Synthese von Datenflussdiagrammen aus annotierten C-Programmen, March 2012 (pdf)
    Advisor: Miro Spönemann
  26. Alexander Bosy, Synthese von graphischen Darstellungen aus einer textuellen Verhaltensbeschreibung, March 2012
    Advisor: Christian Schneider
  27. Ulf Rüegg, Interactive Transformations for Visual Models, March 2011 (pdf)
    Advisor: Christian Motika
  28. Hauke Wree, Ein Gleisplaneditor basierend auf Graphiti, March 2011
    Advisor: Miro Spönemann
  29. John Carstens, Datenvisualisierung in grafischen Modellen, September 2010 (pdf)
    Advisor: Christian Motika
  30. Ole Claußen, Implementing an Algorithm for Orthogonal Graph Layout, September 2010 (pdf)
    Advisor: Miro Spönemann
  31. Philipp Döhring, Algorithmen zur Layerzuweisung, September 2010 (pdf)
    Advisor: Miro Spönemann
  32. Mirko Heinold, Synchronous Java, September 2010 (pdf)
    Advisor: Christian Motika
  33. Paul Klose, Beispiel Management in KIELER, September 2010 (pdf)
    Advisor: Christian Motika
  34. Christian Kutschmar, Planarisierung von Hypergraphen, September 2010 (pdf)
    Advisor: Miro Spönemann
  35. Martin Rieß, A Graph Editor for Algorithm Engineering, September 2010 (pdf)
    Advisor: Miro Spönemann
  36. Adriana Lukaschewitz, Esterel to Safe State Machine Conversion in KIELER, March 2010 (pdf)
    Advisor: Hauke Fuhrmann
  37. Sören Hansen, Configurations and Automated Execution in the KIELER Execution Manager, March 2010 (pdf)
    Advisor: Christian Motika
  38. Karsten Heymann, Verwendung dynamisch erzeugter KIEL-Statecharts in LaTeX, April 2007 (pdf)
    Advisor: Steffen Prochnow

 

Diploma Theses (Diplomarbeiten)

  1. Sven Oliver Reimers, Port-Aware Node Placement in a Layered Layout Algorithm, March 2015
    Advisor: Ulf Rüegg
  2. Axel Umland, Konzept zur Erweiterung von SCCharts um Datenfluss, March 2015 (pdf)
    Advisors: Steven Smyth, Insa Fuhrmann
  3. Tibor Toepffer, Schöne Kurven: Ebenenbasiertes Kantenrouting mit Splines, November 2014 (pdf)
    Advisor: Christoph Daniel Schulze
  4. Steven Smyth, Code Generation for Sequential Constructiveness, July 2013 (pdf)
    Advisor: Christian Motika
  5. Gregor Hoops, Automatic Layout of UML Sequence Diagrams, April 2013 (pdf)
    Advisor: Christoph Daniel Schulze
  6. Björn Duderstadt, A Statechart Dialect With Sequential Constructiveness, December 2012 (pdf)
    Advisors: Insa Fuhrmann, Christian Motika, Reinhard v. Hanxleden
  7. Tim Grebien, Managing Academic Eclipse-Based Projects, August 2012 (pdf)
    Advisor: Christoph Daniel Schulze
  8. Insa Fuhrmann, Layout of Compound Graphs, 15 February 2012 (pdf)
    Advisor: Miro Spönemann
  9. Tobias Mahnke-Nissen , souq - Eine verteilte Anwendung zur einfachen Erfassung und Propagation von Forschungsdaten, 30 January 2012
    Advisors: Reinhard v. Hanxleden, Wolfgang Junge (Institut für Tierzucht und Tierhaltung)
  10. Stephan Wersig, Ein Web Service für das automatische Layout von Graphen, October 2011 (pdf)
    Advisor: Miro Spönemann
  11. Christoph Daniel Schulze, Optimizing Automatic Layout for Data Flow Diagrams, July 2011 (pdf)
    Advisor: Miro Spönemann
  12. Christian Schneider, Integrating Graphical and Textual Modeling, February 2011 (pdf)
    Advisors: Hauke Fuhrmann, Miro Spönemann
  13. Joachim Bleidiessel, A Domain Specific Language for Railway Control
    Advisor: Reinhard v. Hanxleden
  14. Niclas Köser, SyncCharts in C auf Multicore, October 2010 (pdf)
    Advisor: Reinhard v. Hanxleden
  15. Torsten Amende, Synthese von SC-Code aus SyncCharts, May 2010 (pdf)
    Advisors: Claus Traulsen, Christian Motika
  16. Matthias Schmeling, A Graphical Editor for IEC 61499 Function Blocks, April 2010 (pdf)
    Advisors: Partha Roop, Miro Spönemann
  17. Michael Matzen, A Generic Framework for Structure-Based Editing of Graphical Models in Eclipse, March 2010 (pdf)
    Advisor: Hauke Fuhrmann
  18. Christian Motika, Semantics and Execution of Domain Specific Models---KlePto and an Execution Framework, December 2009 (pdf)
    Advisor: Hauke Fuhrmann
  19. Özgün Bayramoglu, KIELER Infrastructure for Textual Modeling, December 2009 (pdf)
    Advisor: Hauke Fuhrmann
  20. Nils Beckel, View Management for Visual Modeling, October 2009 (pdf)
    Advisor: Hauke Fuhrmann
  21. Miro Spönemann, On the Automatic Layout of Data Flow Diagrams, March 2009 (pdf)
    Advisors: Hauke Fuhrmann, Reinhard v. Hanxleden
  22. Falk Starke, Executing Safe State Machines with the Kiel Esterel Processor, January 2009 (pdf)
    Advisor: Claus Traulsen
  23. Arne Schipper, Layout and Visual Comparison of Statecharts, December 2008 (pdf)
    Advisor: Hauke Fuhrmann
  24. Jonas Voelcker, A quantitative analysis of Statechart aesthetics and Statechart development methods, May 2008 (pdf)
    Advisor: Steffen Prochnow
  25. Steffen Jacobs, Automatisierte Validierung von IMA-Konfigurationen, January 2008
    Advisors: Hauke Fuhrmann, Jan Lukoschus, Thorsten Kuhlemann (Airbus Deutschland GmbH, Hamburg)
  26. Malte Tiedje, Beschreibung des Kiel Esterel Prozessors in Esterel, January 2008 (pdf)
    Advisor: Claus Traulsen
  27. Marian Boldt, Esterel Compiler for a Synchronous Reactive Processor, December 2007 (pdf)
    Advisors: Claus Traulsen, Reinhard v. Hanxleden
  28. Marco Zingelmann, A Constructive Model/View Approach for the Refinement of UML 2.0 Sequence Diagrams, November 2007 (pdf)
    Advisors: Reinhard v. Hanxleden, Carsten Ziegenbein (Philips Medical Systems GmbH, Hamburg)
  29. Wolfgang Roettger, Entwurf einer Softwarearchitektur für einen Pocket-PC zur Glucosestoffwechselführung insulinpflichtiger Diabetes Patienten, September 2007
    Advisors: Helmut Röck (Automatisierungs- und Regelungstechnik), Reinhard v. Hanxleden
  30. Sascha Gädtke, Hardware/Software Co-Design für einen Reaktiven Prozessor, May 2007 (pdf)
    Advisor: Claus Traulsen
  31. Marco Heyden, Ein allgemein einsetzbares Kommunikationsprotokoll für die Vernetzung von SONAR Systemen mit Schwerpunkten Massendatenversand und Systemparametrierung auf Basis der CORBA Implementierung TAO, April 2007
    Advisors: Reinhard v. Hanxleden; Frank Ritters, Sven Rohde (L-3 Communications ELAC Nautik GmbH, Kiel)
  32. Oliver Wulf, Consistency of Statecharts, April 2007
    Advisors: Reinhard v. Hanxleden, Steffen Prochnow, Carsten Ziegenbein (Philips Medical Systems GmbH, Hamburg)
  33. André Ohlhoff, Consistent Refinement of Sequence Diagrams in the UML 2.0, November 2006 (pdf)
    Advisors: Reinhard v. Hanxleden; Carsten Ziegenbein, Björn Lüdemann (Philips Medical Systems GmbH, Hamburg)
  34. Ken Bell, Überprüfung Syntaktischer Robustheit von Statecharts auf der Basis von OCL, November 2006 (pdf)
    Advisor: Steffen Prochnow
  35. Gunnar Schaefer, Statechart Style Checking, June 2006 (pdf)
    Advisor: Steffen Prochnow
  36. Jan Täubrich, Formal Specification and Analysis of a Redundancy Management System with TLA+, March 2006 (pdf)
    Advisor: Reinhard v. Hanxleden
  37. Stephan Höhrmann, Entwicklung eines modularen Feldbussystems zur Steuerung einer Modellbahnanlage, March 2006 (pdf)
    Advisor: Jan Lukoschus
  38. Mirko Wischer, Textuelle Darstellung und strukturbasiertes Editieren von Statecharts, February 2006 (pdf)
    Advisor: Steffen Prochnow
  39. Lars Kühl, Transformation von Esterel nach SyncCharts, January 2006 (pdf)
    Advisor: Steffen Prochnow
  40. Hans Theman, Methoden zur Analyse und Verbesserung der Rubustheit von Legacy Software, December 2005
    Advisors: Reinhard v. Hanxleden, Daniel Wendorff (ELAC Nautik GmbH, Kiel)
  41. Adrian Posor, Extenstion of KIEL by Stateflow Charts, December 2005 (pdf)
    Advisor: Steffen Prochnow
  42. Hendrik Janz, Fehlertoleranter Massenspeicher Weltraum-Festplatte, October 2005
    Advisors: Reinhard v. Hanxleden, Heinrich Fischer (EADS Space Transportation, Bremen)
  43. Björn Lüdemann, Synthesis of human-readable Statecharts from Sequence Diagrams in the ROOM Environment, August 2005 (pdf)
    Advisors: Reinhard v. Hanxleden, Steffen Prochnow, Carsten Ziegenbein (Philips Medical Systems GmbH, Hamburg)
  44. Florian Lüpke, Implementierung eines Statechart-Editors mit layoutbasierten Bearbeitungshilfen, June 2005 (pdf)
    Advisor: Steffen Prochnow
  45. Tobias Kloss, Automatisches Layout von Statecharts unter Verwendung von Graph Viz, May 2005 (pdf)
    Advisor: Steffen Prochnow
  46. Hauke Fuhrmann, Model-Based Design of Distributet Time-Triggered Architectures, April 2005 (pdf)
    Advisors: Jan Lukoschus, Jörn Rennhack (Airbus Deutschland GmbH, Hamburg)
  47. Thomas Pyrlik, Entwurf und Realisation eines OPC-Clients zur Steuerung redundanter PROFIBUS OPC-Server mit Fehlerüberwachung der PROFIBUS Peripherie, December 2004
    Advisors: Reinhard v. Hanxleden, Jochen Logemann (Vossloh Information Technologies GmbH, Kiel)

 

Student Research Project Theses (Studienarbeiten)

  1. Axel Umland, Visualisierung von SCADE-Modellen in KLighD, 11 August 2014 (pdf)
    Advisor: Christian Schneider
  2. Björn Duderstadt, Evolutionary Meta Layout for KIELER, May 2011 (pdf)
    Advisor: Miro Spönemann
  3. Stephan Knauer, Environment Visualization, March 2010 (pdf)
    Advisor: Hauke Fuhrmann
  4. Matthias Schmeling, ThinKCharts - The Thin KIELER SyncCharts Editor, September 2009 (pdf)
    Advisor: Hauke Fuhrmann
  5. Christian Motika, Modellbasierte Umgebungssimulation für verteilte Echtzeitsysteme mit flexiblem Schnittstellenkonzept - Fallstudie einer Bahn-Anlage, October 2007 (pdf)
    Advisor: Hauke Fuhrmann
  6. Marian Boldt, Worst Case Reaction Time Analysis for a Synchronous Concurrent Processor, June 2007 (pdf)
    Advisors: Claus Traulsen, Reinhard v. Hanxleden
  7. Steffen Jacobs, Konzepte zur Visualisierung grafischer Datenflussmodelle, February 2007 (pdf)
    Advisors: Hauke Fuhrmann, Steffen Prochnow
  8. Mirko Wischer, Ein Browser für die Visualisierung dynamischer Sichten von Statecharts, June 2006 (pdf)
    Advisor: Steffen Prochnow
  9. André Ohlhoff, Simulating the Behavior of SyncCharts, February 2006 (pdf)
    Advisor: Steffen Prochnow
  10. Hendrik Janz, Invertiertes Pendel - Modellbasierte Entwicklung und automatische Codesynthese, March 2005
    Advisor: Jan Lukoschus
  11. Sascha Gädtke, Entwicklung eines Phantom-Modellierungswerkzeugs für einen MRT-Simulator, March 2005
    Advisor: Alwin Stengel
  12. Stephan Höhrmann, Entwicklung eines Ultraschall-basierten Ortungssystems für Lego Mindstorms Roboter, February 2005 (pdf, html, electronic appendix on demand)
    Advisor: Jan Lukoschus
  13. Tobias Kloss, Flexibles und Automatisiertes Layout von Statecharts, July 2003
    Advisor: Reinhard v. Hanxleden
218
197