...
Dennis Pehlke: Gueye, S. M.; De Palma, N.; Rutten, E.; Tchana, A., Coordinating multiple administration loops using discrete control (language: Heptagon/BZR), ACM SIGOPS Operating Systems Review, vol. 47, issue 3, December 2013, pp. 18-25.
Nicolas Jessen: Talpin, J.-P; Brandt, J.; Gemünde, M.; Schneider, M.; Shukla, S., Constructive Polychronous Systems, Logical Foundations of Computer Science. vol. 7734, 2013.
Felix von der Heide: Reinhard von Hanxleden and Timothy Bourke and Alain Girault. Real-Time Ticks for Synchronous Programming. In Proc. Forum on Specification and Design Languages (FDL ’17), Verona, Italy, 2017.
Lennart Ideler: Guillaume Baudart and Timothy Bourke and Marc Pouzet. Symbolic Simulation of Dataflow Synchronous Programs with Timers. In Proc. Forum on Specification and Design Languages (FDL ’17), Verona, Italy, 2017.
D. Li, Z. Zhai, Z. Pang, V. Vyatkin and C. Liu, Synchronous-reactive Semantic Modelling and Verification for Function Block Networks, in IEEE Transactions on Industrial Informatics
Master Empfehlung
Jan Reese: Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Stavros Tripakis and Reinhard von Hanxleden. Runtime enforcement of reactive systems using synchronous enforcers. In CoRR, vol. abs/1612.05030, 2016.
...
Sören Domrös: Gesell, M.; Schneider, K., Modular verification of synchronous programs, Application of Concurrency to System Design (ACSD), 2013 13th International Conference on, pp. 70, 79, 8-10 Juli 2013
Shaver, C.; Lee, E.A., The coroutine model of computation, Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems 2012 (MODELS'12), pp. 319-334. PDF hier.
Die Bearbeitung dieses Themas sollte sich auch mit ev. aktuellen Weiterentwicklungen beschäftigen, siehe z.B. den Vortrag von Chris Shaver beim Synchronworkshop 2013: Slides und die Homepage des Autors.
Elisabetta De Maria, Alexandre Muzy, Daniel Gaffé, Annie Ressouche, Franck Grammont. Verification of Temporal Properties of Neuronal Archetypes Using Synchronous Models. [Research Report] RR-8937, UCA, Inria; UCA, I3S; UCA, LEAT; UCA, LJAD. 2016, pp.21.
Bourke T., Colaço JL., Pagano B., Pasteur C., Pouzet M. (2015) A Synchronous-Based Code Generator Lena Grimm: Elisabetta De Maria, Alexandre Muzy, Daniel Gaffé, Annie Ressouche, Franck Grammont. Verification of Temporal Properties of Neuronal Archetypes Using Synchronous Models. [Research Report] RR-8937, UCA, Inria; UCA, I3S; UCA, LEAT; UCA, LJAD. 2016, pp.21.
Bourke T., Colaço JL., Pagano B., Pasteur C., Pouzet M. (2015) A Synchronous-Based Code Generator for Explicit Hybrid Systems Languages. In: Franke B. (eds) Compiler Construction. CC 2015. Lecture Notes in Computer Science, vol 9031. Springer, Berlin, Heidelberg
Guillaume Baudart, Timothy Bourke, and Marc Pouzet. Soundness of the Quasi-Synchronous Abstraction. In International Conference on Formal Methods in Computer-Aided Design (FMCAD), Mountain View, California, USA, October, 3-6 2016
Michael Sack: Brandt, J.; Schneider, K.; Passive code in synchronous programs, ACM Transactions on Embedded Computing Systems (TECS), Special Section, vol. 13 issue 2s, Jan2014, article No. 67.
Andreas Stange: Attar, P.; Boussinot, F.; Mandel, L.; Susini, J.-F., Proposal for a Dynamic Synchronous Language, INRIA, Research Proposal, 2011.
Gamatié, A.; Gonnord, L., Static analysis of synchronous programs in signal for efficient design of multi-clocked embedded systems, Conference on Languages, Compilers and Tools for Embedded Systems (ACM SIGPLAN/SIGBED), LCTES 2011:71-80.
Termine
Vorläufige Terminplanung
| 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 | |
| FrDi, 1714.11., 8:00 Uhr | Abgabe Ausarbeitungsgerüst (Abstract, Einleitung, Gliederung, Stichworte zum Inhalt der Kapitel, Bibliographie) | |
| tba | Individualtermine | |
| Fr, 15Mi, 15.11 & Fr, 17.11 | Individualtermine, CAP 4, R. 1113 | |
| Di, 12.12., 8:00 Uhr | Abgabe der Erstversion der vollständigen Ausarbeitung | |
| tba | IndividualtermineMi, 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) | |
| tba | Individualtermine | |
| Do, 01.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) | |
| FrMo, 05.02. (+ Di, 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
...