Wiki source code of Topics for Student Theses
Version 1.1 by cds on 2012/03/21 16:32
Show last authors
| author | version | line-number | content |
|---|---|---|---|
| 1 | = Bachelor Topics = | ||
| 2 | |||
| 3 | * **Control flow graph layout** | ||
| 4 | Connect the KIELER layout algorithms to an external tool for control flow graphs used in compiler development. | ||
| 5 | * **Node placement for layered graph layout** | ||
| 6 | Implement node placement algorithms such as the one of [[http:~~/~~/www.springerlink.com/content/j8b63vh3yatf17mk/ Brandes and Köpf>>url:http://www.springerlink.com/content/j8b63vh3yatf17mk/%20Brandes%20and%20K%C3%B6pf||shape="rect"]]. | ||
| 7 | * **Dynamic SyncCharts visualization** | ||
| 8 | Develop a viewer for SyncCharts models using KLighD, including view management techniques such as focus & context. | ||
| 9 | * **Actor-oriented modeling** | ||
| 10 | Develop a viewer for KAOM models using KLighD, including custom rendering for [[http:~~/~~/ptolemy.eecs.berkeley.edu/ Ptolemy>>url:http://ptolemy.eecs.berkeley.edu/%20Ptolemy||shape="rect"]]. Evaluate the [[http:~~/~~/www.eclipse.org/etrice/ eTrice>>url:http://www.eclipse.org/etrice/%20eTrice||shape="rect"]] project for possible cooperation. | ||
| 11 | * **Validation manager for models** | ||
| 12 | Develop an integrated, flexible and generic validation framework for models (e.g. Esterel or SyncCharts). | ||
| 13 | * **Railway track layout** | ||
| 14 | Use KLighD to visualize railway tracks. | ||
| 15 | * **Transformation from SyncCharts to Esterel** | ||
| 16 | Develop a transformation in Xtend2 to generate Esterel code for SyncCharts. | ||
| 17 | * **Connect CEC to Esterel editor for simulation** (in progress) | ||
| 18 | [[http:~~/~~/www.cs.columbia.edu/~~~~sedwards/cec/ Columbia Esterel Compiler>>url:http://www.cs.columbia.edu/%7Esedwards/cec/%20Columbia%20Esterel%20Compiler||shape="rect"]] | ||
| 19 | * **Instruments for data visualization** | ||
| 20 | Develop visualizations of data values (e.g. through charts) and integrate them in the KIELER environment. | ||
| 21 | |||
| 22 | = Master Topics = | ||
| 23 | |||
| 24 | * **Dynamic, adaptable views in KLighD** | ||
| 25 | 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. | ||
| 26 | * **Expression language and modularization** | ||
| 27 | Develop an expression language with a type system for SyncCharts. Implement modularization of SyncCharts models. | ||
| 28 | * **FPGA Statecharts** | ||
| 29 | Development of a Statecharts editor, based on .NET, WPF, MS Silverlight. Synthesis onto FPGAs with a data-flow-based intermediate format. | ||
| 30 | * **Quartz** | ||
| 31 | Integrate the synchronous Quartz language into KIELER for validation purposes and teaching. | ||
| 32 | * **Esterel / SyncCharts Validation** | ||
| 33 | Automate the validation for a (generic) SyncCharts simulator employing the Esterel simulator and the Esterel to SyncCharts transformation. |