Skip to Content

Changes for page Available Topics

Last modified by Maximilian Kasperowski on 2026/03/09 09:06
From version 68.1
edited by ima
on 2016/02/19 13:41
Change comment: There is no comment for this version
To version 69.1
edited by ima
on 2016/02/19 13:44
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -62,7 +62,7 @@
62 62  
63 63  = Modeling Pragmatics =
64 64  
65 -**Advisors:** Reinhard von Hanxleden, Ulf Rüegg, Christoph Daniel Schulze.
65 +**Advisors:** Reinhard von Hanxleden, Ulf Rüegg, Christoph Daniel Schulze, Insa Fuhrmann
66 66  
67 67  * **Control Flow Graph Exploration / Visualization** (Bachelor)
68 68  Use pragmatics concepts (automatic layout, focus & context) for exploring/visualizing control flow graphs and specific paths, eg. as computed by OTAWA WCET analysis tool, eg. using KLighD.
... ... @@ -71,7 +71,7 @@
71 71  
72 72  = Semantics, Synchronous Languages and Model-based Design =
73 73  
74 -**Advisors:** Christian Motika, Steven Smyth, Reinhard v. Hanxleden
74 +**Advisors:** Christian Motika, Steven Smyth, Reinhard v. Hanxleden, Insa Fuhrmann
75 75  
76 76  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.
77 77  
... ... @@ -100,6 +100,8 @@
100 100  Add priorities to variable accesses to extend the SC MoC and therefore the number of valid sequentially constructive synchronous programs.
101 101  * **Transformation of Circuits to SCCharts** (Bachelor/Master)
102 102  Implement a transformation that translates circuits to (dataflow) SCCharts.
103 +* **On the Pragmatics of Interactive Timing Information Feedback for graphical modeling** (Bachelor)
104 +Use Pragmatics concepts to enhance the timing information feedback of the Interactive Timing Analysis.
103 103  \\\\
104 104  * **Efficient data dependency & scheduling analyses in SCCharts** (Master/Bachelor)
105 105  Implement analyses for data dependency, scheduling (e.g. tick boundaries) for SCCharts to improve static scheduling of the compiler
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -15532289
1 +15532291
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RTSYS/pages/15532289/Topics for Student Theses
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RTSYS/pages/15532291/Topics for Student Theses