Skip to Content

Changes for page Available Topics

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

Summary

Details

Page properties
Content
... ... @@ -4,8 +4,12 @@
4 4  
5 5  * **Control flow graph layout**
6 6  Connect the KIELER layout algorithms to an external tool for control flow graphs used in compiler development.
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.
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.
9 9  * **Validation manager for models**
10 10  Develop an integrated, flexible and generic validation framework for models (e.g. Esterel or SyncCharts).
11 11  * **Railway track layout**
... ... @@ -12,13 +12,15 @@
12 12  Use KLighD to visualize railway tracks.
13 13  * **Transformation from SyncCharts to Esterel**
14 14  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"]].
15 15  * **Instruments for data visualization**
16 16  Develop visualizations of data values (e.g. through charts) and integrate them in the KIELER environment.
17 -* **Multicore Layout**
18 -Find good ways of distributing layout tasks in hierarchical diagrams to the different cores of multicore CPUs. Also, evaluate when a multithreaded approach starts to make sense, and how best to implement it.
19 19  
20 20  = Master Topics =
21 21  
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.
22 22  * **Expression language and modularization**
23 23  Develop an expression language with a type system for SyncCharts. Implement modularization of SyncCharts models.
24 24  * **FPGA Statecharts**
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -1998977
1 +885291
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RTSYS/pages/1998977/Topics for Student Theses
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RTSYS/pages/885291/Topics for Student Theses