Last modified by Alexander Schulz-Rosengarten on 2025/01/30 11:57
<
From version < 2.1 >
edited by Alexander Schulz-Rosengarten
on 2018/03/21 08:21
To version < 3.1 >
edited by Alexander Schulz-Rosengarten
on 2018/03/21 08:29
>
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,267 +156,10 @@
156 156  
157 157  == Agenda des Blockseminars ==
158 158  
159 -Die Vorstellung des jeweils bearbeiteten Themas wird im Rahmen eines Blockseminars verteilt auf zwei Tage stattfinden. Die Teilnahme an beiden Seminartagen ist Pflicht.
159 +Die Vorstellung des jeweils bearbeiteten Themas wird im Rahmen eines Blockseminars stattfinden. Die Teilnahme am Blockseminar ist Pflicht.
160 160  
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!\\
161 +**TBA**
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 -
420 420  == Ausarbeitung, Vortrag, Review ==
421 421  
422 422  Das Seminar beinhaltet die Erstellung einer Ausarbeitung, eines Vortrags, und zweier Reviews.
... ... @@ -442,11 +442,11 @@
442 442  
443 443  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.
444 444  
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.
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.
450 450  
451 451  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}").
452 452  
... ... @@ -458,7 +458,7 @@
458 458  
459 459  * 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"]].
460 460  * 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.
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"]]\\
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"]]\\
462 462  ** Um die Erstellung der Proceedings zu erleichtern, richten Sie sich bitte nach den oben beschriebenen Namenskonventionen.
463 463  * (% 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//).
464 464  * 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 -40894498
1 +40894502
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/40894498/SS18 (Echtzeitsysteme und eingebettete Systeme)
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/40894502/SS18 (Echtzeitsysteme und eingebettete Systeme)

Navigation

Quick Links

KIELER on GitHub
RTSYS Homepage