Skip to Content

Changes for page Available Topics

Last modified by Maximilian Kasperowski on 2026/03/09 09:06
From version 42.1
edited by ssm
on 2014/12/27 17:51
Change comment: There is no comment for this version
To version 44.1
edited by ssm
on 2014/12/27 18:14
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -47,6 +47,8 @@
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
50 50  \\
51 51  * **Validation Manager for Models **(Bachelor/Master)
52 52  Develop an integrated, flexible and generic syntactic validation framework for models (e.g. Esterel or SyncCharts).
... ... @@ -56,15 +56,19 @@
56 56  Develop a transformation in Xtend2 to generate Esterel code for SCCharts.
57 57  * **Hardware Synthesis from SCCharts to FPGA **(Bachelor/Master)
58 58  Use the circuit-based code generation to produce code for FPGAs
59 -* (% style="line-height: 1.4285715;" %)**Optimizations for the SCCharts compiler **(%%)(Bachelor/Master)
61 +* (% style="line-height: 1.4285715;" %)**Optimization of the SCCharts compiler **(%%)(Bachelor/Master)
60 60  Profile the actual SCCharts compiler and apply optimizations
61 -* **Optimizations of the SCCharts transformations** (Bachelor/Master)
62 -Profile the actual SCCharts transformation and apply optimizations
63 +* **Optimization of the SCCharts transformations** (Bachelor/Master)
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
63 63  \\
64 64  * **Detecting tick boundaries in SCCharts **(Master/Bachelor)
65 65  Implement an algorithm that detects tick boundaries (in concurrent) threads and therefore improves the scheduling
66 66  * **Efficient data dependency analyses in SCCharts** (Master/Bachelor)
67 -Implement data dependency analyses for SCCharts
73 +Implement data dependency analyses for SCCharts to improve static scheduling of the compiler
68 68  * **KIELER evaluation environment for synchronous languages** (Master/Bachelor)
69 69  Develop a reliable evaluation environment to compare common synchronous languages (i.e. Esterel/SyncCharts & SCCharts)
70 70  * **Raceyard evaluation** (Master/Bachelor)
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -10748080
1 +10748084
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RTSYS/pages/10748080/Topics for Student Theses
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RTSYS/pages/10748084/Topics for Student Theses