Page tree

Versions Compared

Key

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

...

Semantics, Synchronous Languages and Model-based Design

Advisors: Christian Motika, Steven  Steven Smyth, Alexander Schulz-Rosengarten, Reinhard v. Hanxleden

Heute haben sich eine ganze Reihe von Modellierungssprachen durchgesetzt, die grafische Modelle verwenden. Dazu zählen beispielsweise die Unified Modeling Language (UML) oder die Werkzeugketten Simulink/Stateflow von Mathworks und SCADE von Esterel-Technologies. Letztere werden insbesondere auch im Entwurf eingebetteter und sicherheitskritischer Systeme (z.B. in Fahr- und Flugzeugen) eingesetzt.

...

  • On the pragmatics of modeling large models in SCCharts (Bachelor/Master)
    Evaluate the possibilities to create and maintain large models in model-based languages (i.e. SCCharts) and provide suggestions for improvements
  • Transformation of Circuits to SCCharts (Bachelor/Master)
    Implement a transformation that translates circuits to (dataflow) SCCharts.
  • SCCharts Verification (Master/Bachelor)
    Add the possibility to perfom model checking on SCCharts
  • Transformation Verification (Master/Bachelor)
    Develop a method for SCCharts to check transformations for semantic equivalence.
  • Derive M2M Transformations from Pseudocode (Master/Bachelor)
    Create a Pseudocode DSL (and generator) to automatically derive M2M transformations. 
  • Raceyard evaluation (Master)
    Evaluate the possibility for the use of SCCharts in the Raceyard context and pave the way for future experiments

...