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.ssm
	1	+XWiki.cds

Content

...	...	@@ -41,63 +41,64 @@
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		-* **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)
	46	+* **Validation Manager for Models**
52	52	Develop an integrated, flexible and generic syntactic validation framework for models (e.g. Esterel or SyncCharts).
53		-* **SCCharts compiler validation with Esterel **(Bachelor/Master)
	48	+* **SCCharts compiler validation with Esterel**
54	54	Automate the validation of the SCCharts compiler using the Esterel simulation.
55		-* **Transformation from SCCharts to Esterel** (Bachelor/Master)
	50	+* **Transformation from SCCharts to Esterel** [possibly also Master Topic]
56	56	Develop a transformation in Xtend2 to generate Esterel code for SCCharts.
57		-* **Hardware Synthesis from SCCharts to FPGA **(Bachelor/Master)
	52	+* **Hardware Synthesis from SCCharts to FPGA **[possibly also Master Topic]
58	58	Use the circuit-based code generation to produce code for FPGAs
59		-* (% style="line-height: 1.4285715;" %)**Optimization of the SCCharts compiler **(%%)(Bachelor/Master)
	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]
60	60	Profile the actual SCCharts compiler and apply optimizations
61		-* **Optimization of the SCCharts transformations** (Bachelor/Master)
62		-Profile the actual SCCharts transformations 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.
	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
84	84
85	85	= PRETSY / PRETSY2 =
86	86
87		-**Advisors:** Insa Fuhrmann, Steven Smyth
	65	+**Advisors:** Insa Fuhrmann.
88	88
89		-* **Real-time extensions for SCCharts** (Bachelor/Master)
	67	+* **Real-time extensions for SCCharts** [possibly also Master Topic]
90	90	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.
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.
	69	+* See also Semantics and Synchronous Languages: **Adding dataflow to SCCharts**
97	97
98		-= (% style="color: rgb(0,0,0);" %)Miscellaneous Topics(%%) =
	71	+= Miscellaneous Topics =
99	99
100	100	**Advisors:** to be determined.
101	101
102	102	* **Developing an Info Screen** (Bachelor)
103	103	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		-10748082
	1	+10748078

URL

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