Page tree

Versions Compared


  • This line was added.
  • This line was removed.
  • Formatting was changed.


Modeling Pragmatics

Advisors: Ulf Rüegg, Christoph Daniel Schulze, Reinhard von Hanxleden


  • SCCharts Verification (Master/Bachelor)
    Add the possibility to perfom model checking on SCCharts
  • Raceyard evaluation (Master)
    Evaluate the possibility for the use of SCCharts in the Raceyard context and pave the way for future experiments
  • Causality Visualization
    Visualizing causality and scheduling problems in the diagram to guide the modeller

SCCharts Code Generation & Optimizations