Last modified by Richard Kreissig on 2025/01/30 11:55
<
From version < 54.1 >
edited by Alexander Schulz-Rosengarten
on 2017/11/16 12:17
To version < 58.1 >
edited by Alexander Schulz-Rosengarten
on 2018/01/29 12:41
>
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -67,7 +67,7 @@
67 67  **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.
68 68  
69 69  (% class="bodytext" style="margin-left: 30.0px;" %)
70 -**Nicolas Jessen:** 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.
70 +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.
71 71  
72 72  (% class="bodytext" style="margin-left: 30.0px;" %)
73 73  **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.
... ... @@ -81,7 +81,7 @@
81 81  === Master Empfehlung ===
82 82  
83 83  (% style="margin-left: 30.0px;" %)
84 -**Jan Reese**: 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.
84 +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.
85 85  
86 86  (% style="margin-left: 30.0px;" %)
87 87  **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.
... ... @@ -96,10 +96,6 @@
96 96  (% class="text-black navigate" %)**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
97 97  
98 98  (% style="margin-left: 30.0px;" %)
99 -(% class="text-black navigate" %)**Merlin Kötzing:** Shaver, C.; Lee, E.A., [[The coroutine model of computation>>url:http://chess.eecs.berkeley.edu/pubs/902/coroutineModelsWithProof.pdf||shape="rect"]], Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems 2012 (MODELS'12), pp. 319-334. (% class="text-black navigate MIME-application MIME--pdf external-link" %)PDF hier(% class="text-black navigate" %).
100 -//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>>url:http://www.dagstuhl.de/mat/Files/13/13471/13471.ShaverChris.Slides.pdf||shape="rect" class="MIME-application MIME--pdf external-link"]] und die [[Homepage>>url:http://www.eecs.berkeley.edu/%7Eshaver/index.html?page=research||shape="rect" class="MIME-text MIME--html external-link"]]// des Autors.
101 -
102 -(% style="margin-left: 30.0px;" %)
103 103  **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.
104 104  
105 105  (% style="margin-left: 30.0px;" %)
... ... @@ -220,7 +220,7 @@
220 220  )))
221 221  |(% colspan="1" %)(% colspan="1" %)
222 222  (((
223 -Fr, 02.02.
219 +Mo, 05.02. (+ Di, 06.02.)
224 224  )))|(% colspan="1" %)(% colspan="1" %)
225 225  (((
226 226  Ganztägiges Blockseminar mit Vorträgen
... ... @@ -228,11 +228,189 @@
228 228  
229 229  == Agenda des Blockseminars ==
230 230  
231 -Die Vorstellung des jeweils bearbeiteten Themas wird im Rahmen eines eintägigen Blockseminars stattfinden. Die Teilnahme am gesamten Seminartag ist Pflicht.
227 +Die Vorstellung des jeweils bearbeiteten Themas wird im Rahmen eines Blockseminars verteilt auf zwei Tage stattfinden. Die Teilnahme an beiden Seminartag ist Pflicht.
232 232  
233 -**Programm folgt.
229 +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!\\
230 +
231 +(% class="wrapped relative-table" style="width: 71.1723%;" %)
232 +|=(((
233 +Zeit
234 +)))|=(((
235 +Tagesordnungspunkt
236 +)))
237 +|(((
238 +8:20
239 +)))|(((
240 +//Begrüßung//
241 +)))
242 +|(% colspan="1" %)(% colspan="1" %)
243 +(((
244 +8:30
245 +)))|(% colspan="1" %)(% colspan="1" %)
246 +(((
247 +LibGALS: A library for GALS systems design and modeling
248 +)))
249 +|(% colspan="1" %)(% colspan="1" %)
250 +(((
251 +9:00
252 +)))|(% colspan="1" %)(% colspan="1" %)
253 +(((
254 +Java Embedded Processors specialized for GALS Programs
255 +)))
256 +|(% colspan="1" %)(% colspan="1" %)
257 +(((
258 +9:30
259 +)))|(% colspan="1" %)(% colspan="1" %)
260 +(((
261 +Energie- und zeitabhängige synchrone Programmierung
262 +)))
263 +|(% colspan="1" %)(% colspan="1" %)
264 +(((
265 +10:00
266 +)))|(% colspan="1" %)(% colspan="1" %)
267 +(((
268 +//Kaffeepause//
269 +)))
270 +|(% colspan="1" %)(% colspan="1" %)
271 +(((
272 +10:30
273 +)))|(% colspan="1" %)(% colspan="1" %)
274 +(((
275 +A Formally Verified Compiler for Lustre
276 +)))
277 +|(% colspan="1" %)(% colspan="1" %)
278 +(((
279 +11:15
280 +)))|(% colspan="1" %)(% colspan="1" %)
281 +(((
282 +Modular Verification of Synchronous Programs
283 +)))
284 +|(% colspan="1" %)(% colspan="1" %)
285 +(((
286 +12:00
287 +)))|(% colspan="1" %)(% colspan="1" %)
288 +(((
289 +//Mittagessen//
290 +)))
291 +|(% colspan="1" %)(% colspan="1" %)
292 +(((
293 +14:00
294 +)))|(% colspan="1" %)(% colspan="1" %)
295 +(((
296 +Temporal Properties for Neuronal Archetypes using Synchronous Models
297 +)))
298 +|(% colspan="1" %)(% colspan="1" %)
299 +(((
300 +14:45
301 +)))|(% colspan="1" %)(% colspan="1" %)
302 +(((
303 +The Dynamic Synchronous Language DSL
304 +)))
305 +|(% colspan="1" %)(% colspan="1" %)
306 +(((
307 +15:30
308 +)))|(% colspan="1" %)(% colspan="1" %)
309 +(((
310 +//Kaffeepause//
311 +)))
312 +|(% colspan="1" %)(% colspan="1" %)
313 +(((
314 +16:00
315 +)))|(% colspan="1" %)(% colspan="1" %)
316 +(((
317 +WCET Semantics for Synchronous Programs
318 +)))
319 +|(% colspan="1" %)(% colspan="1" %)
320 +(((
321 +16:45
322 +)))|(% colspan="1" %)(% colspan="1" %)
323 +(((
324 +Relaxing the Synchronous Approach for Mixed-Criticality Systems
325 +)))
326 +|(% colspan="1" %)(% colspan="1" %)
327 +(((
328 +17:30
329 +)))|(% colspan="1" %)(% colspan="1" %)
330 +(((
331 +//Schlusswort//
332 +)))
333 +
234 234  **
335 +**Das zweite Blockseminar findet am Dienstag, den **6. Februar 2018** in der Uni in CAP4 R.1115 (RTSYS Labor) statt.
235 235  
337 +(% class="wrapped relative-table" style="width: 70.9928%;" %)
338 +|=(((
339 +Zeit
340 +)))|=(((
341 +Tagesordnungspunkt
342 +)))
343 +|(((
344 +10:10
345 +)))|(((
346 +//Begrüßung//
347 +)))
348 +|(((
349 +10:15
350 +)))|(((
351 +Eine Einordnung der Sprache Zélus
352 +)))
353 +|(% colspan="1" %)(% colspan="1" %)
354 +(((
355 +10:45
356 +)))|(% colspan="1" %)(% colspan="1" %)
357 +(((
358 +Symbolic Simulation of Dataflow Synchronous Programs with Timers
359 +)))
360 +|(% colspan="1" %)(% colspan="1" %)
361 +(((
362 +11:15
363 +)))|(% colspan="1" %)(% colspan="1" %)
364 +(((
365 +Synchrone Programme für Echtzeitsysteme mittels dynamischer Tickfunktionen
366 +)))
367 +|(% colspan="1" %)(% colspan="1" %)
368 +(((
369 +11:45
370 +)))|(% colspan="1" %)(% colspan="1" %)
371 +(((
372 +Synchronous-Reactive Web Programming
373 +)))
374 +|(((
375 +12:15
376 +)))|(((
377 +//Mittagessen//
378 +)))
379 +|(% colspan="1" %)(% colspan="1" %)
380 +(((
381 +13:00
382 +)))|(% colspan="1" %)(% colspan="1" %)
383 +(((
384 +ReactiveML, 10 Years Later - Ein Überblick
385 +)))
386 +|(% colspan="1" %)(% colspan="1" %)
387 +(((
388 +13:30
389 +)))|(% colspan="1" %)(% colspan="1" %)
390 +(((
391 +Reactive Languages and Complex Event Processing
392 +)))
393 +|(% colspan="1" %)(% colspan="1" %)
394 +(((
395 +14:00
396 +)))|(% colspan="1" %)(% colspan="1" %)
397 +(((
398 +Koordination mehrerer Autonomer Manager
399 +)))
400 +|(% colspan="1" %)(% colspan="1" %)
401 +(((
402 +14:30
403 +)))|(% colspan="1" %)(% colspan="1" %)
404 +(((
405 +//Schlusswort//
406 +)))
407 +
408 +\\
409 +
236 236  == Ausarbeitung, Vortrag, Review ==
237 237  
238 238  Das Seminar beinhaltet die Erstellung einer Ausarbeitung, eines Vortrags, und zweier Reviews.
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -35750118
1 +37814323
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/35750118/WS17/18 (Synchrone Sprachen)
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/37814323/WS17/18 (Synchrone Sprachen)

Navigation

Quick Links

KIELER on GitHub
RTSYS Homepage