Wiki source code of WS17/18 (Synchrone Sprachen)
Version 28.1 by ssm on 2017/07/20 12:45
Hide last authors
| author | version | line-number | content |
|---|---|---|---|
 |
1.1 | 1 | ((( |
| 2 | (% class="bodytext" style="text-align: left;" %) | ||
| |
4.1 | 3 | (% style="color: rgb(34,34,34);" %)Sinn dieses Seminars ist es, sich mit einem Themengebiet aus dem Bereich der Echtzeitsysteme und eingebetteten Systeme 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. |
| |
1.1 | 4 | |
| |
4.1 | 5 | |
| |
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 | |||
| |
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 | |||
| |
1.1 | 16 | (% style="text-align: left;" %) |
| 17 | |||
| |
10.1 | 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. |
| |
4.1 | 19 | |
| |
1.1 | 20 | (% style="text-align: left;" %) |
| 21 | == Dozenten == | ||
| 22 | |||
| 23 | (% class="bodytext" style="text-align: left;" %) | ||
| 24 | Reinhard von Hanxleden (rvh@[[informatik.uni-kiel.de>>url:http://informatik.uni-kiel.de||shape="rect"]])(% class="Apple-converted-space" %) (%%) | ||
| |
3.1 | 25 | Alexander Schulz-Rosengarten (als@[[informatik.uni-kiel.de>>url:http://informatik.uni-kiel.de||shape="rect"]]) |
| |
1.1 | 26 | |
| 27 | (% style="text-align: left;" %) | ||
| 28 | == Themen == | ||
| 29 | |||
| 30 | (% class="bodytext" style="text-align: left;" %) | ||
| |
7.1 | 31 | 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. |
| |
1.1 | 32 | |
| 33 | (% class="bodytext" style="text-align: left;" %) | ||
| |
7.1 | 34 | **Die aktuelle Auswahl ist nur vorläufig!** Sie soll einen Einblick in die späteren Themen bieten und wird noch bis zur Vergabe der Seminarplätze erweitert. |
| 35 | |||
| 36 | (% class="bodytext" style="text-align: left;" %) | ||
| |
3.1 | 37 | Viele der Links werden nur aus dem Netz der Uni Kiel heraus funktionieren. Bei Problemen einfach Bescheid sagen. |
| |
7.1 | 38 | ))) |
| 39 | |||
| |
9.1 | 40 | === Bachelor Empfehlung === |
| 41 | |||
| |
8.1 | 42 | (% class="bodytext" style="margin-left: 30.0px;" %) |
| |
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 |
| |
12.1 | 44 | |
| 45 | (% class="bodytext" style="margin-left: 30.0px;" %) | ||
| |
9.1 | 46 | 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.// | ||
| |
7.1 | 48 | |
| |
9.1 | 49 | (% class="bodytext" style="margin-left: 30.0px;" %) |
| |
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. |
| |
8.1 | 51 | |
| 52 | (% class="bodytext" style="margin-left: 30.0px;" %) | ||
| |
24.1 | 53 | (% class="authors-info ng-binding ng-scope ng-scope ng-isolate-scope ng-binding" %)**Nils Sauer:** JiaJie Wang(% class="authors-info ng-binding ng-scope" %); (% class="authors-info ng-binding ng-scope ng-scope ng-isolate-scope ng-binding" %)Patha S. Roop(% class="authors-info ng-binding ng-scope" %); (% class="authors-info ng-binding ng-scope ng-scope ng-isolate-scope ng-binding" %)Alain Girault(% class="authors-info ng-binding ng-scope ng-scope" %). (% class="authors-info ng-binding ng-scope ng-scope ng-binding" %)[[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. |
| |
17.1 | 54 | |
| 55 | (% class="bodytext" style="margin-left: 30.0px;" %) | ||
| |
26.1 | 56 | (% class="authors-info ng-binding ng-scope ng-scope ng-binding" %)**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 |
| |
22.1 | 57 | |
| 58 | |||
| 59 | (% class="bodytext" style="margin-left: 30.0px;" %) | ||
| |
8.1 | 60 | 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"]]. |
| 61 | |||
| 62 | (% class="bodytext" style="margin-left: 30.0px;" %) | ||
| |
24.1 | 63 | **Lars Viertel:** 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"]]. |
| |
8.1 | 64 | |
| 65 | (% class="bodytext" style="margin-left: 30.0px;" %) | ||
| 66 | 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"]]. | ||
| 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 | |||
| |
9.1 | 77 | === Master Empfehlung === |
| 78 | |||
| 79 | (% style="margin-left: 30.0px;" %) | ||
| 80 | 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. | ||
| 81 | |||
| 82 | (% style="margin-left: 30.0px;" %) | ||
| 83 | 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. | ||
| 84 | |||
| |
12.1 | 85 | (% style="margin-left: 30.0px;" %) |
| 86 | 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 | ||
| 87 | |||
| |
16.1 | 88 | (% style="margin-left: 30.0px;" %) |
| |
28.1 | 89 | (% class="text-black navigate" %)**Philip Eumann:** Timothy Bourke(%%), (% class="text-black navigate" %)Lélio Brun(%%), (% class="text-black navigate" %)Pierre-Evariste Dagand(%%), (% class="text-black navigate" %)Xavier Leroy(%%), (% class="text-black navigate" %)Marc Pouzet(%%), (% class="text-black navigate" %)Lionel Rieg. (%%)[[(% class="text-black navigate" %)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 |
| |
18.1 | 90 | |
| 91 | (% style="margin-left: 30.0px;" %) | ||
| |
19.1 | 92 | (% class="text-black navigate" %)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 |
| 93 | |||
| 94 | (% style="margin-left: 30.0px;" %) | ||
| 95 | (% class="text-black navigate" %)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" %). | ||
| |
20.1 | 96 | //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. |
| 97 | |||
| 98 | (% style="margin-left: 30.0px;" %) | ||
| |
21.1 | 99 | 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. |
| |
20.1 | 100 | |
| 101 | (% style="margin-left: 30.0px;" %) | ||
| |
22.1 | 102 | 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 |
| 103 | |||
| 104 | (% style="margin-left: 30.0px;" %) | ||
| 105 | 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 | ||
| 106 | |||
| 107 | (% style="margin-left: 30.0px;" %) | ||
| |
23.1 | 108 | 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. |
| 109 | |||
| 110 | (% style="margin-left: 30.0px;" %) | ||
| |
20.1 | 111 | (% class="text-black navigate" %)// |
| |
16.1 | 112 | // |
| 113 | |||
| |
1.1 | 114 | == Termine == |
| 115 | |||
| |
8.1 | 116 | **Vorläufige Terminplanung** |
| 117 | |||
| |
1.1 | 118 | (% class="wrapped" %) |
| 119 | |=((( | ||
| |
8.1 | 120 | Datum |
| |
1.1 | 121 | )))|=((( |
| |
8.1 | 122 | Meilenstein |
| |
1.1 | 123 | ))) |
| 124 | |((( | ||
| |
14.1 | 125 | Di, 24.10. |
| |
1.1 | 126 | )))|((( |
| |
3.1 | 127 | Ende der Frist für die Themenauswahl (per Email) |
| |
1.1 | 128 | ))) |
| 129 | |((( | ||
| |
14.1 | 130 | Di, 24.10., 14:30 Uhr |
| |
1.1 | 131 | )))|((( |
| 132 | Vorbesprechung/Kick-Off, Latex/Git Kurzeinführung, CAP 4, R. 1115 | ||
| 133 | ))) | ||
| 134 | |((( | ||
| |
8.1 | 135 | Fr, 17.11., 8:00 Uhr |
| |
1.1 | 136 | )))|((( |
| 137 | Abgabe Ausarbeitungsgerüst (Abstract, Einleitung, Gliederung, Stichworte zum Inhalt der Kapitel, Bibliographie) | ||
| 138 | ))) | ||
| 139 | |(% colspan="1" %)(% colspan="1" %) | ||
| 140 | ((( | ||
| 141 | tba | ||
| 142 | )))|(% colspan="1" %)(% colspan="1" %) | ||
| 143 | ((( | ||
| 144 | Individualtermine | ||
| 145 | ))) | ||
| 146 | |(% colspan="1" %)(% colspan="1" %) | ||
| 147 | ((( | ||
| |
8.1 | 148 | Fr, 15.12., 8:00 Uhr |
| |
1.1 | 149 | )))|(% colspan="1" %)(% colspan="1" %) |
| 150 | ((( | ||
| 151 | Abgabe der Erstversion der vollständigen Ausarbeitung | ||
| 152 | ))) | ||
| 153 | |(% colspan="1" %)(% colspan="1" %) | ||
| 154 | ((( | ||
| 155 | tba | ||
| 156 | )))|(% colspan="1" %)(% colspan="1" %) | ||
| 157 | ((( | ||
| 158 | Individualtermine | ||
| 159 | ))) | ||
| 160 | |(% colspan="1" %)(% colspan="1" %) | ||
| 161 | ((( | ||
| |
8.1 | 162 | Di, 09.01., 8:00 Uhr |
| |
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 | ((( | ||
| 172 | Zuordnung Ausarbeitungen/Reviewer (per Email)** | ||
| 173 | ** | ||
| 174 | ))) | ||
| 175 | |(% colspan="1" %)(% colspan="1" %) | ||
| 176 | ((( | ||
| |
8.1 | 177 | Di, 16.01., 8:00 Uhr |
| |
1.1 | 178 | )))|(% colspan="1" %)(% colspan="1" %) |
| 179 | ((( | ||
| 180 | Abgabe der Reviews** | ||
| 181 | ** | ||
| 182 | ))) | ||
| 183 | |(% colspan="1" %)(% colspan="1" %) | ||
| 184 | ((( | ||
| 185 | tba | ||
| 186 | )))|(% colspan="1" %)(% colspan="1" %) | ||
| 187 | ((( | ||
| |
3.1 | 188 | evtl. Vortrag zur Gestaltung einer guten Präsentation |
| |
1.1 | 189 | ))) |
| 190 | |(% colspan="1" %)(% colspan="1" %) | ||
| 191 | ((( | ||
| |
8.1 | 192 | Di, 23.01., 8:00 Uhr |
| |
1.1 | 193 | )))|(% colspan="1" %)(% colspan="1" %) |
| 194 | ((( | ||
| 195 | Abgabe der Vortragsfolien und Handoutfolien (siehe Hinweise unten) | ||
| 196 | ))) | ||
| 197 | |(% colspan="1" %)(% colspan="1" %) | ||
| 198 | ((( | ||
| 199 | tba | ||
| 200 | )))|(% colspan="1" %)(% colspan="1" %) | ||
| 201 | ((( | ||
| 202 | Individualtermine** | ||
| 203 | ** | ||
| 204 | ))) | ||
| 205 | |(% colspan="1" %)(% colspan="1" %) | ||
| 206 | ((( | ||
| |
8.1 | 207 | Do, 01.02., 8:00 Uhr |
| |
1.1 | 208 | )))|(% colspan="1" %)(% colspan="1" %) |
| 209 | ((( | ||
| 210 | Abgabe der Endversionen der Vortragsfolien, Handouts und Ausarbeitungen, Anschließend Druck der Proceedings (inkl. Ausarbeitungen und Handoutfolien)** | ||
| 211 | ** | ||
| 212 | ))) | ||
| 213 | |(% colspan="1" %)(% colspan="1" %) | ||
| 214 | ((( | ||
| |
8.1 | 215 | Fr, 02.02. |
| |
1.1 | 216 | )))|(% colspan="1" %)(% colspan="1" %) |
| 217 | ((( | ||
| 218 | Ganztägiges Blockseminar mit Vorträgen | ||
| 219 | ))) | ||
| 220 | |||
| 221 | == Agenda des Blockseminars == | ||
| 222 | |||
| 223 | Die Vorstellung des jeweils bearbeiteten Themas wird im Rahmen eines eintägigen Blockseminars stattfinden. Die Teilnahme am gesamten Seminartag ist Pflicht. | ||
| 224 | |||
| |
3.1 | 225 | **Programm folgt. |
| |
1.1 | 226 | ** |
| 227 | |||
| 228 | == Ausarbeitung, Vortrag, Review == | ||
| 229 | |||
| 230 | Das Seminar beinhaltet die Erstellung einer Ausarbeitung, eines Vortrags, und zweier Reviews. | ||
| 231 | |||
| 232 | 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||title="Seminare" shape="rect" 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. | ||
| 233 | |||
| 234 | 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. | ||
| 235 | |||
| 236 | Ein **Review** einer Ausarbeitung besteht aus folgenden zwei Komponenten: | ||
| 237 | |||
| 238 | 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. | ||
| 239 | 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. | ||
| 240 | |||
| 241 | 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. | ||
| 242 | |||
| 243 | 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||title="Seminare" shape="rect" class="None internal-link None"]]. | ||
| 244 | |||
| 245 | Jede(r) Seminarteilnehmer(in) erhält die Proceedings des laufenden Seminars. | ||
| 246 | |||
| 247 | == Namenskonventionen == | ||
| 248 | |||
| 249 | 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.). | ||
| 250 | |||
| 251 | 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. | ||
| 252 | |||
| |
5.1 | 253 | * Ausarbeitung: //<login>/sem17ws-<login>.[tex/pdf]// |
| 254 | * Vortragsfolien: //<login>/sem17ws-<login>-talk.[tex/pdf]// | ||
| |
11.1 | 255 | * Handoutfolien - ohne Animationen, für Ausdrucke und die Proceedings: //<login>/sem17ws-<login>-handout.[tex/pdf]// |
| 256 | * Review (generelle Anmerkungen): <login review-Empfänger>/sem17ws-<login review-Empfänger>-reviewnotes-<login Reviewer>.[pdf] | ||
| 257 | * 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. | ||
| |
1.1 | 258 | |
| 259 | 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}"). | ||
| 260 | |||
| 261 | == Benotung == | ||
| 262 | |||
| 263 | 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. | ||
| 264 | |||
| 265 | == Technisches == | ||
| 266 | |||
| 267 | * 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"]]. | ||
| 268 | * 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. | ||
| |
6.1 | 269 | * 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"]]\\ |
| |
1.1 | 270 | ** Um die Erstellung der Proceedings zu erleichtern, richten Sie sich bitte nach den oben beschriebenen Namenskonventionen. |
| 271 | * [[ACM Style>>url:http://www.acm.org/sigs/pubs/proceed/template.html||shape="rect" class="external-link"]] in [[deutscher>>url:https://www.informatik.uni-kiel.de/fileadmin/arbeitsgruppen/realtime_embedded/teaching/ws0910/s-conc/acm_proc_article-sp-german.cls||shape="rect"]] oder [[englischer>>url:https://www.informatik.uni-kiel.de/fileadmin/arbeitsgruppen/realtime_embedded/teaching/ws0910/s-conc/acm_proc_article-sp.cls||shape="rect"]] Version. Im Git Repository befinden sich im Unterverzeichnis //init/ //eine Reihe von Dateien, welche Sie als Vorlage nehmen können (siehe //README.txt//). | ||
| 272 | * 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) | ||
| 273 | ** sind im Prinzip gleich zu benutzen | ||
| 274 | ** 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!) | ||
| |
11.1 | 275 | ** Von der Kommandozeile aus kann ein pdf mit "rubber -d sem17ws-<login>" erstellt werden (rubber ruft automatisch pdflatex und bibtex auf). |
| |
1.1 | 276 | * ((( |
| 277 | 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. | ||
| 278 | ))) | ||
| 279 | |||
| 280 | == Weiterführende Hinweise / Links == | ||
| 281 | |||
| 282 | 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: | ||
| 283 | |||
| 284 | * Google Scholar: [[http:~~/~~/scholar.google.de/>>url:http://scholar.google.de/||shape="rect" class="external-link"]] | ||
| 285 | * CiteSeer: [[http:~~/~~/citeseer.ist.psu.edu/>>url:http://citeseer.ist.psu.edu/||shape="rect" class="external-link"]] | ||
| 286 | * IEEE-Xplore: [[http:~~/~~/ieeexplore.ieee.org/Xplore/dynhome.jsp>>url:http://ieeexplore.ieee.org/Xplore/dynhome.jsp||shape="rect" class="external-link"]] | ||
| 287 | ** Kostenloser Download nur aus Rechnern im Uninetz möglich | ||
| 288 | * ACM Digital Library: [[http:~~/~~/portal.acm.org/dl.cfm>>url:http://portal.acm.org/dl.cfm||shape="rect" class="external-link"]] | ||
| 289 | * 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"]] | ||
| 290 | |||
| 291 | (% style="display: none;" %) | ||
| 292 | ((( | ||
| 293 | 555 | ||
| 294 | ))) | ||
| 295 | |||
| 296 | (% style="display: none;" %) | ||
| 297 | ((( | ||
| 298 | 610 | ||
| 299 | ))) | ||
| 300 | |||
| 301 | (% style="display: none;" %) | ||
| 302 | ((( | ||
| 303 | 410 | ||
| 304 | ))) | ||
| 305 | |||
| 306 | (% style="display: none;" %) | ||
| 307 | ((( | ||
| 308 | 547 | ||
| 309 | ))) | ||
| 310 | |||
| 311 | (% style="display: none;" %) | ||
| 312 | ((( | ||
| 313 | 983 | ||
| 314 | ))) | ||
| 315 | |||
| 316 | (% style="display: none;" %) | ||
| 317 | ((( | ||
| 318 | 150 | ||
| 319 | ))) | ||
| 320 | |||
| 321 | (% style="display: none;" %) | ||
| 322 | ((( | ||
| 323 | 329 | ||
| 324 | ))) |