Last modified by Richard Kreissig on 2025/01/30 11:57
<
From version < 3.1 >
edited by Alexander Schulz-Rosengarten
on 2019/07/02 08:21
To version < 7.1 >
edited by Alexander Schulz-Rosengarten
on 2019/07/02 11:27
>
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -1,4 +1,5 @@
1 -(((
1 +\\
2 +
2 2  (% class="bodytext" style="text-align: left;" %)
3 3  (% 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.
4 4  
... ... @@ -9,8 +9,9 @@
9 9  (% style="text-align: left;" %)
10 10  == Voraussetzungen ==
11 11  
12 -(% style="text-align: left;" %)
13 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 +
15 +(% style="text-align: left;" %)
14 14  Wir empfehlen zudem den Besuch der Blockveranstaltung **Wissenschaftliches Arbeiten für Seminar und Abschlussarbeiten** von Frau Peters.
15 15  
16 16  (% style="text-align: left;" %)
... ... @@ -19,7 +19,6 @@
19 19  (% class="bodytext" style="text-align: left;" %)
20 20  Reinhard von Hanxleden ([[rvh@informatik.uni-kiel.de>>mailto:rvh@informatik.uni-kiel.de||shape="rect"]])(% class="Apple-converted-space" %) (%%)
21 21  Alexander Schulz-Rosengarten ([[als@informatik.uni-kiel.de>>mailto:als@informatik.uni-kiel.de||shape="rect"]])
22 -Steven Smyth ([[ssm@informatik.uni-kiel.de>>mailto:ssm@informatik.uni-kiel.de||shape="rect"]])
23 23  
24 24  (% style="text-align: left;" %)
25 25  == Themen ==
... ... @@ -34,9 +34,34 @@
34 34  (% class="bodytext" style="text-align: left;" %)
35 35  Viele der Links werden nur aus dem Netz der Uni Kiel heraus funktionieren. Bei Problemen einfach Bescheid sagen.
36 36  
37 -(% class="bodytext" style="text-align: left;" %)
38 +=== Bachelor Empfehlung ===
39 +
40 +\\
41 +
42 +\\
43 +
44 +(% style="margin-left: 30.0px;" %)
45 +(% style="color: rgb(0,0,0);" %)Yooseong Kim, David Broman, Jian Cai, and Aviral Shrivastaval, "[[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"]]", In /Proceedings of the 20th IEEE Real-Time and Embedded Technology and Application Symposium (RTAS 2014)/, Berlin, Germany, 2014
46 +
47 +(% style="margin-left: 30.0px;" %)
48 +(% style="color: rgb(0,0,0);" %)Patricia Derler, Edward A. Lee, Alberto Sangiovanni-Vincentelli, "[[Modeling Cyber-Physical Systems>>url:https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=5995279||shape="rect"]]", Proceedings of the IEEE (special issue on CPS)/, 100(1):13-28, January 2012
49 +
50 +(% style="margin-left: 30.0px;" %)
51 +(% style="color: rgb(0,0,0);" %)Björn Döbel, Hermann Härtig, "[[Can We Put Concurrency Back Into Redundant Multithreading?>>url:http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6986127||shape="rect"]]", EMSOFT 2014
52 +
53 +(% style="margin-left: 30.0px;" %)
54 +(% style="color: rgb(0,0,0);" %)Ahmed Alhammad, Rodolfo Pellizzoni, "[[Schedulability Analysis of Global Memory-predictable Scheduling>>url:http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6986128||shape="rect"]]", EMSOFT 2014
55 +
56 +(% style="margin-left: 30.0px;" %)
57 +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
58 +
59 +(% style="margin-left: 30.0px;" %)
60 +Yixiao Lin, Sayan Mitro, "[[StarL: Towards a Unified Framework for Programming, Simulating and Verifying Distributed Robotic Systems>>url:https://dl.acm.org/citation.cfm?id=2754966||shape="rect"]]", LCTES 2015
61 +
62 +=== Master Empfehlung ===
63 +
64 +(% style="margin-left: 30.0px;" %)
38 38  **TBA**
39 -)))
40 40  
41 41  == Termine ==
42 42  
... ... @@ -47,18 +47,20 @@
47 47  Meilenstein
48 48  )))
49 49  |(((
50 -TBA
76 +Mi, 23.10., 11:50 Uhr
51 51  )))|(((
78 +Vorbesprechung/Kick-Off, Latex/EasyChair Kurzeinführung, CAP 4, R. 1115
79 +)))
80 +|(% colspan="1" %)(% colspan="1" %)
81 +(((
82 +Mi, 23.10., 23:59 Uhr
83 +)))|(% colspan="1" %)(% colspan="1" %)
84 +(((
52 52  Ende der Frist für die Themenauswahl (per Email an Alexander)
53 53  )))
54 54  |(((
55 -TBA
88 +Di., 12.11., 8:00 Uhr
56 56  )))|(((
57 -Vorbesprechung/Kick-Off, Latex/EasyChair Kurzeinführung, CAP 4, R. 1115
58 -)))
59 -|(((
60 -TBA
61 -)))|(((
62 62  Abgabe Ausarbeitungsgerüst in EasyChair. 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.
63 63  )))
64 64  |(% colspan="1" %)(% colspan="1" %)
... ... @@ -70,7 +70,7 @@
70 70  )))
71 71  |(% colspan="1" %)(% colspan="1" %)
72 72  (((
73 -TBA
101 +Di., 10.12., 8:00 Uhr
74 74  )))|(% colspan="1" %)(% colspan="1" %)
75 75  (((
76 76  Abgabe der Erstversion der vollständigen Ausarbeitung (Submission-Update in EasyChair)
... ... @@ -84,7 +84,7 @@
84 84  )))
85 85  |(% colspan="1" %)(% colspan="1" %)
86 86  (((
87 -TBA
115 +Di., 07.01., 08:00 Uhr
88 88  )))|(% colspan="1" %)(% colspan="1" %)
89 89  (((
90 90  Abgabe der Review-Version der Ausarbeitung (Submission-Update in EasyChair) und Beitritt zum Program Committee (Einladung zuvor per Mail)
... ... @@ -99,7 +99,7 @@
99 99  )))
100 100  |(% colspan="1" %)(% colspan="1" %)
101 101  (((
102 -TBA
130 +Di., 14.01., 08:00 Uhr
103 103  )))|(% colspan="1" %)(% colspan="1" %)
104 104  (((
105 105  Abgabe der Reviews (in EasyChair)**
... ... @@ -114,7 +114,7 @@
114 114  )))
115 115  |(% colspan="1" %)(% colspan="1" %)
116 116  (((
117 -TBA
145 +TBA (28.01.)
118 118  )))|(% colspan="1" %)(% colspan="1" %)
119 119  (((
120 120  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.
... ... @@ -121,7 +121,7 @@
121 121  )))
122 122  |(% colspan="1" %)(% colspan="1" %)
123 123  (((
124 -TBA
152 +Fr., 14.02., 08:00 Uhr
125 125  )))|(% colspan="1" %)(% colspan="1" %)
126 126  (((
127 127  Abgabe der Endversionen der Ausarbeitungen und anschließender Druck der Proceedings (Submission-Update in EasyChair)
... ... @@ -128,7 +128,7 @@
128 128  )))
129 129  |(% colspan="1" %)(% colspan="1" %)
130 130  (((
131 -TBA
159 +Mo., 17.02
132 132  )))|(% colspan="1" %)(% colspan="1" %)
133 133  (((
134 134  Ganztägiges Blockseminar mit Vorträgen.
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -60522688
1 +60522701
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/60522688/WS19/20 (Echtzeitsysteme und eingebettete Systeme)
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/60522701/WS19/20 (Echtzeitsysteme und eingebettete Systeme)

Navigation

Quick Links

KIELER on GitHub
RTSYS Homepage