Skip to Content

Changes for page Available Topics

Last modified by Maximilian Kasperowski on 2026/03/09 09:06
From version 59.1
edited by cds
on 2015/10/06 15:52
Change comment: There is no comment for this version
To version 60.1
edited by ssm
on 2015/10/19 09:35
Change comment: There is no comment for this version

Summary

Details

Page properties
Author
... ... @@ -1,1 +1,1 @@
1 -XWiki.cds
1 +XWiki.ssm
Content
... ... @@ -73,15 +73,15 @@
73 73  
74 74  In diesem Kontext sind Themenstellungen für Bachelor-/Master-/Diplom- und Studienarbeiten beispielhaft genannt. Bei Fragen oder sprechen Sie einen Betreuer bitte direkt an:
75 75  
76 -* **Automatic documentation generation for model-based languages **(Bachelor)
77 -Develop an automatic SCCharts documentation & comment system
78 -* **On the usability of the KIELER SCCharts compiler** (Bachelor)
79 -Evaluate the actual implementation of the KIELER SCCharts compiler and provide suggestions for improvements, i.e. the usability as standalone (commandline) compiler
76 +* --**Automatic documentation generation for model-based languages **(Bachelor)--
77 +--Develop an automatic SCCharts documentation & comment system--
78 +* --**On the usability of the KIELER SCCharts compiler** (Bachelor)--
79 +--Evaluate the actual implementation of the KIELER SCCharts compiler and provide suggestions for improvements, i.e. the usability as standalone (commandline) compiler--
80 80  \\\\
81 -* **Transformation from SCCharts to Esterel** (Bachelor/Master)
82 -Develop a transformation in Xtend2 to generate Esterel code for SCCharts.
83 -* **Hardware Synthesis from SCCharts to FPGA **(Bachelor/Master)
84 -Use the circuit-based code generation approach to produce code for FPGAs
81 +* --**Transformation from SCCharts to Esterel** (Bachelor/Master)--
82 +--Develop a transformation in Xtend2 to generate Esterel code for SCCharts.--
83 +* --**Hardware Synthesis from SCCharts to FPGA **(Bachelor/Master)--
84 +--Use the circuit-based code generation approach to produce code for FPGAs--
85 85  * (% style="line-height: 1.4285715;" %)**Optimization of the SCCharts compiler/transformations **(%%)(Bachelor/Master)
86 86  Profile the actual SCCharts compiler/transformations and apply optimizations; also evaluate the possibility to use multiple cores for compilation
87 87  * (% style="line-height: 1.4285715;" %)**On the pragmatics of modeling large models in SCCharts**(%%) (Bachelor/Master)
... ... @@ -95,14 +95,14 @@
95 95  Implement an algorithm that detects tick boundaries (in concurrent) threads and therefore improves the scheduling
96 96  * **Efficient data dependency analyses in SCCharts** (Master/Bachelor)
97 97  Implement data dependency analyses for SCCharts to improve static scheduling of the compiler
98 -* **KIELER evaluation environment for synchronous languages** (Master/Bachelor)
99 -Develop a reliable evaluation environment to compare common synchronous languages (i.e. Esterel/SyncCharts & SCCharts)
98 +* --**KIELER evaluation environment for synchronous languages** (Master/Bachelor)--
99 +--Develop a reliable evaluation environment to compare common synchronous languages (i.e. Esterel/SyncCharts & SCCharts)--
100 100  * **Raceyard evaluation** (Master/Bachelor)
101 101  Evaluate the possibility for the use of SCCharts in the Raceyard context and pave the way for future experiments
102 102  * **Curing Schizophrenia in SCCharts **(Master/Bachelor)
103 103  Develop new synchronizer to handle schizophrenia properly (e.g. depth join).
104 -* **Hybrid Models for Legacy Code Extraction **(Master/Bachelor)
105 -Extract legacy code (e.g. legacy C code) to (SCCharts) Hybrid Models.
104 +* --**Hybrid Models for Legacy Code Extraction **(Master/Bachelor)--
105 +--Extract legacy code (e.g. legacy C code) to (SCCharts) Hybrid Models.--
106 106  \\\\
107 107  * **Quartz **(Master)
108 108  Integrate the synchronous Quartz language into KIELER for validation purposes and teaching.
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -13763106
1 +13763616
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RTSYS/pages/13763106/Topics for Student Theses
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RTSYS/pages/13763616/Topics for Student Theses