...
Die Vorstellung des jeweils bearbeiteten Themas wird im Rahmen eines Blockseminars verteilt auf zwei Tage stattfinden. Die Teilnahme an beiden Seminartag Seminartagen ist Pflicht.
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 | Florian Scheurer |
9:00 | Java Embedded Processors specialized for GALS Programs | Dennis Smolka |
9:30 | Energie- und zeitabhängige synchrone Programmierung | |
10:00 | Kaffeepause | |
10:30 | A Formally Verified Compiler for Lustre | Philip Eumann |
11:15 | Modular Verification of Synchronous Programs | Sören Domrös |
12:00 | Mittagessen | |
14:00 | Temporal Properties for Neuronal Archetypes using Synchronous Models | Lena Grimm |
14:45 | The Dynamic Synchronous Language DSL | Andreas Stange |
15:30 | Kaffeepause | |
16:00 | WCET Semantics for Synchronous Programs | Niklas Rentz |
16:45 | Relaxing the Synchronous Approach for Mixed-Criticality Systems | Lewe Andersen |
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 | Julian Pleines |
10:45 | Symbolic Simulation of Dataflow Synchronous Programs with Timers | Lennart Ideler |
11:15 | Synchrone Programme für Echtzeitsysteme mittels dynamischer Tickfunktionen | Felix von der Heide |
11:45 | Synchronous-Reactive Web Programming | Yannic Borgfeld |
12:15 | Mittagessen | |
13:00 | ReactiveML, 10 Years Later - Ein Überblick | |
13:30 | Reactive Languages and Complex Event Processing | Lars Viertel |
14:00 | Koordination mehrerer Autonomer Manager | Dennis Pehlke |
14:30 | Schlusswort |
Ausarbeitung, Vortrag, Review
...