Wiki source code of WS19/20 (Echtzeitsysteme und eingebettete Systeme)

Version 35.1 by Alexander Schulz-Rosengarten on 2020/02/14 09:26

version	line-number	content
7.1	1	\\
	2
1.1	3	(% class="bodytext" style="text-align: left;" %)
	4	(% style="color: rgb(34,34,34);" %)Der Sinn dieses Seminars ist es, sich mit einem Themengebiet aus dem Bereich der Echtzeitsysteme und Eingebetteten Systeme und angrenzenden Themen 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.
	5
	6
	7	(% class="bodytext" style="text-align: left;" %)
	8	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).
	9
	10	(% style="text-align: left;" %)
	11	== Voraussetzungen ==
	12
7.1	13	Für die Bearbeitung der Themen ist der erfolgte Besuch der Vorlesung Eingebettete Echtzeitsysteme nicht zwingend, es sollten jedoch die für das konkrete Thema relevanten Inhalte der Vorlesung nachgearbeitet werden. Die DozentInnen helfen hier natürlich gerne weiter.
	14
1.1	15	(% style="text-align: left;" %)
	16	Wir empfehlen zudem den Besuch der Blockveranstaltung Wissenschaftliches Arbeiten für Seminar und Abschlussarbeiten von Frau Peters.
	17
	18	(% style="text-align: left;" %)
	19	== Dozenten ==
	20
	21	(% class="bodytext" style="text-align: left;" %)
	22	Reinhard von Hanxleden ([[rvh@informatik.uni-kiel.de>>mailto:rvh@informatik.uni-kiel.de\|\|shape="rect"]])(% class="Apple-converted-space" %) (%%)
	23	Alexander Schulz-Rosengarten ([[als@informatik.uni-kiel.de>>mailto:als@informatik.uni-kiel.de\|\|shape="rect"]])
	24
	25	(% style="text-align: left;" %)
	26	== Themen ==
	27
	28	(% class="bodytext" style="text-align: left;" %)
	29	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.
	30
	31	(% class="bodytext" style="text-align: left;" %)
11.1	32	Um ein Paper zu reservieren, bitte eine Mail an Alexander ([[als@informatik.uni-kiel.de>>mailto:als@informatik.uni-kiel.de\|\|shape="rect"]]) schicken.
	33
	34	(% class="bodytext" style="text-align: left;" %)
1.1	35	Die Paper werden first-come-first-serve vergeben. Ist ein Paper schon an jemanden vergeben, vermerken wir das hier.
	36
	37	(% class="bodytext" style="text-align: left;" %)
	38	Viele der Links werden nur aus dem Netz der Uni Kiel heraus funktionieren. Bei Problemen einfach Bescheid sagen.
	39
7.1	40	=== Bachelor Empfehlung ===
	41
	42	(% style="margin-left: 30.0px;" %)
