Summary

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

Details

Page properties

Author

...	...	@@ -1,1 +1,1 @@
1		-XWiki.cds
	1	+XWiki.ssm

Content

...	...	@@ -41,64 +41,63 @@
41	41
42	42	= Semantics and Synchronous Languages =
43	43
44		-**Advisors:** Christian Motika, Steven Smyth.
	44	+**Advisors:** Christian Motika, Steven Smyth
45	45
46		-* **Validation Manager for Models**
	46	+* **Automatic documentation generation for model-based languages **(Bachelor)
	47	+Develop an automatic SCCharts documentation & comment system
	48	+* **Merging SCCharts and KLOTS** (Bachelor)
	49	+Implement KLOTS as demonstrator extension of the KIELER SCCharts implementation
	50	+\\
	51	+* **Validation Manager for Models **(Bachelor/Master)
47	47	Develop an integrated, flexible and generic syntactic validation framework for models (e.g. Esterel or SyncCharts).
48		-* **SCCharts compiler validation with Esterel**
	53	+* **SCCharts compiler validation with Esterel **(Bachelor/Master)
49	49	Automate the validation of the SCCharts compiler using the Esterel simulation.
50		-* **Transformation from SCCharts to Esterel** [possibly also Master Topic]
	55	+* **Transformation from SCCharts to Esterel** (Bachelor/Master)
51	51	Develop a transformation in Xtend2 to generate Esterel code for SCCharts.
52		-* **Hardware Synthesis from SCCharts to FPGA **[possibly also Master Topic]
	57	+* **Hardware Synthesis from SCCharts to FPGA **(Bachelor/Master)
53	53	Use the circuit-based code generation to produce code for FPGAs
54		-* **Automatic documentation generation **[possibly also Master Topic]
55		-Develop an automatic SCCharts documentation system
56		-* **Optimizations for the SCCharts compiler **[possibly also Master Topic]
	59	+* (% style="line-height: 1.4285715;" %)**Optimizations for the SCCharts compiler **(%%)(Bachelor/Master)
57	57	Profile the actual SCCharts compiler and apply optimizations
58		-* **Multi-core SCCharts compiler **[possibly also Master Topic]
59		-Implement the possibility to use more than one core to compile large SCCharts
60		-* **Adding dataflow to SCCharts** [possibly also Master Topic]
61		-Add dataflow to SCCharts
	61	+* **Optimizations of the SCCharts transformations** (Bachelor/Master)
	62	+Profile the actual SCCharts transformation and apply optimizations
	63	+\\
	64	+* **Detecting tick boundaries in SCCharts **(Master/Bachelor)
	65	+Implement an algorithm that detects tick boundaries (in concurrent) threads and therefore improves the scheduling
	66	+* **Efficient data dependency analyses in SCCharts** (Master/Bachelor)
	67	+Implement data dependency analyses for SCCharts
	68	+* **KIELER evaluation environment for synchronous languages** (Master/Bachelor)
	69	+Develop a reliable evaluation environment to compare common synchronous languages (i.e. Esterel/SyncCharts & SCCharts)
	70	+* **Raceyard evaluation** (Master/Bachelor)
	71	+Evaluate the possibility for the use of SCCharts in the Raceyard context and pave the way for future experiments
	72	+\\
	73	+* **Quartz **(Master)
	74	+Integrate the synchronous Quartz language into KIELER for validation purposes and teaching.
	75	+* **Implementation of a priority-based compilation approach **(Master) [work in progress, Caroline Butschek]
	76	+Implement the SyncCharts priority-based compilation approach into the SCCharts compiler chain.
	77	+* **From Esterel to SCL **(Master) [work in progress, Karsten Rathlev]
	78	+Implement transformations that translate Esterel programs to SCL
	79	+* **Curing Schizophrenia in SCCharts **(Master)
	80	+Develop new synchronizer to handle schizophrenia properly (e.g. depth join).**
	81	+**
	82	+* **Railway 4.0 **(Master) [work in progress, Nis Wechselberg]
	83	+Design a new and modern hardware controlling (Version 4) for the railway installation.
62	62
63	63	= PRETSY / PRETSY2 =
64	64
65		-**Advisors:** Insa Fuhrmann.
	87	+**Advisors:** Insa Fuhrmann, Steven Smyth
66	66
67		-* **Real-time extensions for SCCharts** [possibly also Master Topic]
	89	+* **Real-time extensions for SCCharts** (Bachelor/Master)
68	68	Make the timing instructions //delay_until// und //exception_on_expire// of the [[FlexPRET>>url:http://rtsys.informatik.uni-kiel.de/confluence/Multithreaded/Multicore execution of SCCharts Evaluate possibilities to preserve parallelism in SCCharts, implement mapping for (fine grained) multithreading and multicore based on the FlexPRET||shape="rect"]] processor available in SCCharts.
69		-* See also Semantics and Synchronous Languages: **Adding dataflow to SCCharts**
	91	+* **Adding dataflow to SCCharts** (Bachelor/Master) [work in progress, Axel Umland]
	92	+Add dataflow to SCCharts
	93	+\\
	94	+* **Multithreaded/Multicore execution of SCCharts **(Master/Bachelor)
	95	+Evaluate possibilities to preserve parallelism in SCCharts, implement mapping for (fine grained) multithreading and multicore
	96	+based on the [[FlexPRET>>url:http://www.eecs.berkeley.edu/Pubs/TechRpts/2013/EECS-2013-172.pdf||shape="rect"]] processor.
70	70
71		-= Miscellaneous Topics =
	98	+= (% style="color: rgb(0,0,0);" %)Miscellaneous Topics(%%) =
72	72
73	73	**Advisors:** to be determined.
74	74
75	75	* **Developing an Info Screen** (Bachelor)
76	76	Info screens are screens that present data in ways that can be easily understood. This includes static data (project description graphics, members of a team, ...) as well as dynamically aggregated data (bug statistics, automatic build overviews, ...). This topic is about developing such an info screen for our group and making it easily configurable.
77		-
78		-----
79		-
80		-= (% style="color: rgb(0,0,0);" %)Master Topics(%%) =
81		-
82		-== Semantics and Synchronous Languages ==
83		-
84		-* **Quartz**
85		-Integrate the synchronous Quartz language into KIELER for validation purposes and teaching.
86		-* **Implementation of a priority-based compilation approach**
87		-Implement the SyncCharts priority-based compilation approach into the SCCharts compiler chain.
88		-* **Curing Schizophrenia in SCCharts**
89		-Develop new synchronizer to handle schizophrenia properly (e.g. depth join).
90		-* **Detecting tick boundaries in SCCharts**
91		-Implement an algorithm that detects tick boundaries (in concurrent) threads and therefore improves the scheduling
92		-* **Multithreaded/Multicore execution of SCCharts **(see below PRETSY/PRETSY2)**
93		-**
94		-* **Railway 2.0**
95		-Design a new and modern hardware controlling (Version 4) for the railway installation.
96		-
97		-== PRETSY / PRETSY2 ==
98		-
99		-* **Multithreaded/Multicore execution of SCCharts**
100		-Evaluate possibilities to preserve parallelism in SCCharts, implement mapping for (fine grained) multithreading and multicore
101		-based on the [[FlexPRET>>url:http://www.eecs.berkeley.edu/Pubs/TechRpts/2013/EECS-2013-172.pdf||shape="rect"]] processor.**
102		-**
103		-
104		-

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-10748078
	1	+10748080

URL

...	...	@@ -1,1 +1,1 @@
1		-https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RTSYS/pages/10748078/Topics for Student Theses
	1	+https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RTSYS/pages/10748080/Topics for Student Theses