Skip to Content

Changes for page Available Topics

Last modified by Maximilian Kasperowski on 2026/03/09 09:06
From version 45.1
edited by ssm
on 2014/12/30 18:32
Change comment: There is no comment for this version
To version 43.1
edited by ssm
on 2014/12/27 17:54
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -47,8 +47,6 @@
47 47  Develop an automatic SCCharts documentation & comment system
48 48  * **Merging SCCharts and KLOTS** (Bachelor)
49 49  Implement KLOTS as demonstrator extension of the KIELER SCCharts implementation
50 -* **On the usability of the KIELER SCCharts compiler** (Bachelor)
51 -Evaluate the actual implementation of the KIELER SCCharts compiler and provide suggestions for improvements, i.e. the usability as standalone (commandline) compiler
52 52  \\
53 53  * **Validation Manager for Models **(Bachelor/Master)
54 54  Develop an integrated, flexible and generic syntactic validation framework for models (e.g. Esterel or SyncCharts).
... ... @@ -57,22 +57,16 @@
57 57  * **Transformation from SCCharts to Esterel** (Bachelor/Master)
58 58  Develop a transformation in Xtend2 to generate Esterel code for SCCharts.
59 59  * **Hardware Synthesis from SCCharts to FPGA **(Bachelor/Master)
60 -Use the circuit-based code generation approach to produce code for FPGAs
58 +Use the circuit-based code generation to produce code for FPGAs
61 61  * (% style="line-height: 1.4285715;" %)**Optimization of the SCCharts compiler **(%%)(Bachelor/Master)
62 -Profile the actual SCCharts compiler and apply optimizations; also evaluate the possibility to use multiple cores for compilation
60 +Profile the actual SCCharts compiler and apply optimizations
63 63  * **Optimization of the SCCharts transformations** (Bachelor/Master)
64 64  Profile the actual SCCharts transformations and apply optimizations
65 -* **SCCharts Andriod backend for Mini Drones** (Bachelor/Master)
66 -Develop a new code generation backend for SCCharts for Andriod applications with Mini Drones as demonstrator
67 -* **On the pragmatics of modelling large models in SCCharts** (Bachelor/Master)
68 -Evaluate the possibilities to create and maintain large models in model-based languages (i.e. SCCharts) and provide suggestions for improvements
69 -* **Extend the SC MoC to handle priority-based variable accesses** (Bachelor/Master)
70 -Add priorities to variable accesses to extend the SC MoC and therefore the number of valid sequentially constructive synchronous programs.
71 71  \\
72 72  * **Detecting tick boundaries in SCCharts **(Master/Bachelor)
73 73  Implement an algorithm that detects tick boundaries (in concurrent) threads and therefore improves the scheduling
74 74  * **Efficient data dependency analyses in SCCharts** (Master/Bachelor)
75 -Implement data dependency analyses for SCCharts to improve static scheduling of the compiler
67 +Implement data dependency analyses for SCCharts
76 76  * **KIELER evaluation environment for synchronous languages** (Master/Bachelor)
77 77  Develop a reliable evaluation environment to compare common synchronous languages (i.e. Esterel/SyncCharts & SCCharts)
78 78  * **Raceyard evaluation** (Master/Bachelor)
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -10751356
1 +10748082
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RTSYS/pages/10751356/Topics for Student Theses
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RTSYS/pages/10748082/Topics for Student Theses