...
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!
Zeit | Tagesordnungspunkt |
---|---|
8:20 | Begrüßung |
8:30 | LibGALS: A library for GALS systems design and modeling |
9:00 | Java Embedded Processors specialized for GALS Programs |
9:30 | Energie- und zeitabhängige synchrone Programmierung |
10:00 | Kaffeepause |
10:30 | A Formally Verified Compiler for Lustre |
11:15 | Modular Verification of Synchronous Programs |
12:00 | Mittagessen |
14:00 | Temporal Properties for Neuronal Archetypes using Synchronous Models |
14:45 | The Dynamic Synchronous Language DSL |
15:30 | Kaffeepause |
16:00 | WCET Semantics for Synchronous Programs |
16:45 | Relaxing the Synchronous Approach for Mixed-Criticality Systems |
17:30 | Schlusswort |
Das zweite Blockseminar findet am Dienstag, den 6. Februar 2018 in der Uni in CAP4 R.1115 (RTSYS Labor) statt.
Zeit | Tagesordnungspunkt |
---|---|
10:10 | Begrüßung |
10:15 | Eine Einordnung der Sprache Zélus |
10:45 | Symbolic Simulation of Dataflow Synchronous Programs with Timers |
11:15 | Synchrone Programme für Echtzeitsysteme mittels dynamischer Tickfunktionen |
11:45 | Synchronous-Reactive Web Programming |
12:15 | Mittagessen |
13:00 | ReactiveML, 10 Years Later - Ein Überblick |
13:30 | Reactive Languages and Complex Event Processing |
14:00 | Koordination mehrerer Autonomer Manager |
14:30 | Schlusswort |
Ausarbeitung, Vortrag, Review
...