Skip to Content

Changes for page Available Topics

Last modified by Maximilian Kasperowski on 2026/03/09 09:06
From version 4.1
edited by cds
on 2012/03/22 15:02
Change comment: There is no comment for this version
To version 11.1
edited by cds
on 2012/09/28 14:23
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -2,34 +2,32 @@
2 2  
3 3  = Bachelor Topics =
4 4  
5 -* **Control flow graph layout**
6 -Connect the KIELER layout algorithms to an external tool for control flow graphs used in compiler development.
7 -* **Node placement for layered graph layout** (in progress)
8 -Implement node placement algorithms such as the one of [[Brandes and Köpf>>url:http://www.springerlink.com/content/j8b63vh3yatf17mk/||shape="rect"]].
9 -* **Dynamic SyncCharts visualization**
10 -Develop a viewer for SyncCharts models using KLighD, including view management techniques such as focus & context.
11 -* **Actor-oriented modeling**
12 -Develop a viewer for KAOM models using KLighD, including custom rendering for [[Ptolemy>>url:http://ptolemy.eecs.berkeley.edu/||shape="rect"]]. Evaluate the [[eTrice>>url:http://www.eclipse.org/etrice/||shape="rect"]] project for possible cooperation.
5 +* **Control flow graph exploration/visualization**
6 +Use pragmatics concepts (automatic layout, focus & context) for exploring/visualizing control flow graphs and specific paths, eg. as computed by OTAWA WCET analysis tool, eg. using Klighd.
7 +* **SyncCharts and actor model visualization**
8 +Develop an integrated viewer for [[doc:SyncCharts]] and [[KAOM>>doc:Actor Oriented Modeling (KAOM)]] models using [[KLighD>>doc:Lightweight Diagrams (KLighD)]], including view management techniques such as focus & context and structure-based editing.
13 13  * **Validation manager for models**
14 -Develop an integrated, flexible and generic validation framework for models (e.g. Esterel or SyncCharts).
15 -* **Railway track layout**
16 -Use KLighD to visualize railway tracks.
17 -* **Transformation from SyncCharts to Esterel**
10 +Develop an integrated, flexible and generic syntactic validation framework for models (e.g. Esterel or SyncCharts).
11 +* **Esterel / SyncCharts Validation**
12 +Automate the validation for a (generic) SyncCharts simulator employing the Esterel simulator and the Esterel to SyncCharts transformation.
13 +* **Transformation from SyncCharts to Esterel** [possibly also Master Topic]
18 18  Develop a transformation in Xtend2 to generate Esterel code for SyncCharts.
19 -* **Connect CEC to Esterel editor for simulation** (in progress)
20 -[[Columbia Esterel Compiler>>url:http://www.cs.columbia.edu/%7Esedwards/cec/||shape="rect"]].
21 -* **Instruments for data visualization**
22 -Develop visualizations of data values (e.g. through charts) and integrate them in the KIELER environment.
15 +* **Layering algorithms**
16 +Implement an alternative algorithm for the layer assignment problem used in the layer-based approach to graph layout.
17 +* **Heuristics for Side Aware Edge Label Placement**
18 +Think about and implement heuristic algorithms for solving the edge aware edge label placement problem for placing edge labels in data flow diagrams.
19 +* **Incremental Update for Klighd**
20 +Incremental update of Klighd data structure after editing.
21 +* **Visualizing Model Edits/Changes**
22 +Develop and implement methods to visualize a model while it is edited. A particular concern here is the preservation of the mental map.
23 23  
24 24  = Master Topics =
25 25  
26 -* **Dynamic, adaptable views in KLighD**
27 -Develop concepts such as focus & context and incremental update in the dynamic-views approach of KLighD, with SyncCharts, KAOM and possibly YAKINDU as example applications.
28 -* **Expression language and modularization**
29 -Develop an expression language with a type system for SyncCharts. Implement modularization of SyncCharts models.
26 +* **SyncCharts in Yakindu**
27 +Develop a SyncChart-Editor based on Yakindu, including basic pragmatics concept (automatic layout, collapse/expand, structure-based editing) and interfacing to host-language.
30 30  * **FPGA Statecharts**
31 31  Development of a Statecharts editor, based on .NET, WPF, MS Silverlight. Synthesis onto FPGAs with a data-flow-based intermediate format.
32 -* **Quartz**
30 +* **Diagram description language**
31 +Developing the concepts and implementation of a diagram description language based on Klighd, with SyncCharts as application example.
32 +* **[Quartz]**
33 33  Integrate the synchronous Quartz language into KIELER for validation purposes and teaching.
34 -* **Esterel / SyncCharts Validation**
35 -Automate the validation for a (generic) SyncCharts simulator employing the Esterel simulator and the Esterel to SyncCharts transformation.
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -885291
1 +2981906
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RTSYS/pages/885291/Topics for Student Theses
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RTSYS/pages/2981906/Topics for Student Theses