Summary

• Page properties (1 modified, 0 added, 0 removed)
• Objects (1 modified, 0 added, 0 removed)
  • Confluence.Code.ConfluencePageClass[0]

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