Real-Time and Embedded Systems

Oberseminar

2 SWS

Zeiten: 30.09. und 22.10.2010, 9:00 Uhr

Ort: Ü2 (30.09) / Ü2 (22.10.)

Dozent: Reinhard v. Hanxleden

Inhalt:

In diesem Blockseminar werden Vorträge zu aktuellen Ergebnissen und Problemstellungen der Forschung aus dem Bereich Echtzeitsysteme und Eingebettete Systeme gehalten. Es werden laufende Bachelorarbeiten, Masterarbeiten, Studienarbeiten, Diplomarbeiten und Dissertationen vorgestellt.

Programm 30.09.2010:

Bachelorkolloquien (30 min Vortrag + 10 min Diskussion)

9:00, mhei: SyncCharts in Java (pdf)
9:40, mri: A Graph Editor for Algorithm Engineering
 (pdf)

10:20 Pause

10:40, pkl: Example Management in KIELER
 (pdf)
11:20, jjc: Visualization of Data
 (pdf)

12:00 - 13:00 Mittag

13:00, ocl: Integration of a Planarization-Based Layout Algorithm
 (pdf)
13:40, cku: Planarization of Hypergraphs
 (pdf)
14:20, pdo: Algorithms for Layer Assignment
 (pdf)

15:00 Ende

Programm 22.10.2010:

Langvorträge (L): 30 min Vortrag + 10 min Diskussion
Kurzvorträge (S): 15 min Vortrag + 5 min Diskussion


9:00, haf (L): KIELER (pdf)
9:40, mmu (L): View Management for Graphical Models (pdf)

10:20, Dr. Christoph Störmer (S): ETAS und MEX

10:40 Pause

11:00, chsch (L): Integrating Graphical and Textual Modeling
 (pdf)
11:40, bdu (L): Evolutionary Meta Layout (pdf)
12:20, msp (L): Layered Crossing Minimization (pdf)

13:00 Mittag

14:00, jes (S): Simulation and Model Checking of UML State Machines with Maude (pdf)
14:20, cmot (L): On Code Generation and Model Execution in KIELER (pdf)
15:00, rvh (S): (News on) SC (pdf)
15:20, ybe (S): SJ debugging on Mindstorms (pdf)

15:40 Pause

16:00, nks (L): SyncCharts in C auf Multicore
 (pdf)
16:40, abl (L): Eine domänenspezifische Sprache für elektronische Stellwerke (pdf)
17:20, grh (S): Visualisierung von Xtext State Machines (mit GMF, oAW und KIELER) (pdf)


Ca. 18:00: Ausklang (Galileo? Trauma? Mensa-Lounge???)