Wiki source code of 2017/18 Synchrone Sprachen

Last modified by Richard Kreissig on 2025/01/30 11:55
Hide last authors
Alexander Schulz-Rosengarten 1.1 1 (((
2 (% class="bodytext" style="text-align: left;" %)
Richard Kreissig 60.1 3 (% style="color:#222222" %)Sinn dieses Seminars ist es, sich mit einem Themengebiet aus dem Bereich der synchronen Sprachen und angrenzenden Themen intensiv und selbständig wissenschaftlich auseinanderzusetzen. Das Thema ist in einem mündlichen Vortrag und einer schriftlichen Ausarbeitung zusammenzufassen. Ein weiterer Sinn dieses Seminars ist es, das Arbeiten in strukturierten zeitlichen Abläufen zu praktizieren, wie es z.B. für Workshops/Tagungen üblich ist. Beide Aspekte sind erfahrungsgemäß eine gute Vorbereitung auf die Anfertigung einer Abschlussarbeit.
Alexander Schulz-Rosengarten 1.1 4
Alexander Schulz-Rosengarten 4.1 5
Alexander Schulz-Rosengarten 1.1 6 (% class="bodytext" style="text-align: left;" %)
7 Dieses Seminar wird in zwei Varianten angeboten, als Bachelor-Modul und als Master-Modul. Im Vergleich zum Bachelorseminar erwartet das Masterseminar eine größere Einbeziehung von verwandten Arbeiten, und dementsprechend eine umfangreichere Ausarbeitung und Präsentation (siehe unten).
8
9 (% style="text-align: left;" %)
10 == Voraussetzungen ==
11
Alexander Schulz-Rosengarten 4.1 12 Das Seminar baut auf Inhalten aus der Vorlesung "Synchrone Sprachen" auf. Seminarteilnehmern, welche diese Vorlesung noch nicht gehört haben, wird als Einstieg folgendes Überblickspapier empfohlen, zumindest hiervon die Abschnitte I und II:
13
14 Benveniste, A.; Caspi, P.; Edwards, S.A.; Halbwachs, N.; Le Guernic, P.; de Simone, R., "The synchronous languages 12 years later," //Proceedings of the IEEE// , vol.91, no.1, pp.64,83, Jan 2003 ([[pdf>>url:http://www.cs.columbia.edu/%7Esedwards/papers/benveniste2003synchronous.pdf||shape="rect" class="MIME-application MIME--pdf external-link"]]).
15
Alexander Schulz-Rosengarten 1.1 16
Alexander Schulz-Rosengarten 10.1 17 Wir empfehlen zudem den Besuch der Blockveranstaltung **[[Wissenschaftliches Arbeiten für Seminar und Abschlussarbeiten>>url:http://univis.uni-kiel.de/form?__s=2&dsc=anew/lecture_view&lvs=techn/infor/inform/websci/winfwi&anonymous=1&dir=techn/infor/inform/websci&ref=lecture&sem=2017w&__e=346||shape="rect"]]** von Frau Peters.
Alexander Schulz-Rosengarten 4.1 18
Alexander Schulz-Rosengarten 1.1 19 (% style="text-align: left;" %)
20 == Dozenten ==
21
22 (% class="bodytext" style="text-align: left;" %)
23 Reinhard von Hanxleden (rvh@[[informatik.uni-kiel.de>>url:http://informatik.uni-kiel.de||shape="rect"]])(% class="Apple-converted-space" %) (%%)
Alexander Schulz-Rosengarten 3.1 24 Alexander Schulz-Rosengarten (als@[[informatik.uni-kiel.de>>url:http://informatik.uni-kiel.de||shape="rect"]])
Alexander Schulz-Rosengarten 1.1 25
26 (% style="text-align: left;" %)
27 == Themen ==
28
29 (% class="bodytext" style="text-align: left;" %)
Alexander Schulz-Rosengarten 7.1 30 Zur Verfügung stehen die folgenden Paper. Sie sind grob in Master- und Bachelor-Themen eingeteilt, anhand von Umfang, Komplexität und benötigtem Vorwissen. Dies soll aber nicht davon abhalten bei überwältigendem Interesse auch als Bachelor ein Master-Thema zu bearbeiten.
Alexander Schulz-Rosengarten 1.1 31
32 (% class="bodytext" style="text-align: left;" %)
Alexander Schulz-Rosengarten 29.1 33 //Die aktuelle Auswahl ist vorläufig!// Die Themen können bereits gewählt werden, aber bis zum Beginn des Wintersemesters wird die Liste ggf. noch erweitert.
34 Die Paper werden first-come-first-serve vergeben. Ist ein Paper schon an jemanden vergeben vermerken wir das hier.
Alexander Schulz-Rosengarten 7.1 35
36 (% class="bodytext" style="text-align: left;" %)
Alexander Schulz-Rosengarten 3.1 37 Viele der Links werden nur aus dem Netz der Uni Kiel heraus funktionieren. Bei Problemen einfach Bescheid sagen.
Alexander Schulz-Rosengarten 7.1 38 )))
39
Alexander Schulz-Rosengarten 9.1 40 === Bachelor Empfehlung ===
41
Alexander Schulz-Rosengarten 8.1 42 (% class="bodytext" style="margin-left: 30.0px;" %)
ssm 25.1 43 **Yannic Borgfeld:** Rémy El Sibaïe and Emmanuel Chailloux. 2016. [[Synchronous-reactive web programming>>url:http://dl.acm.org/ft_gateway.cfm?id=3001931&ftid=1805607&dwn=1&CFID=781322691&CFTOKEN=53048925||shape="rect"]]. In //Proceedings of the 3rd International Workshop on Reactive and Event-Based Languages and Systems// (REBLS 2016). ACM, New York, NY, USA
Alexander Schulz-Rosengarten 12.1 44
45 (% class="bodytext" style="margin-left: 30.0px;" %)
Richard Kreissig 60.1 46 **Julian Pleines:** Bourke, T.; Pouzet, M., [[Zélus: a synchronous language with ODEs>>url:http://dl.acm.org/citation.cfm?id=2461348||shape="rect"]], Proceedings of the 16th international conference on Hybrid systems: computation and control, pp. 113-118, 2013.
47 //Dieses Paper ist etwas weniger umfangreich, dafür ist voraussichtlich deutlich mehr Arbeitsaufwand für das Hintergrundverständnis erforderlich, insbesondere für Studierende ohne Vorkenntnisse auf dem Gebiet Synchrone Sprachen.//
Alexander Schulz-Rosengarten 7.1 48
Alexander Schulz-Rosengarten 9.1 49 (% class="bodytext" style="margin-left: 30.0px;" %)
ssm 27.1 50 **Dennis Smolka:** Nadeem, M.; Biglari-Abhari, M.; Salcic, Z., [[GALS-JOP: A Java Embedded Processor for GALS Reactive Programs>>url:http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6119095||shape="rect"]], IEEE Ninth International Conference on Dependable, Autonomic and Secure Computing (DASC), 2011.
Alexander Schulz-Rosengarten 8.1 51
52 (% class="bodytext" style="margin-left: 30.0px;" %)
Richard Kreissig 60.1 53 (% class="authors-info ng-binding ng-binding ng-isolate-scope ng-scope ng-scope" %)**Nils Sauer:** JiaJie Wang(% class="authors-info ng-binding ng-scope" %); (% class="authors-info ng-binding ng-binding ng-isolate-scope ng-scope ng-scope" %)Patha S. Roop(% class="authors-info ng-binding ng-scope" %); (% class="authors-info ng-binding ng-binding ng-isolate-scope ng-scope ng-scope" %)Alain Girault(% class="authors-info ng-binding ng-scope ng-scope" %). (% class="authors-info ng-binding ng-binding ng-scope ng-scope" %)[[Energy and timing aware synchronous programming>>url:http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=7743219||shape="rect"]], //2016 International Conference on Embedded Software (EMSOFT)//, Pittsburgh, PA, 2016, pp. 1-10.
Alexander Schulz-Rosengarten 17.1 54
55 (% class="bodytext" style="margin-left: 30.0px;" %)
Richard Kreissig 60.1 56 (% class="authors-info ng-binding ng-binding ng-scope ng-scope" %)**Thies Weber:** Louis Mandel, Cédric Pasteur, and Marc Pouzet. [[ReactiveML, Ten Years Later>>url:https://www.di.ens.fr/~~pouzet/bib/ppdp15.pdf||shape="rect"]]. In //ACM International Conference on Principles and Practice of Declarative Programming (PPDP)//, Siena, Italy, July 2015. Invited paper for PPDP'05 award
Alexander Schulz-Rosengarten 22.1 57
58
59 (% class="bodytext" style="margin-left: 30.0px;" %)
Alexander Schulz-Rosengarten 35.1 60 **Florian Scheurer:** Sun, W.-T.; Salcic, Z.; Malik, A., [[LibGALS: a library for GALS systems design and modeling>>url:http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=05419912||shape="rect"]], Proceedings of the 15th Asia South Pacific Design Automation Conference (ASP-DAC)2010:107-112.
Alexander Schulz-Rosengarten 8.1 61
62 (% class="bodytext" style="margin-left: 30.0px;" %)
Alexander Schulz-Rosengarten 30.1 63 **Lars Viertel:** Magara, A.; Salvaneschi, G., [[Ways to react: comparing reactive languages and complex event processing>>url:http://soft.vub.ac.be/REM13/papers/rem20130_submission_5.pdf||shape="rect"]], 1st Workshop on Reactivity, Events and Modularity (REM'13). 2013.
Alexander Schulz-Rosengarten 8.1 64
65 (% class="bodytext" style="margin-left: 30.0px;" %)
Alexander Schulz-Rosengarten 33.1 66 **Dennis Pehlke:** Gueye, S. M.; De Palma, N.; Rutten, E.; Tchana, A., [[Coordinating multiple administration loops using discrete control>>url:http://dl.acm.org/citation.cfm?id=2553074||shape="rect"]] (language: Heptagon/BZR), ACM SIGOPS Operating Systems Review, vol. 47, issue 3, December 2013, pp. 18-25.
Alexander Schulz-Rosengarten 8.1 67
68 (% class="bodytext" style="margin-left: 30.0px;" %)
Alexander Schulz-Rosengarten 55.1 69 Talpin, J.-P; Brandt, J.; Gemünde, M.; Schneider, M.; Shukla, S., [[Constructive Polychronous Systems>>url:https://www.irisa.fr/prive/talpin/papers/scp14a.pdf||shape="rect"]], Logical Foundations of Computer Science. vol. 7734, 2013.
Alexander Schulz-Rosengarten 8.1 70
Alexander Schulz-Rosengarten 36.1 71 (% class="bodytext" style="margin-left: 30.0px;" %)
Alexander Schulz-Rosengarten 37.1 72 **Felix von der Heide:** Reinhard von Hanxleden and Timothy Bourke and Alain Girault. [[Real-Time Ticks for Synchronous Programming>>url:http://rtsys.informatik.uni-kiel.de/~~biblio/downloads/papers/fdl17.pdf||shape="rect"]]. In (% class="cmti-10" %)Proc. Forum on(%%) (% class="cmti-10" %)Specification and Design Languages (FDL ’17)(%%), Verona, Italy, 2017.
Alexander Schulz-Rosengarten 36.1 73
Alexander Schulz-Rosengarten 42.1 74 (% class="bodytext" style="margin-left: 30.0px;" %)
Alexander Schulz-Rosengarten 48.1 75 **Lennart Ideler**: Guillaume Baudart and Timothy Bourke and Marc Pouzet. [[Symbolic Simulation of Dataflow Synchronous Programs with Timers.>>url:https://www.di.ens.fr/~~pouzet/bib/fdl17.pdf||shape="rect"]] In (% class="cmti-10" %)Proc. Forum on(%%) (% class="cmti-10" %)Specification and Design Languages (FDL ’17)(%%), Verona, Italy, 2017.
Alexander Schulz-Rosengarten 42.1 76
Alexander Schulz-Rosengarten 44.1 77 (% class="bodytext" style="margin-left: 30.0px;" %)
78 D. Li, Z. Zhai, Z. Pang, V. Vyatkin and C. Liu, [[Synchronous-reactive Semantic Modelling and Verification for Function Block Networks>>url:http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=7913644||shape="rect"]], in //IEEE Transactions on Industrial Informatics//
79
Alexander Schulz-Rosengarten 9.1 80 === Master Empfehlung ===
81
82 (% style="margin-left: 30.0px;" %)
Alexander Schulz-Rosengarten 55.1 83 Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Stavros Tripakis and Reinhard von Hanxleden. [[Runtime enforcement of reactive systems using synchronous enforcers>>url:https://arxiv.org/pdf/1612.05030.pdf||shape="rect"]]. In //CoRR//, vol. abs/1612.05030, 2016.
Alexander Schulz-Rosengarten 9.1 84
85 (% style="margin-left: 30.0px;" %)
Alexander Schulz-Rosengarten 39.1 86 **Lewe Andersen**: Yip, E.; Kuo, M.; Roop. P. S., Broman, D., [[Relaxing the Synchronous Approach for Mixed-Criticality Systems>>url:http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=6925993||shape="rect"]], Proceedings of the 20th IEEE Real-Time and Embedded Technology and Application Symposium (RTAS), Berlin, Germany, April 15-17, 2014.
Alexander Schulz-Rosengarten 9.1 87
Alexander Schulz-Rosengarten 12.1 88 (% style="margin-left: 30.0px;" %)
Alexander Schulz-Rosengarten 32.1 89 **Niklas Rentz:** Mendler, M, Roop, PS & Bodin, B 2016, [[A Novel WCET semantics of Synchronous Programs>>url:http://www.research.ed.ac.uk/portal/files/26473689/main.pdf||shape="rect"]]. In Formal Modeling and Analysis of Timed Systems: 14th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2016). Lecture Notes in Computer Science (LNCS), vol. 9884, Springer International Publishing, pp. 195-210. DOI: 10.1007/978-3-319-44878-7_12
Alexander Schulz-Rosengarten 12.1 90
Alexander Schulz-Rosengarten 16.1 91 (% style="margin-left: 30.0px;" %)
Richard Kreissig 60.1 92 (% class="navigate text-black" %)**Philip Eumann:** Timothy Bourke(%%), (% class="navigate text-black" %)Lélio Brun(%%), (% class="navigate text-black" %)Pierre-Evariste Dagand(%%), (% class="navigate text-black" %)Xavier Leroy(%%), (% class="navigate text-black" %)Marc Pouzet(%%), (% class="navigate text-black" %)Lionel Rieg. (%%)[[(% class="navigate text-black" %)A formally verified compiler for Lustre>>url:http://dl.acm.org/ft_gateway.cfm?id=3062358&ftid=1881521&dwn=1&CFID=781648530&CFTOKEN=67078311||shape="rect"]](%%). In (% class="link-text" %)PLDI 2017(%%), Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation Pages 586-60
Alexander Schulz-Rosengarten 18.1 93
94 (% style="margin-left: 30.0px;" %)
Richard Kreissig 60.1 95 (% class="navigate text-black" %)**Sören Domrös**: Gesell, M.; Schneider, K., [[Modular verification of synchronous programs>>url:http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6598342||shape="rect"]], Application of Concurrency to System Design (ACSD), 2013 13th International Conference on, pp. 70, 79, 8-10 Juli 2013
Alexander Schulz-Rosengarten 19.1 96
97 (% style="margin-left: 30.0px;" %)
Alexander Schulz-Rosengarten 47.1 98 **Lena Grimm**: Elisabetta De Maria, Alexandre Muzy, Daniel Gaffé, Annie Ressouche, Franck Grammont. [[Verification of Temporal Properties of Neuronal Archetypes Using Synchronous Models>>url:https://hal.inria.fr/hal-01349019/file/RR-8937.pdf||shape="rect"]]. [Research Report] RR-8937, UCA, Inria; UCA, I3S; UCA, LEAT; UCA, LJAD. 2016, pp.21.
Alexander Schulz-Rosengarten 20.1 99
100 (% style="margin-left: 30.0px;" %)
Alexander Schulz-Rosengarten 22.1 101 Bourke T., Colaço JL., Pagano B., Pasteur C., Pouzet M. (2015) [[A Synchronous-Based Code Generator for Explicit Hybrid Systems Languages>>url:https://www.di.ens.fr/~~pouzet/bib/cc15.pdf||shape="rect"]]. In: Franke B. (eds) Compiler Construction. CC 2015. Lecture Notes in Computer Science, vol 9031. Springer, Berlin, Heidelberg
102
103 (% style="margin-left: 30.0px;" %)
104 Guillaume Baudart, Timothy Bourke, and Marc Pouzet. [[Soundness of the Quasi-Synchronous Abstraction>>url:http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=7886655||shape="rect"]]. In //International Conference on Formal Methods in Computer-Aided Design (FMCAD)//, Mountain View, California, USA, October, 3-6 2016
105
106 (% style="margin-left: 30.0px;" %)
Alexander Schulz-Rosengarten 53.1 107 Brandt, J.; Schneider, K.; [[Passive code in synchronous programs>>url:http://dl.acm.org/citation.cfm?id=2544387||shape="rect"]], ACM Transactions on Embedded Computing Systems (TECS), Special Section, vol. 13 issue 2s, Jan2014, article No. 67.
Alexander Schulz-Rosengarten 23.1 108
109 (% style="margin-left: 30.0px;" %)
Alexander Schulz-Rosengarten 50.1 110 **Andreas Stange:** Attar, P.; Boussinot, F.; Mandel, L.; Susini, J.-F., [[Proposal for a Dynamic Synchronous Language>>url:http://hal.archives-ouvertes.fr/docs/00/59/04/20/PDF/dsl.pdf||shape="rect"]], INRIA, Research Proposal, 2011.
Alexander Schulz-Rosengarten 30.1 111
112 (% style="margin-left: 30.0px;" %)
113 Gamatié, A.; Gonnord, L., [[Static analysis of synchronous programs in signal for efficient design of multi-clocked embedded systems>>url:http://laure.gonnord.org/pro/papers/signal_boolnum_lctes2011.pdf||shape="rect"]], Conference on Languages, Compilers and Tools for Embedded Systems (ACM SIGPLAN/SIGBED), LCTES 2011:71-80.
114
Alexander Schulz-Rosengarten 16.1 115
Alexander Schulz-Rosengarten 1.1 116 == Termine ==
117
118 (% class="wrapped" %)
119 |=(((
Alexander Schulz-Rosengarten 8.1 120 Datum
Alexander Schulz-Rosengarten 1.1 121 )))|=(((
Alexander Schulz-Rosengarten 8.1 122 Meilenstein
Alexander Schulz-Rosengarten 1.1 123 )))
124 |(((
Alexander Schulz-Rosengarten 14.1 125 Di, 24.10.
Alexander Schulz-Rosengarten 1.1 126 )))|(((
Alexander Schulz-Rosengarten 3.1 127 Ende der Frist für die Themenauswahl (per Email)
Alexander Schulz-Rosengarten 1.1 128 )))
129 |(((
Alexander Schulz-Rosengarten 14.1 130 Di, 24.10., 14:30 Uhr
Alexander Schulz-Rosengarten 1.1 131 )))|(((
132 Vorbesprechung/Kick-Off, Latex/Git Kurzeinführung, CAP 4, R. 1115
133 )))
134 |(((
Alexander Schulz-Rosengarten 49.1 135 Di, 14.11., 8:00 Uhr
Alexander Schulz-Rosengarten 1.1 136 )))|(((
137 Abgabe Ausarbeitungsgerüst (Abstract, Einleitung, Gliederung, Stichworte zum Inhalt der Kapitel, Bibliographie)
138 )))
139 |(% colspan="1" %)(% colspan="1" %)
140 (((
Alexander Schulz-Rosengarten 51.1 141 Mi, 15.11 & Fr, 17.11
Alexander Schulz-Rosengarten 1.1 142 )))|(% colspan="1" %)(% colspan="1" %)
143 (((
Alexander Schulz-Rosengarten 54.1 144 Individualtermine, CAP 4, R. 1113
Alexander Schulz-Rosengarten 1.1 145 )))
146 |(% colspan="1" %)(% colspan="1" %)
147 (((
Alexander Schulz-Rosengarten 49.1 148 Di, 12.12., 8:00 Uhr
Alexander Schulz-Rosengarten 1.1 149 )))|(% colspan="1" %)(% colspan="1" %)
150 (((
151 Abgabe der Erstversion der vollständigen Ausarbeitung
152 )))
153 |(% colspan="1" %)(% colspan="1" %)
154 (((
Alexander Schulz-Rosengarten 51.1 155 Mi, 13.12 & Fr, 15.12
Alexander Schulz-Rosengarten 1.1 156 )))|(% colspan="1" %)(% colspan="1" %)
157 (((
Alexander Schulz-Rosengarten 54.1 158 Individualtermine, CAP 4, R. 1113
Alexander Schulz-Rosengarten 1.1 159 )))
160 |(% colspan="1" %)(% colspan="1" %)
161 (((
Alexander Schulz-Rosengarten 8.1 162 Di, 09.01., 8:00 Uhr
Alexander Schulz-Rosengarten 1.1 163 )))|(% colspan="1" %)(% colspan="1" %)
164 (((
165 Abgabe der Review-Version der Ausarbeitung
166 )))
167 |(% colspan="1" %)(% colspan="1" %)
168 (((
169 anschließend
170 )))|(% colspan="1" %)(% colspan="1" %)
171 (((
Richard Kreissig 60.1 172 Zuordnung Ausarbeitungen/Reviewer (per Email)
Alexander Schulz-Rosengarten 1.1 173 )))
174 |(% colspan="1" %)(% colspan="1" %)
175 (((
Alexander Schulz-Rosengarten 8.1 176 Di, 16.01., 8:00 Uhr
Alexander Schulz-Rosengarten 1.1 177 )))|(% colspan="1" %)(% colspan="1" %)
178 (((
Richard Kreissig 60.1 179 Abgabe der Reviews
Alexander Schulz-Rosengarten 1.1 180 )))
181 |(% colspan="1" %)(% colspan="1" %)
182 (((
183 tba
184 )))|(% colspan="1" %)(% colspan="1" %)
185 (((
Alexander Schulz-Rosengarten 3.1 186 evtl. Vortrag zur Gestaltung einer guten Präsentation
Alexander Schulz-Rosengarten 1.1 187 )))
188 |(% colspan="1" %)(% colspan="1" %)
189 (((
Alexander Schulz-Rosengarten 8.1 190 Di, 23.01., 8:00 Uhr
Alexander Schulz-Rosengarten 1.1 191 )))|(% colspan="1" %)(% colspan="1" %)
192 (((
193 Abgabe der Vortragsfolien und Handoutfolien (siehe Hinweise unten)
194 )))
195 |(% colspan="1" %)(% colspan="1" %)
196 (((
Alexander Schulz-Rosengarten 51.1 197 Mi, 24.01 & Fr, 26.01
Alexander Schulz-Rosengarten 1.1 198 )))|(% colspan="1" %)(% colspan="1" %)
199 (((
Richard Kreissig 60.1 200 Individualtermine, CAP 4, R. 111**3**
Alexander Schulz-Rosengarten 1.1 201 )))
202 |(% colspan="1" %)(% colspan="1" %)
203 (((
Alexander Schulz-Rosengarten 8.1 204 Do, 01.02., 8:00 Uhr
Alexander Schulz-Rosengarten 1.1 205 )))|(% colspan="1" %)(% colspan="1" %)
206 (((
Richard Kreissig 60.1 207 Abgabe der Endversionen der Vortragsfolien, Handouts und Ausarbeitungen, Anschließend Druck der Proceedings (inkl. Ausarbeitungen und Handoutfolien)
Alexander Schulz-Rosengarten 1.1 208 )))
209 |(% colspan="1" %)(% colspan="1" %)
210 (((
Alexander Schulz-Rosengarten 57.1 211 Mo, 05.02. (+ Di, 06.02.)
Alexander Schulz-Rosengarten 1.1 212 )))|(% colspan="1" %)(% colspan="1" %)
213 (((
214 Ganztägiges Blockseminar mit Vorträgen
215 )))
216
217 == Agenda des Blockseminars ==
218
Alexander Schulz-Rosengarten 59.1 219 Die Vorstellung des jeweils bearbeiteten Themas wird im Rahmen eines Blockseminars verteilt auf zwei Tage stattfinden. Die Teilnahme an beiden Seminartagen ist Pflicht.
Alexander Schulz-Rosengarten 1.1 220
Richard Kreissig 60.1 221 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!
Alexander Schulz-Rosengarten 58.1 222
Richard Kreissig 60.1 223 (% class="relative-table wrapped" style="width:51.0167%" %)
Alexander Schulz-Rosengarten 58.1 224 |=(((
225 Zeit
226 )))|=(((
227 Tagesordnungspunkt
Alexander Schulz-Rosengarten 59.2 228 )))|=(% colspan="1" %)(% colspan="1" %)
229 (((
Richard Kreissig 60.1 230
Alexander Schulz-Rosengarten 58.1 231 )))
232 |(((
233 8:20
234 )))|(((
235 //Begrüßung//
Alexander Schulz-Rosengarten 59.2 236 )))|(% colspan="1" %)(% colspan="1" %)
237 (((
Richard Kreissig 60.1 238
Alexander Schulz-Rosengarten 58.1 239 )))
240 |(% colspan="1" %)(% colspan="1" %)
241 (((
242 8:30
243 )))|(% colspan="1" %)(% colspan="1" %)
244 (((
245 LibGALS: A library for GALS systems design and modeling
Alexander Schulz-Rosengarten 59.2 246 )))|(% colspan="1" %)(% colspan="1" %)
247 (((
248 Florian Scheurer
Alexander Schulz-Rosengarten 58.1 249 )))
250 |(% colspan="1" %)(% colspan="1" %)
251 (((
252 9:00
253 )))|(% colspan="1" %)(% colspan="1" %)
254 (((
255 Java Embedded Processors specialized for GALS Programs
Alexander Schulz-Rosengarten 59.2 256 )))|(% colspan="1" %)(% colspan="1" %)
257 (((
258 Dennis Smolka
Alexander Schulz-Rosengarten 58.1 259 )))
260 |(% colspan="1" %)(% colspan="1" %)
261 (((
262 9:30
263 )))|(% colspan="1" %)(% colspan="1" %)
264 (((
265 Energie- und zeitabhängige synchrone Programmierung
Alexander Schulz-Rosengarten 59.2 266 )))|(% colspan="1" %)(% colspan="1" %)
267 (((
Richard Kreissig 60.1 268 (% class="authors-info ng-binding ng-binding ng-isolate-scope ng-scope ng-scope" %)Nils Sauer
Alexander Schulz-Rosengarten 58.1 269 )))
270 |(% colspan="1" %)(% colspan="1" %)
271 (((
272 10:00
273 )))|(% colspan="1" %)(% colspan="1" %)
274 (((
275 //Kaffeepause//
Alexander Schulz-Rosengarten 59.2 276 )))|(% colspan="1" %)(% colspan="1" %)
277 (((
Richard Kreissig 60.1 278
Alexander Schulz-Rosengarten 58.1 279 )))
280 |(% colspan="1" %)(% colspan="1" %)
281 (((
282 10:30
283 )))|(% colspan="1" %)(% colspan="1" %)
284 (((
285 A Formally Verified Compiler for Lustre
Alexander Schulz-Rosengarten 59.2 286 )))|(% colspan="1" %)(% colspan="1" %)
287 (((
Richard Kreissig 60.1 288 P(% class="navigate text-black" %)hilip Eumann
Alexander Schulz-Rosengarten 58.1 289 )))
290 |(% colspan="1" %)(% colspan="1" %)
291 (((
292 11:15
293 )))|(% colspan="1" %)(% colspan="1" %)
294 (((
295 Modular Verification of Synchronous Programs
Alexander Schulz-Rosengarten 59.2 296 )))|(% colspan="1" %)(% colspan="1" %)
297 (((
Richard Kreissig 60.1 298 (% class="navigate text-black" %)Sören Domrös
Alexander Schulz-Rosengarten 58.1 299 )))
300 |(% colspan="1" %)(% colspan="1" %)
301 (((
302 12:00
303 )))|(% colspan="1" %)(% colspan="1" %)
304 (((
305 //Mittagessen//
Alexander Schulz-Rosengarten 59.2 306 )))|(% colspan="1" %)(% colspan="1" %)
307 (((
Richard Kreissig 60.1 308
Alexander Schulz-Rosengarten 58.1 309 )))
310 |(% colspan="1" %)(% colspan="1" %)
311 (((
312 14:00
313 )))|(% colspan="1" %)(% colspan="1" %)
314 (((
315 Temporal Properties for Neuronal Archetypes using Synchronous Models
Alexander Schulz-Rosengarten 59.2 316 )))|(% colspan="1" %)(% colspan="1" %)
317 (((
318 Lena Grimm
Alexander Schulz-Rosengarten 58.1 319 )))
320 |(% colspan="1" %)(% colspan="1" %)
321 (((
322 14:45
323 )))|(% colspan="1" %)(% colspan="1" %)
324 (((
325 The Dynamic Synchronous Language DSL
Alexander Schulz-Rosengarten 59.2 326 )))|(% colspan="1" %)(% colspan="1" %)
327 (((
328 Andreas Stange
Alexander Schulz-Rosengarten 58.1 329 )))
330 |(% colspan="1" %)(% colspan="1" %)
331 (((
332 15:30
333 )))|(% colspan="1" %)(% colspan="1" %)
334 (((
335 //Kaffeepause//
Alexander Schulz-Rosengarten 59.2 336 )))|(% colspan="1" %)(% colspan="1" %)
337 (((
Richard Kreissig 60.1 338
Alexander Schulz-Rosengarten 58.1 339 )))
340 |(% colspan="1" %)(% colspan="1" %)
341 (((
342 16:00
343 )))|(% colspan="1" %)(% colspan="1" %)
344 (((
345 WCET Semantics for Synchronous Programs
Alexander Schulz-Rosengarten 59.2 346 )))|(% colspan="1" %)(% colspan="1" %)
347 (((
348 Niklas Rentz
Alexander Schulz-Rosengarten 58.1 349 )))
350 |(% colspan="1" %)(% colspan="1" %)
351 (((
352 16:45
353 )))|(% colspan="1" %)(% colspan="1" %)
354 (((
355 Relaxing the Synchronous Approach for Mixed-Criticality Systems
Alexander Schulz-Rosengarten 59.2 356 )))|(% colspan="1" %)(% colspan="1" %)
357 (((
358 Lewe Andersen
Alexander Schulz-Rosengarten 58.1 359 )))
360 |(% colspan="1" %)(% colspan="1" %)
361 (((
362 17:30
363 )))|(% colspan="1" %)(% colspan="1" %)
364 (((
365 //Schlusswort//
Alexander Schulz-Rosengarten 59.2 366 )))|(% colspan="1" %)(% colspan="1" %)
367 (((
Richard Kreissig 60.1 368
Alexander Schulz-Rosengarten 58.1 369 )))
370
Richard Kreissig 60.1 371 Das zweite Blockseminar findet am Dienstag, den **6. Februar 2018** in der Uni in CAP4 R.1115 (RTSYS Labor) statt.
372
373 (% class="relative-table wrapped" style="width:50.9569%" %)
Alexander Schulz-Rosengarten 58.1 374 |=(((
375 Zeit
376 )))|=(((
377 Tagesordnungspunkt
Alexander Schulz-Rosengarten 59.2 378 )))|=(% colspan="1" %)(% colspan="1" %)
379 (((
Richard Kreissig 60.1 380
Alexander Schulz-Rosengarten 58.1 381 )))
382 |(((
383 10:10
384 )))|(((
385 //Begrüßung//
Alexander Schulz-Rosengarten 59.2 386 )))|(% colspan="1" %)(% colspan="1" %)
387 (((
Richard Kreissig 60.1 388
Alexander Schulz-Rosengarten 58.1 389 )))
390 |(((
391 10:15
392 )))|(((
393 Eine Einordnung der Sprache Zélus
Alexander Schulz-Rosengarten 59.2 394 )))|(% colspan="1" %)(% colspan="1" %)
395 (((
396 Julian Pleines
Alexander Schulz-Rosengarten 58.1 397 )))
398 |(% colspan="1" %)(% colspan="1" %)
399 (((
400 10:45
401 )))|(% colspan="1" %)(% colspan="1" %)
402 (((
403 Symbolic Simulation of Dataflow Synchronous Programs with Timers
Alexander Schulz-Rosengarten 59.2 404 )))|(% colspan="1" %)(% colspan="1" %)
405 (((
406 Lennart Ideler
Alexander Schulz-Rosengarten 58.1 407 )))
408 |(% colspan="1" %)(% colspan="1" %)
409 (((
410 11:15
411 )))|(% colspan="1" %)(% colspan="1" %)
412 (((
413 Synchrone Programme für Echtzeitsysteme mittels dynamischer Tickfunktionen
Alexander Schulz-Rosengarten 59.2 414 )))|(% colspan="1" %)(% colspan="1" %)
415 (((
416 Felix von der Heide
Alexander Schulz-Rosengarten 58.1 417 )))
418 |(% colspan="1" %)(% colspan="1" %)
419 (((
420 11:45
421 )))|(% colspan="1" %)(% colspan="1" %)
422 (((
423 Synchronous-Reactive Web Programming
Alexander Schulz-Rosengarten 59.2 424 )))|(% colspan="1" %)(% colspan="1" %)
425 (((
426 Yannic Borgfeld
Alexander Schulz-Rosengarten 58.1 427 )))
428 |(((
429 12:15
430 )))|(((
431 //Mittagessen//
Alexander Schulz-Rosengarten 59.2 432 )))|(% colspan="1" %)(% colspan="1" %)
433 (((
Richard Kreissig 60.1 434
Alexander Schulz-Rosengarten 58.1 435 )))
436 |(% colspan="1" %)(% colspan="1" %)
437 (((
438 13:00
439 )))|(% colspan="1" %)(% colspan="1" %)
440 (((
441 ReactiveML, 10 Years Later - Ein Überblick
Alexander Schulz-Rosengarten 59.2 442 )))|(% colspan="1" %)(% colspan="1" %)
443 (((
Richard Kreissig 60.1 444 (% class="authors-info ng-binding ng-binding ng-scope ng-scope" %)Thies Weber
Alexander Schulz-Rosengarten 58.1 445 )))
446 |(% colspan="1" %)(% colspan="1" %)
447 (((
448 13:30
449 )))|(% colspan="1" %)(% colspan="1" %)
450 (((
451 Reactive Languages and Complex Event Processing
Alexander Schulz-Rosengarten 59.2 452 )))|(% colspan="1" %)(% colspan="1" %)
453 (((
454 Lars Viertel
Alexander Schulz-Rosengarten 58.1 455 )))
456 |(% colspan="1" %)(% colspan="1" %)
457 (((
458 14:00
459 )))|(% colspan="1" %)(% colspan="1" %)
460 (((
461 Koordination mehrerer Autonomer Manager
Alexander Schulz-Rosengarten 59.2 462 )))|(% colspan="1" %)(% colspan="1" %)
463 (((
464 Dennis Pehlke
Alexander Schulz-Rosengarten 58.1 465 )))
466 |(% colspan="1" %)(% colspan="1" %)
467 (((
468 14:30
469 )))|(% colspan="1" %)(% colspan="1" %)
470 (((
471 //Schlusswort//
Alexander Schulz-Rosengarten 59.2 472 )))|(% colspan="1" %)(% colspan="1" %)
473 (((
Richard Kreissig 60.1 474
Alexander Schulz-Rosengarten 58.1 475 )))
476
Alexander Schulz-Rosengarten 1.1 477 == Ausarbeitung, Vortrag, Review ==
478
479 Das Seminar beinhaltet die Erstellung einer Ausarbeitung, eines Vortrags, und zweier Reviews.
480
Richard Kreissig 60.1 481 Die **Ausarbeitung** soll eine Übersicht über das behandelte Themengebiet darstellen. Sie sollte so verfasst sein, dass sie von einen fortgeschrittenen Bachelor-Informatikstudenten gut verstanden werden kann. Die Ausarbeitung soll 6 (Master) bzw. 4 (Bachelor) Seiten umfassen, nicht mehr und nicht weniger, und den ACM LaTeX-Style verwenden. Für mögliche Vorlagen zu den Ausarbeitungen siehe die Proceedings der früheren [[Seminare>>url:http://www.rtsys.informatik.uni-kiel.de/en/teaching/seminars/resolveuid/5b8f99e1-a887-4249-98a2-a50bf9490470||shape="rect" title="Seminare" class="None internal-link None"]] (Achtung, viele dieser Seminare sind gemischte Bachelor-/Masterveranstaltungen gewesen, bitte orientieren Sie sich an den Masterausarbeitungen (Bachlorausarbeitungen 4seitig, Master 6seitig)). Auch empfehlenswert ist ein Blick in die [[Hinweise>>url:http://rtsys.informatik.uni-kiel.de/confluence/x/jwBe||shape="rect" class="external-link-new-window None internal-link None"]] für die Anfertigung einer Abschlussarbeit.
Alexander Schulz-Rosengarten 1.1 482
483 Der **Vortrag** soll 40 Minuten (Master) bzw. 25 Minuten (Bachelor) lang sein. Das Vortragsprogramm wird etwas zusätzliche Zeit für Fragen (5 min) einplanen. Zu dem Vortrag sollen Folien erstellt werden. Die Vortragsfolien sollten Seitennummern enthalten. Sollte das Thema auch eine konkrete Implementierung behandeln, ist eine entsprechende kurze Tool-Demo im Rahmen des Vortrages sinnvoll. Die Arbeitsgruppe bietet jedem/r Vortragenden an, eine Videoaufnahme des Vortrags zu erstellen und dem/r Vortragenden anschließend zur Verfügung zu stellen.
484
485 Ein **Review** einer Ausarbeitung besteht aus folgenden zwei Komponenten:
486
487 1. Generellen Anmerkungen (was gefällt Ihnen/gefällt Ihnen nicht, zu Inhalt, Gliederung und Lesbarkeit) sowie generelle Verbesserungsvorschläge etc. Mindestens eine halbe Seite, abgegeben als PDF-Datei.
488 1. Detaillierteren Korrekturen als elektronisch annotierte PDF-Version der Review-Version der Ausarbeitung. Es empfiehlt sich, hier nur mit dem Adobe Reader zu arbeiten, da Annotationen verschiedener PDF-Viewer oft inkompatibel sind.
489
490 Ein eingescannter, handschriftlich annotierter Ausdruck der Ausarbeitung (generelle Anmerkungen sind auch hier erforderlich!) ist notfalls auch ok, wenn gut lesbar, sollte aber vermieden werden. Die Zuordnung Paper/Reviewer geschieht kurzfristig nach dem Abgabetermin für die Review-Versionen der Ausarbeitungen, basierend auf den dann abgegebenen Ausarbeitungen.
491
Richard Kreissig 60.1 492 Beispiele zur Ausarbeitung und zu Vortragsfolien finden sich in den Proceedings früherer [[Seminare>>url:http://www.rtsys.informatik.uni-kiel.de/en/teaching/seminars/resolveuid/5b8f99e1-a887-4249-98a2-a50bf9490470||shape="rect" title="Seminare" class="None internal-link None"]].
Alexander Schulz-Rosengarten 1.1 493
494 Jede(r) Seminarteilnehmer(in) erhält die Proceedings des laufenden Seminars.
495
496 == Namenskonventionen ==
497
498 Auch wenn das Einchecken von generierten Binärdateien generell eher vermieden werden sollte, sind für dieses Seminar auch die folgenden pdfs einzuchecken, um unnötige Compilierungsschwierigkeiten bei Dozenten und Reviewern zu vermeiden. Grafiken sollten in einem Unterordner (z.B. "images") abgelegt werden. Grafiken sollten weiterhin möglichst skalierbare  Verktorgrafiken sein, die als PDF eingebunden werden können. Nicht einzuchecken sind temporäre Dateien (.aux etc.).
499
500 Die Namen für die Dateien, die im Git abzulegen sind, sollen wie folgt (gleichartig) aufgebaut sein. **Bitte halten Sie sich** **von Anfang an an diese Namenskonventionen.** Das vermeidet unnötige Sucherei, bewahrt uns vor späteren Schwierigkeiten mit automatischen Skripten und macht umständliches Umbenennen überflüssig.
501
Alexander Schulz-Rosengarten 5.1 502 * Ausarbeitung: //<login>/sem17ws-<login>.[tex/pdf]//
503 * Vortragsfolien: //<login>/sem17ws-<login>-talk.[tex/pdf]//
Alexander Schulz-Rosengarten 11.1 504 * Handoutfolien - ohne Animationen, für Ausdrucke und die Proceedings: //<login>/sem17ws-<login>-handout.[tex/pdf]//
505 * Review (generelle Anmerkungen): <login review-Empfänger>/sem17ws-<login review-Empfänger>-reviewnotes-<login Reviewer>.[pdf]
506 * Review (annotiertes PDF): <login review-Empfänger>/sem17ws-<login review-Empfänger>-review-<login Reviewer>.[pdf] (Beispiel also: Alexander (als) reviewt die Ausarbeitung von Steven (ssm) und checkt das Review-PDF mit dem Namen sem17ws-ssm-review-als.pdf im Ordner ssm des Seminarrepositorys ein.
Alexander Schulz-Rosengarten 1.1 507
508 Anmerkung: Die Handoutfolien unterscheiden sich von den Vortragsfolien dadurch, dass die Handoutfolien keine Animationen für die Präsentation am Beamer enthalten. Beim Arbeiten mit der latex-beamer Klasse können Handoutfolien durch das Hinzufügen eines optionalen Argumentes bei der Deklaration der Dokumentenklasse generiert werden ("\documentclass[trans]{beamer}").
509
510 == Benotung ==
511
512 Das Seminar ist benotet. Die Endnote basiert auf den einzelnen Meilensteinen (Versionen der Ausarbeitung, Reviews, Folien, Vortrag). Es werden jeweils die Qualität sowie die Rechtzeitigkeit (siehe Terminplanung) bewertet. Das Nicht-Einhalten von Terminen kann zum Nicht-Bestehen des Seminars führen.
513
514 == Technisches ==
515
516 * Reichlich Dokumentation zum //Git// Source Code Management System findet man unter [[http:~~/~~/www.git-scm.com/>>url:http://www.git-scm.com/||shape="rect" class="external-link"]].
517 * Für den Zugriff auf das Repository müssen wir Sie in unserem [[ Bitbucket>>url:https://git.rtsys.informatik.uni-kiel.de||shape="rect" class="None internal-link None"]]  dafür freischalten. Das sollten wir anhand der Teilnehmerliste prima tun können. Falls Sie keinen Zugriff auf das Repository bekommen, schreiben Sie uns eine E-Mail.
Richard Kreissig 60.1 518 * Git-Repository auschecken: git clone  [[ssh:~~/~~/git@git.rtsys.informatik.uni-kiel.de:7999/sem/17ws-synch.git>>url:ssh://git@git.rtsys.informatik.uni-kiel.de:7999/sem/17ws-synch.git||shape="rect"]]
Alexander Schulz-Rosengarten 1.1 519 ** Um die Erstellung der Proceedings zu erleichtern, richten Sie sich bitte nach den oben beschriebenen Namenskonventionen.
Alexander Schulz-Rosengarten 45.1 520 * (% class="external-link" %)ACM Style(%%) in deutscher oder englischer Version. Im Git Repository befinden sich im Unterverzeichnis //template/ //eine Reihe von Dateien, welche Sie als Vorlage verwenden sollen (siehe //README.txt//).
Alexander Schulz-Rosengarten 1.1 521 * Wir benutzen [[pdflatex>>url:http://de.wikipedia.org/wiki/PdfLaTeX||shape="rect" class="external-link"]] (erstellt PDF Dateien) und nicht direkt latex (erstellt DVI Dateien)
522 ** sind im Prinzip gleich zu benutzen
523 ** Hauptunterschied ist die Einbindung von Grafiken. In pdflatex siehe z.B. [[http:~~/~~/latex.mschroeder.net/#grafiken>>url:http://latex.mschroeder.net/#grafiken||shape="rect" class="external-link"]] (Es sollte immer eine komplette figure Umgebung mit caption, label und Referenz im Text benutzt werden!)
Alexander Schulz-Rosengarten 11.1 524 ** Von der Kommandozeile aus kann ein pdf mit "rubber -d sem17ws-<login>" erstellt werden (rubber ruft automatisch pdflatex und bibtex auf).
Alexander Schulz-Rosengarten 1.1 525 * (((
Alexander Schulz-Rosengarten 45.1 526 Bibliographie: Die Bibliographielemente werden in eine eigene *.bib Datei ausgelagert. Manuell wird dann einmal //pdflatex dokument.tex// aufgerufen. Dies erzeugt eine dokument.aux Datei. Darauf wird //bibtex dokument.aux// aufgerufen und dann nochmal zweimal //pdflatex dokument.tex//. Erst dann sind die Bibliographieelemente richtig im pdf-file.
Alexander Schulz-Rosengarten 1.1 527 )))
528
529 == Weiterführende Hinweise / Links ==
530
531 Generell ist es empfehlenswert, aus dem Uni-Netz heraus nach verwandten Publikationen zu suchen, da man hier Zugriff auf einige Online-Blbliotheken bekommt. Zur Suche empfehlen sich folgende Suchmaschinen und Seiten:
532
533 * Google Scholar: [[http:~~/~~/scholar.google.de/>>url:http://scholar.google.de/||shape="rect" class="external-link"]]
534 * CiteSeer: [[http:~~/~~/citeseer.ist.psu.edu/>>url:http://citeseer.ist.psu.edu/||shape="rect" class="external-link"]]
535 * IEEE-Xplore: [[http:~~/~~/ieeexplore.ieee.org/Xplore/dynhome.jsp>>url:http://ieeexplore.ieee.org/Xplore/dynhome.jsp||shape="rect" class="external-link"]]
536 ** Kostenloser Download nur aus Rechnern im Uninetz möglich
537 * ACM Digital Library: [[http:~~/~~/portal.acm.org/dl.cfm>>url:http://portal.acm.org/dl.cfm||shape="rect" class="external-link"]]
Alexander Schulz-Rosengarten 43.1 538 * Universitätsbibliothek Digitale Medien: [[http:~~/~~/www.uni-kiel.de/ub/emedien/index.html>>url:http://www.uni-kiel.de/ub/emedien/index.html||shape="rect"]]
Alexander Schulz-Rosengarten 1.1 539
540 (% style="display: none;" %)
541 (((
542 555
543 )))
544
545 (% style="display: none;" %)
546 (((
547 610
548 )))
549
550 (% style="display: none;" %)
551 (((
552 410
553 )))
554
555 (% style="display: none;" %)
556 (((
557 547
558 )))
559
560 (% style="display: none;" %)
561 (((
562 983
563 )))
564
565 (% style="display: none;" %)
566 (((
567 150
568 )))
569
570 (% style="display: none;" %)
571 (((
572 329
573 )))