Page tree

Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

Die Vorstellung des jeweils bearbeiteten Themas wird im Rahmen eines eintägigen Blockseminars verteilt auf zwei Tage stattfinden. Die Teilnahme am gesamten an beiden Seminartag ist Pflicht.Programm folgt.

Das erste Blockseminar findet am Montag, den 5. Februar 2018 im Ostseejugenddorf Falckenstein, Falkenhorst 6, 24159 Kiel-Friedrichsort statt, und zwar im Raum "Fördeblick". Bitte wetterfeste Kleidung und passendes Schuhwerk für einen Spaziergang in der Mittagspause mitbringen!

ZeitTagesordnungspunkt
8:20Begrüßung
8:30LibGALS: A library for GALS systems design and modeling
9:00Java Embedded Processors specialized for GALS Programs
9:30Energie- und zeitabhängige synchrone Programmierung
10:00Kaffeepause
10:30A Formally Verified Compiler for Lustre
11:15Modular Verification of Synchronous Programs
12:00Mittagessen
14:00

Temporal Properties for Neuronal Archetypes using Synchronous Models

14:45The Dynamic Synchronous Language DSL
15:30Kaffeepause
16:00WCET Semantics for Synchronous Programs
16:45Relaxing the Synchronous Approach for Mixed-Criticality Systems
17:30Schlusswort


Das zweite Blockseminar findet am Dienstag, den 6. Februar 2018 in der Uni in CAP4 R.1115 (RTSYS Labor) statt.

ZeitTagesordnungspunkt
10:10Begrüßung
10:15Eine Einordnung der Sprache Zélus
10:45Symbolic Simulation of Dataflow Synchronous Programs with Timers
11:15Synchrone Programme für Echtzeitsysteme mittels dynamischer Tickfunktionen
11:45Synchronous-Reactive Web Programming
12:15Mittagessen
13:00ReactiveML, 10 Years Later - Ein Überblick
13:30Reactive Languages and Complex Event Processing
14:00Koordination mehrerer Autonomer Manager
14:30Schlusswort


Ausarbeitung, Vortrag, Review

...