Skip to Content

Changes for page Available Topics

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

Summary

Details

Page properties
Author
... ... @@ -1,1 +1,1 @@
1 -XWiki.ssm
1 +XWiki.cds
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 -13763616
1 +13763106
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RTSYS/pages/13763616/Topics for Student Theses
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RTSYS/pages/13763106/Topics for Student Theses