Skip to Content

Changes for page Available Topics

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

Summary

Details

Page properties
Author
... ... @@ -1,1 +1,1 @@
1 -XWiki.ssm
1 +XWiki.uru
Content
... ... @@ -46,6 +46,8 @@
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
49 49  * **On the usability of the KIELER SCCharts compiler** (Bachelor)
50 50  Evaluate the actual implementation of the KIELER SCCharts compiler and provide suggestions for improvements, i.e. the usability as standalone (commandline) compiler
51 51  \\
... ... @@ -61,6 +61,8 @@
61 61  Profile the actual SCCharts compiler and apply optimizations; also evaluate the possibility to use multiple cores for compilation
62 62  * **Optimization of the SCCharts transformations** (Bachelor/Master)
63 63  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
64 64  * **On the pragmatics of modelling large models in SCCharts** (Bachelor/Master)
65 65  Evaluate the possibilities to create and maintain large models in model-based languages (i.e. SCCharts) and provide suggestions for improvements
66 66  * **Extend the SC MoC to handle priority-based variable accesses** (Bachelor/Master)
... ... @@ -77,11 +77,15 @@
77 77  \\
78 78  * **Quartz **(Master)
79 79  Integrate the synchronous Quartz language into KIELER for validation purposes and teaching.
80 -* **Implementation of a priority-based compilation approach **(Master) 
84 +* **Implementation of a priority-based compilation approach **(Master) [work in progress, Caroline Butschek]
81 81  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
82 82  * **Curing Schizophrenia in SCCharts **(Master)
83 -Develop new synchronizer to handle schizophrenia properly (e.g. depth join).
84 -\\
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.
85 85  
86 86  = PRETSY / PRETSY2 =
87 87  
... ... @@ -89,7 +89,12 @@
89 89  
90 90  * **Real-time extensions for SCCharts** (Bachelor/Master)
91 91  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
92 92  \\
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.
93 93  
94 94  = (% style="color: rgb(0,0,0);" %)Miscellaneous Topics(%%) =
95 95  
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -10752004
1 +10751672
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RTSYS/pages/10752004/Topics for Student Theses
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RTSYS/pages/10751672/Topics for Student Theses