Changes for page Available Topics
Last modified by Niklas Rentz on 2025/03/13 09:21
Summary
-
Page properties (2 modified, 0 added, 0 removed)
-
Objects (1 modified, 0 added, 0 removed)
Details
- Page properties
-
- Author
-
... ... @@ -1,1 +1,1 @@ 1 -XWiki. uru1 +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 -1075 16721 +10752004 - URL
-
... ... @@ -1,1 +1,1 @@ 1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RTSYS/pages/1075 1672/Topics for Student Theses1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RTSYS/pages/10752004/Topics for Student Theses