Skip to Content

Changes for page Available Topics

Last modified by Maximilian Kasperowski on 2026/03/09 09:06
From version 86.1
edited by ssm
on 2017/01/16 15:47
Change comment: There is no comment for this version
To version 85.1
edited by ssm
on 2016/12/21 14:24
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -73,7 +73,7 @@
73 73  
74 74  = Semantics, Synchronous Languages and Model-based Design =
75 75  
76 -**Advisors:** Steven Smyth, Alexander Schulz-Rosengarten, Reinhard v. Hanxleden
76 +**Advisors:** Christian Motika, Steven Smyth, Reinhard v. Hanxleden
77 77  
78 78  Heute haben sich eine ganze Reihe von Modellierungssprachen durchgesetzt, die grafische Modelle verwenden. Dazu zählen beispielsweise die [[Unified Modeling Language (UML) >>url:http://de.wikipedia.org/wiki/UML||shape="rect" class="external-link"]]oder die Werkzeugketten [[Simulink/Stateflow von Mathworks >>url:http://de.wikipedia.org/wiki/Simulink||shape="rect" class="external-link"]]und [[SCADE von Esterel-Technologies>>url:http://en.wikipedia.org/wiki/SCADE||shape="rect" class="external-link"]]. Letztere werden insbesondere auch im Entwurf eingebetteter und sicherheitskritischer Systeme (z.B. in Fahr- und Flugzeugen) eingesetzt.
79 79  
... ... @@ -93,11 +93,9 @@
93 93  * (% style="line-height: 1.4285715;" %)**On the pragmatics of modeling large models in SCCharts**(%%) (Bachelor/Master)
94 94  Evaluate the possibilities to create and maintain large models in model-based languages (i.e. SCCharts) and provide suggestions for improvements
95 95  * **Transformation of Circuits to SCCharts** (Bachelor/Master)
96 -Implement a transformation that translates circuits to (dataflow) SCCharts.
96 +* Implement a transformation that translates circuits to (dataflow) SCCharts.
97 97  * **SCCharts Verification** (Master/Bachelor)
98 98  Add the possibility to perfom model checking on SCCharts
99 -* **Transformation Verification** (Master/Bachelor)
100 -Develop a method for SCCharts to check transformations for semantic equivalence.
101 101  * **Derive M2M Transformations from Pseudocode** (Master/Bachelor)
102 102  Create a Pseudocode DSL (and generator) to automatically derive M2M transformations.
103 103  * **Raceyard evaluation** (Master)
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -23068775
1 +23068684
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RTSYS/pages/23068775/Topics for Student Theses
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RTSYS/pages/23068684/Topics for Student Theses