14.1	43	(% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)[vergeben] Yixiao Lin, Sayan Mitro, (% style="color: rgb(0,0,0);" %)[[StarL: Towards a Unified Framework for Programming, Simulating and Verifying Distributed Robotic Systems>>url:https://dl.acm.org/citation.cfm?id=2754966\|\|shape="rect"]], (% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)LCTES 2015
7.1	44
	45	(% style="margin-left: 30.0px;" %)
10.1	46	(% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)A. Procter, W. Harrison, I. Graves, M. Becchi, G. Allwein, "[[Semantics Driven Hardware Design, Implementation, and Verification with ReWire>>url:https://dl.acm.org/citation.cfm?id=2754970\|\|shape="rect"]]", LCTES 2015
7.1	47
	48	(% style="margin-left: 30.0px;" %)
10.1	49	(% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)Nicolas Harrand, Franck Fleurey, Brice Morin, and Knut Eilif Husa. 2016. [[ThingML: A language and code generation framework for heterogeneous targets>>url:https://dl.acm.org/citation.cfm?id=2976812\|\|shape="rect"]]. In //Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems// (MODELS '16). ACM, New York, NY, USA, 125-135.
7.1	50
	51	(% style="margin-left: 30.0px;" %)
10.1	52	(% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)Juha-Pekka Tolvanen and Steven Kelly. 2018. [[Effort Used to Create Domain-Specific Modeling Languages>>url:https://dl.acm.org/citation.cfm?doid=3239372.3239410\|\|shape="rect"]]. In //Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems// (MODELS '18). ACM, New York, NY, USA, 235-244.
7.1	53
	54	(% style="margin-left: 30.0px;" %)
10.1	55	(% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)Björn Döbel, Hermann Härtig,(% style="color: rgb(0,0,0);" %) [[Can We Put Concurrency Back Into Redundant Multithreading?>>url:http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6986127\|\|shape="rect"]], (% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)EMSOFT 2014
7.1	56
	57	(% style="margin-left: 30.0px;" %)
18.1	58	(% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)[vergeben] J. Talpin, J. Marty, S. Narayan, D. Stefan and R. Gupta, [[Towards verified programming of embedded devices>>url:https://ieeexplore.ieee.org/document/8715067\|\|shape="rect"]], //2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)//, Florence, Italy, 2019, pp. 1445-1450.
7.1	59
10.1	60	(% style="margin-left: 30.0px;" %)
	61	(% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)F. Glaser, G. Haugou, D. Rossi, Q. Huang and L. Benini, [[Hardware-Accelerated Energy-Efficient Synchronization and Communication for Ultra-Low-Power Tightly Coupled Clusters>>url:https://ieeexplore.ieee.org/document/8715266\|\|shape="rect"]], //2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)//, Florence, Italy, 2019, pp. 552-557.
	62
	63	(% style="margin-left: 30.0px;" %)
	64	Thomas Nyman, Ghada Dessouky, Shaza Zeitouni, Aaro Lehikoinen, Andrew Paverd, N. Asokan, and Ahmad-Reza Sadeghi. 2019. [[HardScope: Hardening Embedded Systems Against Data-Oriented Attacks>>url:https://dl.acm.org/citation.cfm?doid=3316781.3317836\|\|shape="rect"]]. In //Proceedings of the 56th Annual Design Automation Conference 2019// (DAC '19). ACM, New York, NY, USA, Article 63, 6 pages.
	65
	66	(% style="margin-left: 30.0px;" %)
16.1	67	(% style="color: rgb(0,51,102);" %)[vergeben] (%%)Daniel Casini, Alessandro Biondi, and Giorgio Buttazzo. 2019. [[Analyzing Parallel Real-Time Tasks Implemented with Thread Pools>>url:https://dl.acm.org/citation.cfm?doid=3316781.3317771\|\|shape="rect"]]. In //Proceedings of the 56th Annual Design Automation Conference 2019// (DAC '19). ACM, New York, NY, USA, Article 92, 6 pages.
10.1	68
	69	(% style="margin-left: 30.0px;" %)
20.1	70	(% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)[vergeben] (%%)James Devine, Joe Finney, Peli de Halleux, Michał Moskal, Thomas Ball, and Steve Hodges. 2018. [[MakeCode and CODAL: intuitive and efficient embedded systems programming for education>>url:https://dl.acm.org/citation.cfm?doid=3211332.3211335\|\|shape="rect"]]. In //Proceedings of the 19th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems// (LCTES 2018). ACM, New York, NY, USA, 19-30.
10.1	71
	72	(% style="margin-left: 30.0px;" %)
12.1	73	[vergeben] H. Abbas, I. Saha, Y. Shoukry, R. Ehlers, G. Fainekos, R. Gupta, R. Majumdar, D. Ulus, [[Special Session: Embedded Software for Robotics: Challenges and Future Directions>>url:https://ieeexplore.ieee.org/document/8537236\|\|shape="rect"]], //2018 International Conference on Embedded Software (EMSOFT)//, Turin, 2018, pp. 1-10.
10.1	74
	75	(% style="margin-left: 30.0px;" %)
24.1	76	Wenchen Wang, Daniel Mosse, Daniel Cole, and Jason G. Pickel. 2018. [[Dynamic Wireless Network Reconfiguration for Control System applied to a Nuclear Reactor Case Study>>url:https://dl.acm.org/citation.cfm?doid=3273905.3273912\|\|shape="rect"]]. In //Proceedings of the 26th International Conference on Real-Time Networks and Systems// (RTNS '18). ACM, New York, NY, USA, 30-40.
10.1	77
	78	(% style="margin-left: 30.0px;" %)
21.1	79	(% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)[vergeben] Patricia Derler, Edward A. Lee, Alberto Sangiovanni-Vincentelli,(% style="color: rgb(0,0,0);" %) [[Modeling Cyber-Physical Systems>>url:https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=5995279\|\|shape="rect"]],(% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %) //Proceedings of the IEEE (special issue on CPS), //100(1):13-28, January 2012
10.1	80
	81	(% style="margin-left: 30.0px;" %)
	82	(% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)Yooseong Kim, David Broman, Jian Cai, and Aviral Shrivastaval,(% style="color: rgb(0,0,0);" %) [[WCET-Aware Dynamic Code Management on Scratchpads for Software-Managed Multicores>>url:http://www.bromans.com/publ/kim-et-al-2014-wcet-scm-ssm.pdf\|\|shape="rect"]], (% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)In //Proceedings of the 20th IEEE Real-Time and Embedded Technology and Application Symposium// (RTAS 2014), Berlin, Germany, 2014
	83
	84	(% style="margin-left: 30.0px;" %)
20.1	85	(% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)[vergeben] Ahmed Alhammad, Rodolfo Pellizzoni,(% style="color: rgb(0,0,0);" %) [[Schedulability Analysis of Global Memory-predictable Scheduling>>url:http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6986128\|\|shape="rect"]], (% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)EMSOFT 2014
10.1	86
7.1	87	=== Master Empfehlung ===
	88
	89	(% style="margin-left: 30.0px;" %)
10.1	90	(% style="color: rgb(0,51,102);" %)J(%%)ordan A. Ross, Alexandr Murashkin, Jia Hui Liang, Micha(% class="authors__name" %)ł Antkiewicz, Krzysztof Czarnecki, [[Synthesis and exploration of multi-level, multi-perspective architectures of automotive embedded systems>>url:https://rdcu.be/bQRqq\|\|shape="rect"]],(% style="color: rgb(0,51,102);" %) Software & Systems Modeling 2019(%%)
1.1	91
10.1	92
	93	(% style="margin-left: 30.0px;" %)
	94	(% class="authors__name" style="color: rgb(0,51,102);" %)Fabio Cremona, Marten Lohstroh, David Broman, Edward A. Lee, Michael Masin, Stavros Tripakis(% class="authors__name" %), [[Hybrid co-simulation: it’s about time>>url:https://rdcu.be/bQRuU\|\|shape="rect"]], (% style="color: rgb(0,51,102);" %)Software & Systems Modeling 2019(%%)
	95
	96
	97	(% style="margin-left: 30.0px;" %)
	98	(% style="color: rgb(0,51,102);" %)Carlos A. González, Mojtaba Varmazyar, Shiva Nejati, Lionel C. Briand, and Yago Isasi. 2018. [[Enabling Model Testing of Cyber-Physical Systems>>url:https://dl.acm.org/citation.cfm?doid=3239372.3239409\|\|shape="rect"]]. In //Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems //(MODELS '18). ACM, New York, NY, USA, 176-186.
	99
	100	(% style="margin-left: 30.0px;" %)
	101	(% style="color: rgb(0,51,102);" %)Reza Ahmadi, Ernesto Posse, and Juergen Dingel. 2018.[[ Slicing UML-based Models of Real-time Embedded Systems>>url:https://dl.acm.org/citation.cfm?doid=3239372.3239407\|\|shape="rect"]]. In //Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems// (MODELS '18). ACM, New York, NY, USA, 346-356.
	102
	103	(% style="margin-left: 30.0px;" %)
	104	(% style="color: rgb(0,51,102);" %)Bader Alahmad and Sathish Gopalakrishnan. 2018. [[On Budgeting and Quality, with an Application to Safety-Critical Real-time Systems>>url:https://dl.acm.org/citation.cfm?doid=3273905.3273917\|\|shape="rect"]]. In //Proceedings of the 26th International Conference on Real-Time Networks and Systems// (RTNS '18). ACM, New York, NY, USA, 19-29.
	105
	106	(% style="margin-left: 30.0px;" %)
15.1	107	(% style="color: rgb(0,51,102);" %)[vergeben] Wanli Chang, Shuai Zhao, Ran Wei, Andy Wellings, and Alan Burns. 2019. [[From Java to real-time Java: a model-driven methodology with automated toolchain (invited paper)>>url:https://dl.acm.org/citation.cfm?doid=3316482.3326360\|\|shape="rect"]]. In //Proceedings of the 20th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems// (LCTES 2019). ACM, New York, NY, USA, 123-134.
10.1	108
	109	(% style="margin-left: 30.0px;" %)
23.1	110	(% style="color: rgb(0,51,102);" %)Andreas Sailer, Michael Deubzer, Gerald Lüttgen, and Jürgen Mottok. 2017. [[Comparing trace recordings of automotive real-time software>>url:https://dl.acm.org/citation.cfm?doid=3139258.3139265\|\|shape="rect"]]. In //Proceedings of the 25th International Conference on Real-Time Networks and Systems// (RTNS '17). ACM, New York, NY, USA, 118-127.
10.1	111
	112	(% style="margin-left: 30.0px;" %)
19.1	113	(% style="color: rgb(0,51,102);" %)[vergeben] Eike Schweissguth, Peter Danielis, Dirk Timmermann, Helge Parzyjegla, and Gero Mühl. 2017. [[ILP-based joint routing and scheduling for time-triggered networks>>url:https://dl.acm.org/citation.cfm?doid=3139258.3139289\|\|shape="rect"]]. In //Proceedings of the 25th International Conference on Real-Time Networks and Systems// (RTNS '17). ACM, New York, NY, USA
10.1	114
	115	(% style="margin-left: 30.0px;" %)
	116	(% style="color: rgb(0,51,102);" %)Tobias Sehnke, Dieter Schwarzmann, Matthias Schultalbers, and Rolf Ernst. 2017. [[Temporal properties in automotive control software>>url:https://dl.acm.org/citation.cfm?doid=3139258.3139279\|\|shape="rect"]]. In //Proceedings of the 25th International Conference on Real-Time Networks and Systems// (RTNS '17). ACM, New York, NY, USA, 98-107.
	117
	118	(% style="margin-left: 30.0px;" %)
	119	(% style="color: rgb(0,51,102);" %)Tobias Klaus, Florian Franzmann, Matthias Becker, and Peter Ulbrich. 2018. [[Data Propagation Delay Constraints in Multi-Rate Systems: Deadlines vs. Job-Level Dependencies>>url:https://dl.acm.org/citation.cfm?doid=3273905.3273923\|\|shape="rect"]]. In //Proceedings of the 26th International Conference on Real-Time Networks and Systems// (RTNS '18). ACM, New York, NY, USA, 93-103.
	120
	121	(% style="margin-left: 30.0px;" %)
	122	(% style="color: rgb(0,51,102);" %)Evgeny Kusmenko, Bernhard Rumpe, Sascha Schneiders, and Michael von Wenckstern. 2018. [[Highly-Optimizing and Multi-Target Compiler for Embedded System Models: C++ Compiler Toolchain for the Component and Connector Language EmbeddedMontiArc>>url:https://dl.acm.org/citation.cfm?id=3239388\|\|shape="rect"]]. In //Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems// (MODELS '18). ACM, New York, NY, USA, 447-457.
	123
	124	(% style="margin-left: 30.0px;" %)
	125	(% style="color: rgb(0,51,102);" %)Arne Hamann, Dakshina Dasari, Jorge Martinez, and Dirk Ziegenbein. 2018. [[Response Time Analysis for Fixed Priority Servers>>url:https://dl.acm.org/citation.cfm?doid=3273905.3273927\|\|shape="rect"]]. In //Proceedings of the 26th International Conference on Real-Time Networks and Systems// (RTNS '18). ACM, New York, NY, USA, 254-264.
	126
	127	(% style="margin-left: 30.0px;" %)
	128	(% style="color: rgb(0,51,102);" %)Guillaume Brau, Nicolas Navet, and Jérôme Hugues. 2017. [[Heterogeneous models and analyses in the design of real-time embedded systems - an avionic case-study>>url:https://dl.acm.org/citation.cfm?doid=3139258.3139281\|\|shape="rect"]]. In //Proceedings of the 25th International Conference on Real-Time Networks and Systems// (RTNS '17). ACM, New York, NY, USA, 168-177.
	129
1.1	130	== Termine ==
	131
	132	(% class="wrapped fixed-table" %)
	133	\|=(((
	134	Datum
	135	)))\|=(((
	136	Meilenstein
	137	)))
	138	\|(((
5.1	139	Mi, 23.10., 11:50 Uhr
1.1	140	)))\|(((
5.1	141	Vorbesprechung/Kick-Off, Latex/EasyChair Kurzeinführung, CAP 4, R. 1115
	142	)))
	143	\|(% colspan="1" %)(% colspan="1" %)
	144	(((
	145	Mi, 23.10., 23:59 Uhr
	146	)))\|(% colspan="1" %)(% colspan="1" %)
	147	(((
1.1	148	Ende der Frist für die Themenauswahl (per Email an Alexander)
	149	)))
	150	\|(((
6.1	151	Di., 12.11., 8:00 Uhr
1.1	152	)))\|(((
13.1	153	Abgabe Ausarbeitungsgerüst in [[EasyChair>>url:https://easychair.org/conferences/?conf=kielrtsyssem19ws\|\|shape="rect"]]. Dies umfasst einen ersten Abstract und eine Einleitung, sowie eine Gliederung mit Stichworten zum Inhalt der Kapitel. Weiterhin auch eine Bibliographie Liste zur Übersicht über verwandte Arbeiten.
1.1	154	)))
	155	\|(% colspan="1" %)(% colspan="1" %)
	156	(((
22.1	157	Mi., 13.11, Do., 14.11, Fr., 15.11
1.1	158	)))\|(% colspan="1" %)(% colspan="1" %)
	159	(((
	160	Individualtermine, CAP 4, R. 1110
	161	)))
	162	\|(% colspan="1" %)(% colspan="1" %)
	163	(((
6.1	164	Di., 10.12., 8:00 Uhr
1.1	165	)))\|(% colspan="1" %)(% colspan="1" %)
	166	(((
13.1	167	Abgabe der Erstversion der vollständigen Ausarbeitung (Submission-Update in [[EasyChair>>url:https://easychair.org/conferences/?conf=kielrtsyssem19ws\|\|shape="rect"]])
1.1	168	)))
	169	\|(% colspan="1" %)(% colspan="1" %)
	170	(((
22.1	171	Mi., 11.12, Do., 12.12, Fr., 13.12
1.1	172	)))\|(% colspan="1" %)(% colspan="1" %)
	173	(((
	174	Individualtermine, CAP 4, R. 1110
	175	)))
	176	\|(% colspan="1" %)(% colspan="1" %)
	177	(((
6.1	178	Di., 07.01., 08:00 Uhr
1.1	179	)))\|(% colspan="1" %)(% colspan="1" %)
	180	(((
13.1	181	Abgabe der Review-Version der Ausarbeitung (Submission-Update in [[EasyChair>>url:https://easychair.org/conferences/?conf=kielrtsyssem19ws\|\|shape="rect"]]) und Beitritt zum Program Committee (Einladung zuvor per Mail)
1.1	182	)))
	183	\|(% colspan="1" %)(% colspan="1" %)
	184	(((
	185	anschließend
	186	)))\|(% colspan="1" %)(% colspan="1" %)
	187	(((
	188	Zuordnung Ausarbeitungen/Reviewer (per Email)**
	189	**
	190	)))
	191	\|(% colspan="1" %)(% colspan="1" %)
	192	(((
25.1	193	Mi., 08.01., 10:00 Uhr
1.1	194	)))\|(% colspan="1" %)(% colspan="1" %)
	195	(((
30.1	196	Vortrag zur Gestaltung einer guten Präsentation. Ort: CAP 4, R. 910
1.1	197	)))
	198	\|(% colspan="1" %)(% colspan="1" %)
	199	(((
25.1	200	Di., 14.01., 08:00 Uhr
1.1	201	)))\|(% colspan="1" %)(% colspan="1" %)
	202	(((
25.1	203	Abgabe der Reviews (in [[EasyChair>>url:https://easychair.org/conferences/?conf=kielrtsyssem19ws\|\|shape="rect"]])**
	204	**
1.1	205	)))
	206	\|(% colspan="1" %)(% colspan="1" %)
	207	(((
22.1	208	Mi., 29.01, Do., 30.01, Fr., 31.01
1.1	209	)))\|(% colspan="1" %)(% colspan="1" %)
	210	(((
	211	Individualtermine zur Besprechung der Vortragsfolien, CAP 4, R. 1110. Die Folien müssen zum Besprechungstermin entweder auf dem eigenen Rechner mitgebracht oder vorher als PDF per Mail geschickt werden.
	212	)))
	213	\|(% colspan="1" %)(% colspan="1" %)
	214	(((
6.1	215	Fr., 14.02., 08:00 Uhr
1.1	216	)))\|(% colspan="1" %)(% colspan="1" %)
	217	(((
13.1	218	Abgabe der Endversionen der Ausarbeitungen (Submission-Update in [[EasyChair>>url:https://easychair.org/conferences/?conf=kielrtsyssem19ws\|\|shape="rect"]])
1.1	219	)))
	220	\|(% colspan="1" %)(% colspan="1" %)
	221	(((
5.1	222	Mo., 17.02
1.1	223	)))\|(% colspan="1" %)(% colspan="1" %)
	224	(((
33.1	225	Ganztägiges Blockseminar mit Vorträgen. (CAP 4, R. 1401)
1.1	226	)))
	227
	228	== Agenda des Blockseminars ==
	229
	230	Die Vorstellung des jeweils bearbeiteten Themas wird im Rahmen eines Blockseminars stattfinden. Die Teilnahme am Seminartag ist Pflicht.
10.1	231	Jede teilnehmende Person erhält die Proceedings des laufenden Seminars.\\
1.1	232
	233
31.1	234
35.1	235	{{view-file att--filename="agenda_anon.pdf" height="250"/}}
31.1	236
1.1	237	== Ausarbeitung, Vortrag, Review ==
	238
	239	Das Seminar umfasst die Erstellung einer Ausarbeitung, eines Vortrags, und zweier Reviews.
	240
	241	=== Ausarbeitung ===
	242
34.1	243	Die Ausarbeitung soll eine Übersicht über das behandelte Themengebiet darstellen. Sie sollte so verfasst sein, dass sie von einer fortgeschrittenen Bachelor-Informatik-Person gut verstanden werden kann. Die Ausarbeitung soll 6 (Master) bzw. 4 (Bachelor) Seiten umfassen, einschließlich Bibliographie, nicht mehr und nicht weniger. Zudem muss der ACM LaTeX-Style verwendet werden (dazu mehr Details weiter unten). Generell 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.
1.1	244
	245	=== Vortrag ===
	246
	247	Der Vortrag soll 40 Minuten (Master) bzw. 25 Minuten (Bachelor) lang sein, woran sich 5 Minuten Zeit für Fragen anschließen. 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 großartig. Die Arbeitsgruppe bietet jeder vortragenden Person an, eine Videoaufnahme des Vortrags zu erstellen und zur Verfügung zu stellen.
	248
	249	Die Wahl eines geeigneten Präsentationstools ist frei. Bei der Besprechung der Vortragsfolien und dem Vortag beim Blocksemiar sollte daher der eigene Rechner genutzt werden. Wenn die Präsentation vorher als PDF per Mail an einen Betreuer geschickt wird, dann kann ein vorhandener Rechner genutzt werden.
	250	Falls Online-Tools genutzt werden, sei darauf hingewiesen, dass beim Blockseminar in Falckenstein kein WLAN Zugang zur Verfügung steht. Der Vortrag muss daher auch offline gehalten werden können.
32.1	251	Der Vortrag kann sowohl in Deutsch als auch Englisch gehalten werden.
1.1	252
	253	=== Review ===
	254
	255	Ein Review einer Ausarbeitung besteht aus folgenden zwei Komponenten:
	256
	257	1. Generelle Anmerkungen (was gefällt Ihnen / gefällt Ihnen nicht zu Inhalt, Gliederung und Lesbarkeit) sowie generelle Verbesserungsvorschläge
	258	1. Detailliertere Korrekturen
	259
27.1	260	Vom Umfang sollte das Review (1. Teil) mindestens einer halben A4 Seite entsprechen. Es soll ein ausformulierter Text sein und nicht nur aus Stichpunkten bestehen. Inhaltlich ähnelt es dem, was auch in den Individualterminen besporchen wird, nur etwas ausfühlicher und mit klarem Fokus auf Aufbau, Inhalt und Verständlichkeit des Papers.
26.1	261
	262	In dem Review-Fomular von EasyCair können keine Dateien angehängt werden, es kann also kein annotiertes pdf als Detail-Korrektur angehängt werden.
	263
1.1	264	Die Zuordnung von Papern zu Reviewenden geschieht kurzfristig nach dem Abgabetermin für die Review-Versionen der Ausarbeitungen, basierend auf den dann abgegebenen Ausarbeitungen.
	265
	266	== Benotung ==
	267
	268	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.
	269
	270	\\
	271
	272	== Technische Details ==
	273
	274	=== LaTeX ===
	275
28.1	276	Ihre Ausarbeitungen sind mit Hilfe von LaTeX zu verfassen und müssen den Stil der ACM benutzen. In [[dieser ZIP-Datei>>attach:paper-template.zip]] finden Sie alle benötigten Dateien dafür, inklusive eines Beispiel-Dokuments, welches hilfreiche LaTeX-Tips für den Anfang enthält. Kopieren Sie die Dateien in ein beliebiges Verzeichnis und fangen Sie an, Ihre Ausarbeitung zu schreiben.
1.1	277
	278	Für die Bibliographie (enthält wissenschaftliche Publikationen, die referenziert werden, um Quellen zu belegen) bietet LaTeX ebenfalls Lösungen. Im Beispiel finden Sie eine Datei namens {{code language="none"}}myrefs.bib{{/code}}, in welche Referenzen ausgelagert wurden. Die ACM bietet [[eine kurze Übersicht>>url:https://www.acm.org/publications/authors/bibtex-formatting\|\|shape="rect"]] mit Beispielen zum Schreiben von Bibliographie-Einträgen.
	279
	280	Beachten Sie beim Verfassen Ihrer Ausarbeitung insbesondere folgende Punkte:
	281
	282	* Überlegen Sie, ob Sie die Ausarbeitung auf Deutsch oder auf Englisch verfassen wollen und verwenden Sie die entsprechende Version des ACM-Stils.
	283	* Grafiken aus Ihrem Paper sollten Sie nicht einfach per Screenshot in Ihre Ausarbeitung befördern. Idealerweise bauen Sie Grafiken neu (idealerweise als Vektorgrafik), damit sie eine ordentliche Qualität haben statt als Pixelhaufen zu enden.
	284	* Eine ordentliche Ausarbeitung enthält eine Zusammenfassung, eine Einleitung, mindestens ein Hauptkapitel, und eine Zusammenfassung.
	285
	286	=== EasyChair Tutorial ===
	287
13.1	288	Unser Seminar findet ihr im EasyChair-System: [[Link>>url:https://easychair.org/conferences/?conf=kielrtsyssem19ws\|\|shape="rect"]].
1.1	289
	290	{{expand title="Klicke hier zum ausklappen..."}}
	291	\\
	292
	293	[[doc:RTSYS.EasyChair Student Tutorial]]
	294
	295	{{include/}}
	296	{{/expand}}
	297
	298	\\
	299
	300	== Weiterführende Hinweise / Links ==
	301
	302	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:
	303
	304	* Google Scholar: [[http:~~/~~/scholar.google.de/>>url:http://scholar.google.de/\|\|shape="rect" class="external-link"]]
	305	* dblp: [[http:~~/~~/dblp.uni-trier.de/>>url:http://dblp.uni-trier.de/\|\|shape="rect"]]
	306	* CiteSeer: [[http:~~/~~/citeseer.ist.psu.edu/>>url:http://citeseer.ist.psu.edu/\|\|shape="rect" class="external-link"]]
	307	* IEEE-Xplore: [[http:~~/~~/ieeexplore.ieee.org/Xplore/dynhome.jsp>>url:http://ieeexplore.ieee.org/Xplore/dynhome.jsp\|\|shape="rect" class="external-link"]]
	308	* ACM Digital Library: [[http:~~/~~/portal.acm.org/dl.cfm>>url:http://portal.acm.org/dl.cfm\|\|shape="rect" class="external-link"]]
	309	* 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"]]
	310
	311	\\
	312
	313	(% style="display: none;" %)
	314	(((
	315	555
	316	)))
	317
	318	(% style="display: none;" %)
	319	(((
	320	610
	321	)))
	322
	323	(% style="display: none;" %)
	324	(((
	325	410
	326	)))
	327
	328	(% style="display: none;" %)
	329	(((
	330	547
	331	)))
	332
	333	(% style="display: none;" %)
	334	(((
	335	983
	336	)))
	337
	338	(% style="display: none;" %)
	339	(((
	340	150
	341	)))
	342
	343	(% style="display: none;" %)
	344	(((
	345	329
	346	)))

Wiki source code of WS19/20 (Echtzeitsysteme und eingebettete Systeme)

Navigation

Quick Links