Skip to Content

Changes for page Available Topics

Last modified by Maximilian Kasperowski on 2026/03/09 09:06
From version 43.1
edited by ssm
on 2014/12/27 17:54
Change comment: There is no comment for this version
To version 41.1
edited by cds
on 2014/12/09 11:16
Change comment: There is no comment for this version

Summary

Details

Page properties
Author
... ... @@ -1,1 +1,1 @@
1 -XWiki.ssm
1 +XWiki.cds
Content
... ... @@ -41,63 +41,64 @@
41 41  
42 42  = Semantics and Synchronous Languages =
43 43  
44 -**Advisors:** Christian Motika, Steven Smyth
44 +**Advisors:** Christian Motika, Steven Smyth.
45 45  
46 -* **Automatic documentation generation for model-based languages **(Bachelor)
47 -Develop an automatic SCCharts documentation & comment system
48 -* **Merging SCCharts and KLOTS** (Bachelor)
49 -Implement KLOTS as demonstrator extension of the KIELER SCCharts implementation
50 -\\
51 -* **Validation Manager for Models **(Bachelor/Master)
46 +* **Validation Manager for Models**
52 52  Develop an integrated, flexible and generic syntactic validation framework for models (e.g. Esterel or SyncCharts).
53 -* **SCCharts compiler validation with Esterel **(Bachelor/Master)
48 +* **SCCharts compiler validation with Esterel**
54 54  Automate the validation of the SCCharts compiler using the Esterel simulation.
55 -* **Transformation from SCCharts to Esterel** (Bachelor/Master)
50 +* **Transformation from SCCharts to Esterel** [possibly also Master Topic]
56 56  Develop a transformation in Xtend2 to generate Esterel code for SCCharts.
57 -* **Hardware Synthesis from SCCharts to FPGA **(Bachelor/Master)
52 +* **Hardware Synthesis from SCCharts to FPGA **[possibly also Master Topic]
58 58  Use the circuit-based code generation to produce code for FPGAs
59 -* (% style="line-height: 1.4285715;" %)**Optimization of the SCCharts compiler **(%%)(Bachelor/Master)
54 +* **Automatic documentation generation **[possibly also Master Topic]
55 +Develop an automatic SCCharts documentation system
56 +* **Optimizations for the SCCharts compiler **[possibly also Master Topic]
60 60  Profile the actual SCCharts compiler and apply optimizations
61 -* **Optimization of the SCCharts transformations** (Bachelor/Master)
62 -Profile the actual SCCharts transformations and apply optimizations
63 -\\
64 -* **Detecting tick boundaries in SCCharts **(Master/Bachelor)
65 -Implement an algorithm that detects tick boundaries (in concurrent) threads and therefore improves the scheduling
66 -* **Efficient data dependency analyses in SCCharts** (Master/Bachelor)
67 -Implement data dependency analyses for SCCharts
68 -* **KIELER evaluation environment for synchronous languages** (Master/Bachelor)
69 -Develop a reliable evaluation environment to compare common synchronous languages (i.e. Esterel/SyncCharts & SCCharts)
70 -* **Raceyard evaluation** (Master/Bachelor)
71 -Evaluate the possibility for the use of SCCharts in the Raceyard context and pave the way for future experiments
72 -\\
73 -* **Quartz **(Master)
74 -Integrate the synchronous Quartz language into KIELER for validation purposes and teaching.
75 -* **Implementation of a priority-based compilation approach **(Master) [work in progress, Caroline Butschek]
76 -Implement the SyncCharts priority-based compilation approach into the SCCharts compiler chain.
77 -* **From Esterel to SCL **(Master) [work in progress, Karsten Rathlev]
78 -Implement transformations that translate Esterel programs to SCL
79 -* **Curing Schizophrenia in SCCharts **(Master)
80 -Develop new synchronizer to handle schizophrenia properly (e.g. depth join).**
81 -**
82 -* **Railway 4.0 **(Master) [work in progress, Nis Wechselberg]
83 -Design a new and modern hardware controlling (Version 4) for the railway installation.
58 +* **Multi-core SCCharts compiler **[possibly also Master Topic]
59 +Implement the possibility to use more than one core to compile large SCCharts
60 +* **Adding dataflow to SCCharts** [possibly also Master Topic]
61 +Add dataflow to SCCharts
84 84  
85 85  = PRETSY / PRETSY2 =
86 86  
87 -**Advisors:** Insa Fuhrmann, Steven Smyth
65 +**Advisors:** Insa Fuhrmann.
88 88  
89 -* **Real-time extensions for SCCharts** (Bachelor/Master)
67 +* **Real-time extensions for SCCharts** [possibly also Master Topic]
90 90  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.
91 -* **Adding dataflow to SCCharts** (Bachelor/Master) [work in progress, Axel Umland]
92 -Add dataflow to SCCharts 
93 -\\
94 -* **Multithreaded/Multicore execution of SCCharts **(Master/Bachelor)
95 -Evaluate possibilities to preserve parallelism in SCCharts, implement mapping for (fine grained) multithreading and multicore 
96 -based on the [[FlexPRET>>url:http://www.eecs.berkeley.edu/Pubs/TechRpts/2013/EECS-2013-172.pdf||shape="rect"]] processor.
69 +* See also Semantics and Synchronous Languages: **Adding dataflow to SCCharts**
97 97  
98 -= (% style="color: rgb(0,0,0);" %)Miscellaneous Topics(%%) =
71 += Miscellaneous Topics =
99 99  
100 100  **Advisors:** to be determined.
101 101  
102 102  * **Developing an Info Screen** (Bachelor)
103 103  Info screens are screens that present data in ways that can be easily understood. This includes static data (project description graphics, members of a team, ...) as well as dynamically aggregated data (bug statistics, automatic build overviews, ...). This topic is about developing such an info screen for our group and making it easily configurable.
77 +
78 +----
79 +
80 += (% style="color: rgb(0,0,0);" %)Master Topics(%%) =
81 +
82 +== Semantics and Synchronous Languages ==
83 +
84 +* **Quartz**
85 +Integrate the synchronous Quartz language into KIELER for validation purposes and teaching.
86 +* **Implementation of a priority-based compilation approach**
87 +Implement the SyncCharts priority-based compilation approach into the SCCharts compiler chain.
88 +* **Curing Schizophrenia in SCCharts**
89 +Develop new synchronizer to handle schizophrenia properly (e.g. depth join).
90 +* **Detecting tick boundaries in SCCharts**
91 +Implement an algorithm that detects tick boundaries (in concurrent) threads and therefore improves the scheduling
92 +* **Multithreaded/Multicore execution of SCCharts **(see below PRETSY/PRETSY2)**
93 +**
94 +* **Railway 2.0**
95 +Design a new and modern hardware controlling (Version 4) for the railway installation.
96 +
97 +== PRETSY / PRETSY2 ==
98 +
99 +* **Multithreaded/Multicore execution of SCCharts**
100 +Evaluate possibilities to preserve parallelism in SCCharts, implement mapping for (fine grained) multithreading and multicore
101 +based on the [[FlexPRET>>url:http://www.eecs.berkeley.edu/Pubs/TechRpts/2013/EECS-2013-172.pdf||shape="rect"]] processor.**
102 +**
103 +
104 +
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -10748082
1 +10748078
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RTSYS/pages/10748082/Topics for Student Theses
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RTSYS/pages/10748078/Topics for Student Theses