Summary

• Page properties (2 modified, 0 added, 0 removed)

Details

Page properties

Title

...	...	@@ -1,1 +1,1 @@
1		-2023 (Embedded Real-Time Systems)
	1	+2023 Embedded Real-Time Systems

Content

...	...	@@ -26,7 +26,6 @@
26	26	(% style="text-align: left;" %)
27	27	== Topics ==
28	28
29		-{{expand}}
30	30	(% class="bodytext" style="text-align: left;" %)
31	31	You may choose from one of the following papers. The scope, complexity and required knowledge for these papers roughly divides them into topics for bachelor students and for master students. However, bachelor students that take great interest in a master students topic may also choose from those.
32	32
...	...	@@ -132,11 +132,10 @@
132	132
133	133	(% style="margin-left: 30.0px;" %)
134	134	(% style="color: rgb(51,51,51);" %)A. Gannous, A. Andrews and B. Gallina, [[Toward a Systematic and Safety Evidence Productive Verification Approach for Safety-Critical Systems>>url:https://ieeexplore.ieee.org/document/8539215||shape="rect"]]. (%%)//2018 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)//(% style="color: rgb(51,51,51);" %), 2018, pp. 329-336, doi: 10.1109/ISSREW.2018.00026.
135		-{{/expand}}
136	136
	135	+
137	137	== Schedule ==
138	138
139		-{{expand}}
140	140	Note: The dates are not final yet, to be discussed during the kickoff meeting.
141	141
142	142	(% class="fixed-table wrapped" %)
...	...	@@ -236,14 +236,11 @@
236	236
237	237	=== Agenda ===
238	238
	237	+**[[Hier>>url:https://rtsys.informatik.uni-kiel.de/confluence/download/attachments/142606434/agenda_anonym.pdf?version=1&modificationDate=1687274700000&api=v2||shape="rect"]]** die Agenda als PDF
239	239
240	240
241		-{{view-file att--filename="agenda_anonym.pdf" height="250"/}}
242		-{{/expand}}
243		-
244	244	== Milestones and Grading ==
245	245
246		-{{expand}}
247	247	(% style="margin-top: 30.0px;color: rgb(23,43,77);" %)
248	248	== Papers, Talks, Review ==
249	249
...	...	@@ -285,11 +285,9 @@
285	285	== Grades ==
286	286
287	287	This seminar is graded. The grade is based on each milestone (the different versions of the paper, the reviews, the slides, the talk). For each milestone quality, timing (see dates) are graded. Missed deadline may cause you to fail the seminar.
288		-{{/expand}}
289	289
290	290	== Technical Details ==
291	291
292		-{{expand}}
293	293	(% style="margin-top: 30.0px;color: rgb(23,43,77);" %)
294	294	=== LaTeX ===
295	295
...	...	@@ -312,18 +312,12 @@
312	312
313	313	You can find our seminar in EasyChair: **[[Link>>url:https://easychair.org/conferences/?conf=kielrtsyssem23ss||shape="rect"]]**
314	314
315		-{{expand title="Klicke hier zum ausklappen..."}}
316		-\\
317		-
318	318	[[doc:RTSYS.EasyChair Student Tutorial]]
319	319
320		-{{include/}}
321		-{{/expand}}
322		-{{/expand}}
323	323
324	324	=== (% style="font-size:20.0px; font-weight:normal; letter-spacing:-0.008em" %)Resources(%%) ===
325	325
326		-{{expand}}
	313	+
327	327	(% style="margin-top: 10.0px;" %)
328	328	In general, it is advised to look for related work in the university network since you will get access to many online libraries. We the following search engines and web pages:
329	329
...	...	@@ -333,4 +333,3 @@
333	333	* IEEE-Xplore: [[http:~~/~~/ieeexplore.ieee.org/Xplore/dynhome.jsp>>url:http://ieeexplore.ieee.org/Xplore/dynhome.jsp||shape="rect" class="external-link"]]
334	334	* ACM Digital Library: [[http:~~/~~/portal.acm.org/dl.cfm>>url:http://portal.acm.org/dl.cfm||shape="rect" class="external-link"]]
335	335	* 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"]]
336		-{{/expand}}