Changes for page 2019/20 Echtzeitsysteme und eingebettete Systeme
Last modified by Richard Kreissig on 2025/01/30 11:57
<
>
edited by Alexander Schulz-Rosengarten
on 2019/07/02 11:20
on 2019/07/02 11:20
edited by Alexander Schulz-Rosengarten
on 2019/07/02 11:27
on 2019/07/02 11:27
Change comment:
There is no comment for this version
Summary
-
Page properties (1 modified, 0 added, 0 removed)
-
Objects (1 modified, 0 added, 0 removed)
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;" %) ... ... @@ -33,9 +33,34 @@ 33 33 (% class="bodytext" style="text-align: left;" %) 34 34 Viele der Links werden nur aus dem Netz der Uni Kiel heraus funktionieren. Bei Problemen einfach Bescheid sagen. 35 35 36 -(% 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;" %) 37 37 **TBA** 38 -))) 39 39 40 40 == Termine == 41 41
- Confluence.Code.ConfluencePageClass[0]
-
- Id
-
... ... @@ -1,1 +1,1 @@ 1 -6052270 01 +60522701 - URL
-
... ... @@ -1,1 +1,1 @@ 1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/6052270 0/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)