Last modified by Richard Kreissig on 2025/01/30 11:55
<
From version < 7.1 >
edited by Alexander Schulz-Rosengarten
on 2017/06/29 16:30
To version < 11.1 >
edited by Alexander Schulz-Rosengarten
on 2017/06/30 10:01
>
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -15,7 +15,7 @@
15 15  
16 16  (% style="text-align: left;" %)
17 17  
18 -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=2016s&__e=986||shape="rect" class="internal-link None"]]** von Frau Peters.
18 +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.
19 19  
20 20  (% style="text-align: left;" %)
21 21  == Dozenten ==
... ... @@ -35,53 +35,82 @@
35 35  
36 36  (% class="bodytext" style="text-align: left;" %)
37 37  Viele der Links werden nur aus dem Netz der Uni Kiel heraus funktionieren. Bei Problemen einfach Bescheid sagen.
38 -
39 -(% class="bodytext" style="text-align: left;" %)
40 -=== Bachelor Empfehlungen ===
41 41  )))
42 42  
43 -(((
44 -(% class="bodytext" %)
45 -=== Master Empfehlungen ===
40 +=== Bachelor Empfehlung ===
46 46  
47 -1. Yip, E.; Kuo, M.; Roop. P. S., Broman, D., "Relaxing the Synchronous Approach for Mixed-Criticality Systems", Proceedings of the 20th IEEE Real-Time and Embedded Technology and Application Symposium (RTAS), Berlin, Germany, April 15-17, 2014. [[PDF hier>>url:http://www.bromans.com/publ/yip-et-al-2014-relaxing-synchronous-mixed-criticality.pdf||shape="rect" class="MIME-application MIME--pdf external-link"]] (author prepared accepted version).
48 -1. Nadeem, M.; Biglari-Abhari, M.; Salcic, Z., "GALS-JOP: A Java Embedded Processor for GALS Reactive Programs", IEEE Ninth International Conference on Dependable, Autonomic and Secure Computing (DASC), 2011, [[PDF hier>>url:http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6119095||shape="rect" class="external-link"]].
49 -1. Sun, W.-T.; Salcic, Z.; Malik, A., "LibGALS: a library for GALS systems design and modeling", Proceedings of the 15th Asia South Pacific Design Automation Conference (ASP-DAC)2010:107-112. [[PDF hier>>url:http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=05419912||shape="rect" class="external-link"]].
50 -1. 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. 
51 -//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.//
52 -1. Magara, A.; Salvaneschi, G., "Ways to react: comparing reactive languages and complex event processing", 1st Workshop on Reactivity, Events and Modularity (REM'13). 2013. [[PDF hier>>url:http://soft.vub.ac.be/REM13/papers/rem20130_submission_5.pdf||shape="rect" class="MIME-application MIME--pdf external-link"]].
53 -1. 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. [[PDF hier>>url:http://dl.acm.org/citation.cfm?id=2553074||shape="rect" class="external-link"]].
54 -1. 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, [[PDF hier>>url:http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6598342||shape="rect" class="external-link"]].
55 -1. 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>>url:http://chess.eecs.berkeley.edu/pubs/902/coroutineModelsWithProof.pdf||shape="rect" class="MIME-application MIME--pdf external-link"]]. 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.
56 -1. Attar, P.; Boussinot, F.; Mandel, L.; Susini, J.-F., "Proposal for a Dynamic Synchronous Language", INRIA, Research Proposal, 2011. [[PDF hier>>url:http://hal.archives-ouvertes.fr/docs/00/59/04/20/PDF/dsl.pdf||shape="rect" class="MIME-application MIME--pdf external-link"]].
57 -1. 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. [[PDF hier>>url:http://laure.gonnord.org/pro/papers/signal_boolnum_lctes2011.pdf||shape="rect" class="MIME-application MIME--pdf external-link"]].
58 -1. Talpin, J.-P; Brandt, J.; Gemünde, M.; Schneider, M.; Shukla, S., "Constructive Polychronous Systems", Logical Foundations of Computer Science. vol. 7734, 2013. [[PDF hier>>url:http://hal.inria.fr/hal-00763371/||shape="rect" class="external-link"]].
59 -1. 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. [[PDF hier>>url:http://dl.acm.org/citation.cfm?id=2555770||shape="rect" class="external-link"]].
60 -)))
42 +(% class="bodytext" style="margin-left: 30.0px;" %)
43 +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. //
44 +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.//
61 61  
62 -(((
63 -\\
46 +(% class="bodytext" style="margin-left: 30.0px;" %)
47 +//
48 +//
64 64  
50 +(% class="bodytext" style="margin-left: 30.0px;" %)
51 +Nadeem, M.; Biglari-Abhari, M.; Salcic, Z., "GALS-JOP: A Java Embedded Processor for GALS Reactive Programs", IEEE Ninth International Conference on Dependable, Autonomic and Secure Computing (DASC), 2011, [[PDF hier>>url:http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6119095||shape="rect" class="external-link"]].
52 +
53 +(% class="bodytext" style="margin-left: 30.0px;" %)
54 +Sun, W.-T.; Salcic, Z.; Malik, A., "LibGALS: a library for GALS systems design and modeling", Proceedings of the 15th Asia South Pacific Design Automation Conference (ASP-DAC)2010:107-112. [[PDF hier>>url:http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=05419912||shape="rect" class="external-link"]].
55 +
56 +(% class="bodytext" style="margin-left: 30.0px;" %)
57 +Magara, A.; Salvaneschi, G., "Ways to react: comparing reactive languages and complex event processing", 1st Workshop on Reactivity, Events and Modularity (REM'13). 2013. [[PDF hier>>url:http://soft.vub.ac.be/REM13/papers/rem20130_submission_5.pdf||shape="rect" class="MIME-application MIME--pdf external-link"]].
58 +
59 +(% class="bodytext" style="margin-left: 30.0px;" %)
60 +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. [[PDF hier>>url:http://dl.acm.org/citation.cfm?id=2553074||shape="rect" class="external-link"]].
61 +
62 +(% class="bodytext" style="margin-left: 30.0px;" %)
63 +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, [[PDF hier>>url:http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6598342||shape="rect" class="external-link"]].
64 +
65 +(% class="bodytext" style="margin-left: 30.0px;" %)
66 +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>>url:http://chess.eecs.berkeley.edu/pubs/902/coroutineModelsWithProof.pdf||shape="rect" class="MIME-application MIME--pdf external-link"]]. 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.
67 +
68 +(% class="bodytext" style="margin-left: 30.0px;" %)
69 +Attar, P.; Boussinot, F.; Mandel, L.; Susini, J.-F., "Proposal for a Dynamic Synchronous Language", INRIA, Research Proposal, 2011. [[PDF hier>>url:http://hal.archives-ouvertes.fr/docs/00/59/04/20/PDF/dsl.pdf||shape="rect" class="MIME-application MIME--pdf external-link"]].
70 +
71 +(% class="bodytext" style="margin-left: 30.0px;" %)
72 +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. [[PDF hier>>url:http://laure.gonnord.org/pro/papers/signal_boolnum_lctes2011.pdf||shape="rect" class="MIME-application MIME--pdf external-link"]].
73 +
74 +(% class="bodytext" style="margin-left: 30.0px;" %)
75 +Talpin, J.-P; Brandt, J.; Gemünde, M.; Schneider, M.; Shukla, S., "Constructive Polychronous Systems", Logical Foundations of Computer Science. vol. 7734, 2013. [[PDF hier>>url:http://hal.inria.fr/hal-00763371/||shape="rect" class="external-link"]].
76 +
77 +(% class="bodytext" style="margin-left: 30.0px;" %)
78 +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. [[PDF hier>>url:http://dl.acm.org/citation.cfm?id=2555770||shape="rect" class="external-link"]].
79 +
80 +(% class="bodytext" style="margin-left: 30.0px;" %)
81 +//
82 +//
83 +
84 +=== Master Empfehlung ===
85 +
86 +(% style="margin-left: 30.0px;" %)
87 +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.
88 +
89 +(% style="margin-left: 30.0px;" %)
90 +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.
91 +
65 65  == Termine ==
66 66  
94 +**Vorläufige Terminplanung**
95 +
67 67  (% class="wrapped" %)
68 68  |=(((
69 -Date
98 +Datum
70 70  )))|=(((
71 -Topic
100 +Meilenstein
72 72  )))
73 73  |(((
74 -Do, 27.10.
103 +Fr, 27.10.
75 75  )))|(((
76 76  Ende der Frist für die Themenauswahl (per Email)
77 77  )))
78 78  |(((
79 -Do, 27.10., 13:30 Uhr
108 +Fr, 27.10., 13:30 Uhr
80 80  )))|(((
81 81  Vorbesprechung/Kick-Off, Latex/Git Kurzeinführung, CAP 4, R. 1115
82 82  )))
83 83  |(((
84 -Do, 17.11., 8:00 Uhr
113 +Fr, 17.11., 8:00 Uhr
85 85  )))|(((
86 86  Abgabe Ausarbeitungsgerüst (Abstract, Einleitung, Gliederung, Stichworte zum Inhalt der Kapitel, Bibliographie)
87 87  )))
... ... @@ -94,7 +94,7 @@
94 94  )))
95 95  |(% colspan="1" %)(% colspan="1" %)
96 96  (((
97 -Do, 15.12., 8:00 Uhr
126 +Fr, 15.12., 8:00 Uhr
98 98  )))|(% colspan="1" %)(% colspan="1" %)
99 99  (((
100 100  Abgabe der Erstversion der vollständigen Ausarbeitung
... ... @@ -108,7 +108,7 @@
108 108  )))
109 109  |(% colspan="1" %)(% colspan="1" %)
110 110  (((
111 -Mo, 09.01., 8:00 Uhr
140 +Di, 09.01., 8:00 Uhr
112 112  )))|(% colspan="1" %)(% colspan="1" %)
113 113  (((
114 114  Abgabe der Review-Version der Ausarbeitung
... ... @@ -123,7 +123,7 @@
123 123  )))
124 124  |(% colspan="1" %)(% colspan="1" %)
125 125  (((
126 -Mo, 16.01., 8:00 Uhr
155 +Di, 16.01., 8:00 Uhr
127 127  )))|(% colspan="1" %)(% colspan="1" %)
128 128  (((
129 129  Abgabe der Reviews**
... ... @@ -138,7 +138,7 @@
138 138  )))
139 139  |(% colspan="1" %)(% colspan="1" %)
140 140  (((
141 -Mo, 23.01., 8:00 Uhr
170 +Di, 23.01., 8:00 Uhr
142 142  )))|(% colspan="1" %)(% colspan="1" %)
143 143  (((
144 144  Abgabe der Vortragsfolien und Handoutfolien (siehe Hinweise unten)
... ... @@ -153,7 +153,7 @@
153 153  )))
154 154  |(% colspan="1" %)(% colspan="1" %)
155 155  (((
156 -Do, 02.02., 8:00 Uhr
185 +Do, 01.02., 8:00 Uhr
157 157  )))|(% colspan="1" %)(% colspan="1" %)
158 158  (((
159 159  Abgabe der Endversionen der Vortragsfolien, Handouts und Ausarbeitungen, Anschließend Druck der Proceedings (inkl. Ausarbeitungen und Handoutfolien)**
... ... @@ -161,7 +161,7 @@
161 161  )))
162 162  |(% colspan="1" %)(% colspan="1" %)
163 163  (((
164 -Fr, 03.02.
193 +Fr, 02.02.
165 165  )))|(% colspan="1" %)(% colspan="1" %)
166 166  (((
167 167  Ganztägiges Blockseminar mit Vorträgen
... ... @@ -201,9 +201,9 @@
201 201  
202 202  * Ausarbeitung: //<login>/sem17ws-<login>.[tex/pdf]//
203 203  * Vortragsfolien: //<login>/sem17ws-<login>-talk.[tex/pdf]//
204 -* Handoutfolien - ohne Animationen, für Ausdrucke und die Proceedings: //<login>/sem17ss-<login>-handout.[tex/pdf]//
205 -* Review (generelle Anmerkungen): <login review-Empfänger>/sem17ss-<login review-Empfänger>-reviewnotes-<login Reviewer>.[pdf]
206 -* 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 sem16ss-ssm-review-als.pdf im Ordner ssm des Seminarrepositorys ein.
233 +* Handoutfolien - ohne Animationen, für Ausdrucke und die Proceedings: //<login>/sem17ws-<login>-handout.[tex/pdf]//
234 +* Review (generelle Anmerkungen): <login review-Empfänger>/sem17ws-<login review-Empfänger>-reviewnotes-<login Reviewer>.[pdf]
235 +* 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.
207 207  
208 208  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}").
209 209  
... ... @@ -221,7 +221,7 @@
221 221  * 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)
222 222  ** sind im Prinzip gleich zu benutzen
223 223  ** 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!)
224 -** Von der Kommandozeile aus kann ein pdf mit "rubber -d sem15ss-<login>" erstellt werden (rubber ruft automatisch pdflatex und bibtex auf).
253 +** Von der Kommandozeile aus kann ein pdf mit "rubber -d sem17ws-<login>" erstellt werden (rubber ruft automatisch pdflatex und bibtex auf).
225 225  * (((
226 226  Bibliographie: Siehe [[ACM Beispiel>>url:http://www.acm.org/sigs/publications/proceedings-templates||shape="rect" class="external-link"]] (hier werden die Bibliographielemente 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.
227 227  )))
... ... @@ -236,7 +236,6 @@
236 236  ** Kostenloser Download nur aus Rechnern im Uninetz möglich
237 237  * ACM Digital Library: [[http:~~/~~/portal.acm.org/dl.cfm>>url:http://portal.acm.org/dl.cfm||shape="rect" class="external-link"]]
238 238  * 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"]]
239 -)))
240 240  
241 241  (% style="display: none;" %)
242 242  (((
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -28672319
1 +28672346
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/28672319/WS17/18 (Synchrone Sprachen)
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/28672346/WS17/18 (Synchrone Sprachen)

Navigation

Quick Links

KIELER on GitHub
RTSYS Homepage