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. ssm1 +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 -10752 0041 +10751672 - URL
-
... ... @@ -1,1 +1,1 @@ 1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RTSYS/pages/10752 004/Topics for Student Theses1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RTSYS/pages/10751672/Topics for Student Theses