Skip to Content

Changes for page Available Topics

Last modified by Maximilian Kasperowski on 2026/03/09 09:06
From version 48.1
edited by uru
on 2015/03/20 14:54
Change comment: There is no comment for this version
To version 49.1
edited by ssm
on 2015/04/13 14:44
Change comment: There is no comment for this version

Summary

Details

Page properties
Author
... ... @@ -1,1 +1,1 @@
1 -XWiki.uru
1 +XWiki.ssm
Content
... ... @@ -46,8 +46,6 @@
46 46  
47 47  * **Automatic documentation generation for model-based languages **(Bachelor)
48 48  Develop an automatic SCCharts documentation & comment system
49 -* **Merging SCCharts and KLOTS** (Bachelor)
50 -Implement KLOTS as demonstrator extension of the KIELER SCCharts implementation
51 51  * **On the usability of the KIELER SCCharts compiler** (Bachelor)
52 52  Evaluate the actual implementation of the KIELER SCCharts compiler and provide suggestions for improvements, i.e. the usability as standalone (commandline) compiler
53 53  \\
... ... @@ -63,8 +63,6 @@
63 63  Profile the actual SCCharts compiler and apply optimizations; also evaluate the possibility to use multiple cores for compilation
64 64  * **Optimization of the SCCharts transformations** (Bachelor/Master)
65 65  Profile the actual SCCharts transformations and apply optimizations
66 -* **SCCharts Andriod backend for Mini Drones** (Bachelor/Master)  [work in progress, Bachelor/Master project summer term 2015]
67 -Develop a new code generation backend for SCCharts for Andriod applications with Mini Drones as demonstrator
68 68  * **On the pragmatics of modelling large models in SCCharts** (Bachelor/Master)
69 69  Evaluate the possibilities to create and maintain large models in model-based languages (i.e. SCCharts) and provide suggestions for improvements
70 70  * **Extend the SC MoC to handle priority-based variable accesses** (Bachelor/Master)
... ... @@ -81,15 +81,11 @@
81 81  \\
82 82  * **Quartz **(Master)
83 83  Integrate the synchronous Quartz language into KIELER for validation purposes and teaching.
84 -* **Implementation of a priority-based compilation approach **(Master) [work in progress, Caroline Butschek]
80 +* **Implementation of a priority-based compilation approach **(Master) 
85 85  Implement the SyncCharts priority-based compilation approach into the SCCharts compiler chain.
86 -* **From Esterel to SCL **(Master) [work in progress, Karsten Rathlev]
87 -Implement transformations that translate Esterel programs to SCL
88 88  * **Curing Schizophrenia in SCCharts **(Master)
89 -Develop new synchronizer to handle schizophrenia properly (e.g. depth join).**
90 -**
91 -* **Railway 4.0 **(Master) [work in progress, Nis Wechselberg]
92 -Design a new and modern hardware controlling (Version 4) for the railway installation.
83 +Develop new synchronizer to handle schizophrenia properly (e.g. depth join).
84 +\\
93 93  
94 94  = PRETSY / PRETSY2 =
95 95  
... ... @@ -97,12 +97,7 @@
97 97  
98 98  * **Real-time extensions for SCCharts** (Bachelor/Master)
99 99  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.
100 -* **Adding dataflow to SCCharts** (Bachelor/Master) [work in progress, Axel Umland]
101 -Add dataflow to SCCharts
102 102  \\
103 -* **Multithreaded/Multicore execution of SCCharts **(Master/Bachelor)  [work in progress, Tibor Weiß]
104 -Evaluate possibilities to preserve parallelism in SCCharts, implement mapping for (fine grained) multithreading and multicore 
105 -based on the [[FlexPRET>>url:http://www.eecs.berkeley.edu/Pubs/TechRpts/2013/EECS-2013-172.pdf||shape="rect"]] processor.
106 106  
107 107  = (% style="color: rgb(0,0,0);" %)Miscellaneous Topics(%%) =
108 108  
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -10751672
1 +10752004
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RTSYS/pages/10751672/Topics for Student Theses
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RTSYS/pages/10752004/Topics for Student Theses