Last modified by Alexander Schulz-Rosengarten on 2025/01/30 11:57
<
From version < 3.1 >
edited by Alexander Schulz-Rosengarten
on 2018/03/21 08:29
To version < 2.1 >
edited by Alexander Schulz-Rosengarten
on 2018/03/21 08:21
>
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -118,7 +118,7 @@
118 118  )))
119 119  |(% colspan="1" %)(% colspan="1" %)
120 120  (((
121 -TBA
121 +tba
122 122  )))|(% colspan="1" %)(% colspan="1" %)
123 123  (((
124 124  evtl. Vortrag zur Gestaltung einer guten Präsentation
... ... @@ -156,10 +156,267 @@
156 156  
157 157  == Agenda des Blockseminars ==
158 158  
159 -Die Vorstellung des jeweils bearbeiteten Themas wird im Rahmen eines Blockseminars stattfinden. Die Teilnahme am Blockseminar ist Pflicht.
159 +Die Vorstellung des jeweils bearbeiteten Themas wird im Rahmen eines Blockseminars verteilt auf zwei Tage stattfinden. Die Teilnahme an beiden Seminartagen ist Pflicht.
160 160  
161 -**TBA**
161 +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!\\
162 162  
163 +(% class="wrapped relative-table" style="width: 51.0167%;" %)
164 +|=(((
165 +Zeit
166 +)))|=(((
167 +Tagesordnungspunkt
168 +)))|=(% colspan="1" %)(% colspan="1" %)
169 +(((
170 +\\
171 +)))
172 +|(((
173 +8:20
174 +)))|(((
175 +//Begrüßung//
176 +)))|(% colspan="1" %)(% colspan="1" %)
177 +(((
178 +\\
179 +)))
180 +|(% colspan="1" %)(% colspan="1" %)
181 +(((
182 +8:30
183 +)))|(% colspan="1" %)(% colspan="1" %)
184 +(((
185 +LibGALS: A library for GALS systems design and modeling
186 +)))|(% colspan="1" %)(% colspan="1" %)
187 +(((
188 +Florian Scheurer
189 +)))
190 +|(% colspan="1" %)(% colspan="1" %)
191 +(((
192 +9:00
193 +)))|(% colspan="1" %)(% colspan="1" %)
194 +(((
195 +Java Embedded Processors specialized for GALS Programs
196 +)))|(% colspan="1" %)(% colspan="1" %)
197 +(((
198 +Dennis Smolka
199 +)))
200 +|(% colspan="1" %)(% colspan="1" %)
201 +(((
202 +9:30
203 +)))|(% colspan="1" %)(% colspan="1" %)
204 +(((
205 +Energie- und zeitabhängige synchrone Programmierung
206 +)))|(% colspan="1" %)(% colspan="1" %)
207 +(((
208 +(% class="authors-info ng-binding ng-scope ng-scope ng-isolate-scope ng-binding" %)Nils Sauer
209 +)))
210 +|(% colspan="1" %)(% colspan="1" %)
211 +(((
212 +10:00
213 +)))|(% colspan="1" %)(% colspan="1" %)
214 +(((
215 +//Kaffeepause//
216 +)))|(% colspan="1" %)(% colspan="1" %)
217 +(((
218 +\\
219 +)))
220 +|(% colspan="1" %)(% colspan="1" %)
221 +(((
222 +10:30
223 +)))|(% colspan="1" %)(% colspan="1" %)
224 +(((
225 +A Formally Verified Compiler for Lustre
226 +)))|(% colspan="1" %)(% colspan="1" %)
227 +(((
228 +P(% class="text-black navigate" %)hilip Eumann
229 +)))
230 +|(% colspan="1" %)(% colspan="1" %)
231 +(((
232 +11:15
233 +)))|(% colspan="1" %)(% colspan="1" %)
234 +(((
235 +Modular Verification of Synchronous Programs
236 +)))|(% colspan="1" %)(% colspan="1" %)
237 +(((
238 +(% class="text-black navigate" %)Sören Domrös
239 +)))
240 +|(% colspan="1" %)(% colspan="1" %)
241 +(((
242 +12:00
243 +)))|(% colspan="1" %)(% colspan="1" %)
244 +(((
245 +//Mittagessen//
246 +)))|(% colspan="1" %)(% colspan="1" %)
247 +(((
248 +\\
249 +)))
250 +|(% colspan="1" %)(% colspan="1" %)
251 +(((
252 +14:00
253 +)))|(% colspan="1" %)(% colspan="1" %)
254 +(((
255 +Temporal Properties for Neuronal Archetypes using Synchronous Models
256 +)))|(% colspan="1" %)(% colspan="1" %)
257 +(((
258 +Lena Grimm
259 +)))
260 +|(% colspan="1" %)(% colspan="1" %)
261 +(((
262 +14:45
263 +)))|(% colspan="1" %)(% colspan="1" %)
264 +(((
265 +The Dynamic Synchronous Language DSL
266 +)))|(% colspan="1" %)(% colspan="1" %)
267 +(((
268 +Andreas Stange
269 +)))
270 +|(% colspan="1" %)(% colspan="1" %)
271 +(((
272 +15:30
273 +)))|(% colspan="1" %)(% colspan="1" %)
274 +(((
275 +//Kaffeepause//
276 +)))|(% colspan="1" %)(% colspan="1" %)
277 +(((
278 +\\
279 +)))
280 +|(% colspan="1" %)(% colspan="1" %)
281 +(((
282 +16:00
283 +)))|(% colspan="1" %)(% colspan="1" %)
284 +(((
285 +WCET Semantics for Synchronous Programs
286 +)))|(% colspan="1" %)(% colspan="1" %)
287 +(((
288 +Niklas Rentz
289 +)))
290 +|(% colspan="1" %)(% colspan="1" %)
291 +(((
292 +16:45
293 +)))|(% colspan="1" %)(% colspan="1" %)
294 +(((
295 +Relaxing the Synchronous Approach for Mixed-Criticality Systems
296 +)))|(% colspan="1" %)(% colspan="1" %)
297 +(((
298 +Lewe Andersen
299 +)))
300 +|(% colspan="1" %)(% colspan="1" %)
301 +(((
302 +17:30
303 +)))|(% colspan="1" %)(% colspan="1" %)
304 +(((
305 +//Schlusswort//
306 +)))|(% colspan="1" %)(% colspan="1" %)
307 +(((
308 +\\
309 +)))
310 +
311 +**
312 +**Das zweite Blockseminar findet am Dienstag, den **6. Februar 2018** in der Uni in CAP4 R.1115 (RTSYS Labor) statt.
313 +
314 +(% class="wrapped relative-table" style="width: 50.9569%;" %)
315 +|=(((
316 +Zeit
317 +)))|=(((
318 +Tagesordnungspunkt
319 +)))|=(% colspan="1" %)(% colspan="1" %)
320 +(((
321 +\\
322 +)))
323 +|(((
324 +10:10
325 +)))|(((
326 +//Begrüßung//
327 +)))|(% colspan="1" %)(% colspan="1" %)
328 +(((
329 +\\
330 +)))
331 +|(((
332 +10:15
333 +)))|(((
334 +Eine Einordnung der Sprache Zélus
335 +)))|(% colspan="1" %)(% colspan="1" %)
336 +(((
337 +Julian Pleines
338 +)))
339 +|(% colspan="1" %)(% colspan="1" %)
340 +(((
341 +10:45
342 +)))|(% colspan="1" %)(% colspan="1" %)
343 +(((
344 +Symbolic Simulation of Dataflow Synchronous Programs with Timers
345 +)))|(% colspan="1" %)(% colspan="1" %)
346 +(((
347 +Lennart Ideler
348 +)))
349 +|(% colspan="1" %)(% colspan="1" %)
350 +(((
351 +11:15
352 +)))|(% colspan="1" %)(% colspan="1" %)
353 +(((
354 +Synchrone Programme für Echtzeitsysteme mittels dynamischer Tickfunktionen
355 +)))|(% colspan="1" %)(% colspan="1" %)
356 +(((
357 +Felix von der Heide
358 +)))
359 +|(% colspan="1" %)(% colspan="1" %)
360 +(((
361 +11:45
362 +)))|(% colspan="1" %)(% colspan="1" %)
363 +(((
364 +Synchronous-Reactive Web Programming
365 +)))|(% colspan="1" %)(% colspan="1" %)
366 +(((
367 +Yannic Borgfeld
368 +)))
369 +|(((
370 +12:15
371 +)))|(((
372 +//Mittagessen//
373 +)))|(% colspan="1" %)(% colspan="1" %)
374 +(((
375 +\\
376 +)))
377 +|(% colspan="1" %)(% colspan="1" %)
378 +(((
379 +13:00
380 +)))|(% colspan="1" %)(% colspan="1" %)
381 +(((
382 +ReactiveML, 10 Years Later - Ein Überblick
383 +)))|(% colspan="1" %)(% colspan="1" %)
384 +(((
385 +(% class="authors-info ng-binding ng-scope ng-scope ng-binding" %)Thies Weber
386 +)))
387 +|(% colspan="1" %)(% colspan="1" %)
388 +(((
389 +13:30
390 +)))|(% colspan="1" %)(% colspan="1" %)
391 +(((
392 +Reactive Languages and Complex Event Processing
393 +)))|(% colspan="1" %)(% colspan="1" %)
394 +(((
395 +Lars Viertel
396 +)))
397 +|(% colspan="1" %)(% colspan="1" %)
398 +(((
399 +14:00
400 +)))|(% colspan="1" %)(% colspan="1" %)
401 +(((
402 +Koordination mehrerer Autonomer Manager
403 +)))|(% colspan="1" %)(% colspan="1" %)
404 +(((
405 +Dennis Pehlke
406 +)))
407 +|(% colspan="1" %)(% colspan="1" %)
408 +(((
409 +14:30
410 +)))|(% colspan="1" %)(% colspan="1" %)
411 +(((
412 +//Schlusswort//
413 +)))|(% colspan="1" %)(% colspan="1" %)
414 +(((
415 +\\
416 +)))
417 +
418 +\\
419 +
163 163  == Ausarbeitung, Vortrag, Review ==
164 164  
165 165  Das Seminar beinhaltet die Erstellung einer Ausarbeitung, eines Vortrags, und zweier Reviews.
... ... @@ -185,11 +185,11 @@
185 185  
186 186  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.
187 187  
188 -* Ausarbeitung: //<login>/sem18ss-<login>.[tex/pdf]//
189 -* Vortragsfolien: //<login>/sem18ss-<login>-talk.[tex/pdf]//
190 -* Handoutfolien - ohne Animationen, für Ausdrucke und die Proceedings: //<login>/sem18ss-<login>-handout.[tex/pdf]//
191 -* Review (generelle Anmerkungen): <login review-Empfänger>/sem18ss-<login review-Empfänger>-reviewnotes-<login Reviewer>.[pdf]
192 -* Review (annotiertes PDF): <login review-Empfänger>/sem18ss-<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 sem18ss-ssm-review-als.pdf im Ordner ssm des Seminarrepositorys ein.
445 +* Ausarbeitung: //<login>/sem17ws-<login>.[tex/pdf]//
446 +* Vortragsfolien: //<login>/sem17ws-<login>-talk.[tex/pdf]//
447 +* Handoutfolien - ohne Animationen, für Ausdrucke und die Proceedings: //<login>/sem17ws-<login>-handout.[tex/pdf]//
448 +* Review (generelle Anmerkungen): <login review-Empfänger>/sem17ws-<login review-Empfänger>-reviewnotes-<login Reviewer>.[pdf]
449 +* 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.
193 193  
194 194  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}").
195 195  
... ... @@ -201,7 +201,7 @@
201 201  
202 202  * 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"]].
203 203  * 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.
204 -* Git-Repository auschecken: git clone  [[ssh:~~/~~/git@git.rtsys.informatik.uni-kiel.de:7999/sem/18ss-rt-emb.git>>url:ssh://git@git.rtsys.informatik.uni-kiel.de:7999/sem/18ss-rt-emb.git||shape="rect"]]\\
461 +* 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"]]\\
205 205  ** Um die Erstellung der Proceedings zu erleichtern, richten Sie sich bitte nach den oben beschriebenen Namenskonventionen.
206 206  * (% 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//).
207 207  * 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)
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -40894502
1 +40894498
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/40894502/SS18 (Echtzeitsysteme und eingebettete Systeme)
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/40894498/SS18 (Echtzeitsysteme und eingebettete Systeme)

Navigation

Quick Links

KIELER on GitHub
RTSYS Homepage