...
Datum | Meilenstein |
---|---|
Di, 24.10. | Ende der Frist für die Themenauswahl (per Email) |
Di, 24.10., 14:30 Uhr | Vorbesprechung/Kick-Off, Latex/Git Kurzeinführung, CAP 4, R. 1115 |
Di, 14.11., 8:00 Uhr | Abgabe Ausarbeitungsgerüst (Abstract, Einleitung, Gliederung, Stichworte zum Inhalt der Kapitel, Bibliographie) |
Mi, 15.11 & Fr, 17.11 | Individualtermine, CAP 4, R. 1113 |
Di, 12.12., 8:00 Uhr | Abgabe der Erstversion der vollständigen Ausarbeitung |
Mi, 13.12 & Fr, 15.12 | Individualtermine, CAP 4, R. 1113 |
Di, 09.01., 8:00 Uhr | Abgabe der Review-Version der Ausarbeitung |
anschließend | Zuordnung Ausarbeitungen/Reviewer (per Email) |
Di, 16.01., 8:00 Uhr | Abgabe der Reviews |
tba | evtl. Vortrag zur Gestaltung einer guten Präsentation |
Di, 23.01., 8:00 Uhr | Abgabe der Vortragsfolien und Handoutfolien (siehe Hinweise unten) |
Mi, 24.01 & Fr, 26.01 | Individualtermine, CAP 4, R. 1113 |
Do, 01.02., 8:00 Uhr | Abgabe der Endversionen der Vortragsfolien, Handouts und Ausarbeitungen, Anschließend Druck der Proceedings (inkl. Ausarbeitungen und Handoutfolien) |
DiMo, 05.02. (+ MiDi, 06.02.) | Ganztägiges Blockseminar mit Vorträgen |
...
Die Vorstellung des jeweils bearbeiteten Themas wird im Rahmen eines eintägigen Blockseminars verteilt auf zwei Tage stattfinden. Die Teilnahme am gesamten Seminartag an beiden Seminartagen 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 | 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
...