Version 17.1 by ssm on 2018/04/13 08:21
Hide last authors
Alexander Schulz-Rosengarten 1.1 1 (((
2 (% class="bodytext" style="text-align: left;" %)
3 (% style="color: rgb(34,34,34);" %)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
5
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
12 (% style="text-align: left;" %)
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 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.
15
16 (% style="text-align: left;" %)
17 == Dozenten ==
18
19 (% class="bodytext" style="text-align: left;" %)
20 Reinhard von Hanxleden (rvh@[[informatik.uni-kiel.de>>url:http://informatik.uni-kiel.de||shape="rect"]])(% class="Apple-converted-space" %) 
21 Steven Smyth (ssm@[[informatik.uni-kiel.de>>url:http://informatik.uni-kiel.de||shape="rect"]])(%%)
22 Alexander Schulz-Rosengarten (als@[[informatik.uni-kiel.de>>url:http://informatik.uni-kiel.de||shape="rect"]])
23
24 (% style="text-align: left;" %)
25 == Themen ==
26
27 (% class="bodytext" style="text-align: left;" %)
28 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.
29
30 (% class="bodytext" style="text-align: left;" %)
ssm 9.1 31 //Die aktuelle Auswahl ist vorläufig!// Die Themen können bereits gewählt werden, aber bis zum Kickoff des Seminars wird die Liste ggf. noch erweitert.
Alexander Schulz-Rosengarten 1.1 32 Die Paper werden first-come-first-serve vergeben. Ist ein Paper schon an jemanden vergeben, vermerken wir das hier.
33
34 (% class="bodytext" style="text-align: left;" %)
35 Viele der Links werden nur aus dem Netz der Uni Kiel heraus funktionieren. Bei Problemen einfach Bescheid sagen.
36 )))
37
38 === Bachelor Empfehlung ===
39
ssm 9.1 40 1. (% 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", In /Proceedings of the 20th IEEE Real-Time and Embedded Technology and Application Symposium (RTAS 2014)/, Berlin, Germany, 2014, (%%)[[PDF hier>>url:http://www.bromans.com/publ/kim-et-al-2014-wcet-scm-ssm.pdf||shape="rect" class="MIME-application MIME--pdf external-link"]]
ssm 10.1 41 1. (% style="color: rgb(0,0,0);" %)Patricia Derler, Edward A. Lee, Alberto Sangiovanni-Vincentelli, "Modeling Cyber-Physical Systems", Proceedings of the IEEE (special issue on CPS)/, 100(1):13-28, January 2012, (%%)[[PDF hier>>url:https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=5995279||shape="rect"]]
42 1. (% style="color: rgb(0,0,0);" %)Björn Döbel, Hermann Härtig, "Can We Put Concurrency Back Into Redundant Multithreading?", EMSOFT 2014, (%%)[[PDF hier>>url:http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6986127||shape="rect" class="external-link"]]
43 1. (% style="color: rgb(0,0,0);" %)Ahmed Alhammad, Rodolfo Pellizzoni, "Schedulability Analysis of Global Memory-predictable Scheduling", EMSOFT 2014, (%%)[[PDF hier>>url:http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6986128||shape="rect" class="external-link"]]
ssm 11.1 44 1. Biswajit Mazumder, JAson O. Hallstrom, "A Fast, Lightweight, and Reliable File System for Wireless Sensor Networks", EMSOFT 2016, [[PDF hier>>url:https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=7743241||shape="rect"]]
45 1. A. Procter, W. Harrison, I. Graves, M. Becchi, G. Allwein, "Semantics Driven Hardware Design, Implementation, and Verification with ReWire", LCTES 2015, [[PDF hier>>url:https://dl.acm.org/citation.cfm?id=2754970||shape="rect"]]
46 1. Yixiao Lin, Sayan Mitro, "StarL: Towards a Unified Framework for Programming, Simulating and Verifying Distributed Robotic Systems", LCTES 2015, [[PDF hier>>url:https://dl.acm.org/citation.cfm?id=2754966||shape="rect"]]
Alexander Schulz-Rosengarten 1.1 47
48 === Master Empfehlung ===
49
ssm 10.1 50 1. (% style="color: rgb(0,0,0);" %)Edward A. Lee, "Constructive Models of Discrete and Continuous Physical Phenomena", IEEE Acces, Vol. 2, pages 797-821, August 7, 2014, (%%)[[PDF hier>>url:https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6873221||shape="rect"]]
ssm 15.1 51 1. (% style="color: rgb(0,0,0);" %)**Milad Rahimi-Barfeh: **David Broman, Christopher Brooks, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis, Michael Wetter,  "Determinate Composition of FMUs for Co-Simulation", 13th International Conference on Embedded Software (EMSOFT), Montreal, Canada, September 29 - October 4, 2013, (%%)[[PDF hier>>url:http://www.dtic.mil/cgi-bin/GetTRDoc?AD=ADA587399||shape="rect" class="external-link"]]
ssm 16.1 52 1. **Sarah Stelling: **Arnd Hartmanns, Holger Hermanns, Michael Bungert, "Flexible Support for Time and Costs in Scenario-Aware Dataflow", EMSOFT 2016, [[PDF hier>>url:https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=7743220||shape="rect"]]
ssm 11.1 53 1. Duc-Hiep Chu, Joxan Jaffar, Rasool Maghareh, "Symbolic Execution for Memory Consumption Analysis", LCTES 2016, [[PDF hier>>url:https://dl.acm.org/citation.cfm?doid=2907950.2907955||shape="rect"]]
Alexander Schulz-Rosengarten 1.1 54
55 (% style="margin-left: 30.0px;" %)
56 (% class="text-black navigate" %)//
57 //
58
59 == Termine ==
60
61 (% class="wrapped" %)
62 |=(((
63 Datum
64 )))|=(((
65 Meilenstein
66 )))
67 |(((
Alexander Schulz-Rosengarten 7.1 68 Fr., 13.04.
Alexander Schulz-Rosengarten 1.1 69 )))|(((
70 Ende der Frist für die Themenauswahl (per Email)
71 )))
72 |(((
Alexander Schulz-Rosengarten 8.1 73 Fr., 13.04., 9:50 Uhr
Alexander Schulz-Rosengarten 1.1 74 )))|(((
75 Vorbesprechung/Kick-Off, Latex/Git Kurzeinführung, CAP 4, R. 1115
76 )))
77 |(((
ssm 17.1 78 Mi., 02.05., 8:00 Uhr
Alexander Schulz-Rosengarten 1.1 79 )))|(((
80 Abgabe Ausarbeitungsgerüst (Abstract, Einleitung, Gliederung, Stichworte zum Inhalt der Kapitel, Bibliographie)
81 )))
82 |(% colspan="1" %)(% colspan="1" %)
83 (((
Alexander Schulz-Rosengarten 4.1 84 anschließend
Alexander Schulz-Rosengarten 1.1 85 )))|(% colspan="1" %)(% colspan="1" %)
86 (((
Alexander Schulz-Rosengarten 4.1 87 Individualtermine
Alexander Schulz-Rosengarten 1.1 88 )))
89 |(% colspan="1" %)(% colspan="1" %)
90 (((
Alexander Schulz-Rosengarten 8.1 91 Di., 22.05., 8:00 Uhr
Alexander Schulz-Rosengarten 1.1 92 )))|(% colspan="1" %)(% colspan="1" %)
93 (((
94 Abgabe der Erstversion der vollständigen Ausarbeitung
95 )))
96 |(% colspan="1" %)(% colspan="1" %)
97 (((
Alexander Schulz-Rosengarten 4.1 98 anschließend
Alexander Schulz-Rosengarten 1.1 99 )))|(% colspan="1" %)(% colspan="1" %)
100 (((
Alexander Schulz-Rosengarten 4.1 101 Individualtermine
Alexander Schulz-Rosengarten 1.1 102 )))
103 |(% colspan="1" %)(% colspan="1" %)
104 (((
Alexander Schulz-Rosengarten 8.1 105 Di., 05.06., 8:00 Uhr
Alexander Schulz-Rosengarten 1.1 106 )))|(% colspan="1" %)(% colspan="1" %)
107 (((
108 Abgabe der Review-Version der Ausarbeitung
109 )))
110 |(% colspan="1" %)(% colspan="1" %)
111 (((
112 anschließend
113 )))|(% colspan="1" %)(% colspan="1" %)
114 (((
115 Zuordnung Ausarbeitungen/Reviewer (per Email)**
116 **
117 )))
118 |(% colspan="1" %)(% colspan="1" %)
119 (((
Alexander Schulz-Rosengarten 8.1 120 Di., 12.06., 8:00 Uhr
Alexander Schulz-Rosengarten 1.1 121 )))|(% colspan="1" %)(% colspan="1" %)
122 (((
123 Abgabe der Reviews**
124 **
125 )))
126 |(% colspan="1" %)(% colspan="1" %)
127 (((
Alexander Schulz-Rosengarten 3.1 128 TBA
Alexander Schulz-Rosengarten 1.1 129 )))|(% colspan="1" %)(% colspan="1" %)
130 (((
131 evtl. Vortrag zur Gestaltung einer guten Präsentation
132 )))
133 |(% colspan="1" %)(% colspan="1" %)
134 (((
ssm 14.1 135 Di., 26.06., 8:00 Uhr
Alexander Schulz-Rosengarten 1.1 136 )))|(% colspan="1" %)(% colspan="1" %)
137 (((
138 Abgabe der Vortragsfolien und Handoutfolien (siehe Hinweise unten)
139 )))
140 |(% colspan="1" %)(% colspan="1" %)
141 (((
Alexander Schulz-Rosengarten 4.1 142 anschließend
Alexander Schulz-Rosengarten 1.1 143 )))|(% colspan="1" %)(% colspan="1" %)
144 (((
Alexander Schulz-Rosengarten 4.1 145 Individualtermine**
Alexander Schulz-Rosengarten 1.1 146 **
147 )))
148 |(% colspan="1" %)(% colspan="1" %)
149 (((
Alexander Schulz-Rosengarten 8.1 150 Fr., 06.07., 8:00 Uhr
Alexander Schulz-Rosengarten 1.1 151 )))|(% colspan="1" %)(% colspan="1" %)
152 (((
153 Abgabe der Endversionen der Vortragsfolien, Handouts und Ausarbeitungen, Anschließend Druck der Proceedings (inkl. Ausarbeitungen und Handoutfolien)**
154 **
155 )))
156 |(% colspan="1" %)(% colspan="1" %)
157 (((
Alexander Schulz-Rosengarten 8.1 158 Sa., 07.07
Alexander Schulz-Rosengarten 1.1 159 )))|(% colspan="1" %)(% colspan="1" %)
160 (((
161 Ganztägiges Blockseminar mit Vorträgen
162 )))
163
164 == Agenda des Blockseminars ==
165
Alexander Schulz-Rosengarten 3.1 166 Die Vorstellung des jeweils bearbeiteten Themas wird im Rahmen eines Blockseminars stattfinden. Die Teilnahme am Blockseminar ist Pflicht.
Alexander Schulz-Rosengarten 1.1 167
Alexander Schulz-Rosengarten 3.1 168 **TBA**
Alexander Schulz-Rosengarten 1.1 169
170 == Ausarbeitung, Vortrag, Review ==
171
172 Das Seminar beinhaltet die Erstellung einer Ausarbeitung, eines Vortrags, und zweier Reviews.
173
174 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.
175
176 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.
177
178 Ein **Review** einer Ausarbeitung besteht aus folgenden zwei Komponenten:
179
180 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.
181 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.
182
183 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.
184
185 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"]].
186
187 Jede(r) Seminarteilnehmer(in) erhält die Proceedings des laufenden Seminars.
188
189 == Namenskonventionen ==
190
191 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.).
192
193 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.
194
Alexander Schulz-Rosengarten 3.1 195 * Ausarbeitung: //<login>/sem18ss-<login>.[tex/pdf]//
196 * Vortragsfolien: //<login>/sem18ss-<login>-talk.[tex/pdf]//
197 * Handoutfolien - ohne Animationen, für Ausdrucke und die Proceedings: //<login>/sem18ss-<login>-handout.[tex/pdf]//
198 * Review (generelle Anmerkungen): <login review-Empfänger>/sem18ss-<login review-Empfänger>-reviewnotes-<login Reviewer>.[pdf]
199 * Review (annotiertes PDF): <login review-Empfänger>/sem18ss-<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 sem18ss-ssm-review-als.pdf im Ordner ssm des Seminarrepositorys ein.
Alexander Schulz-Rosengarten 1.1 200
201 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}").
202
203 == Benotung ==
204
205 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.
206
207 == Technisches ==
208
209 * 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"]].
210 * 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.
Alexander Schulz-Rosengarten 3.1 211 * Git-Repository auschecken: git clone  [[ssh:~~/~~/git@git.rtsys.informatik.uni-kiel.de:7999/sem/18ss-rt-emb.git>>url:ssh://git@git.rtsys.informatik.uni-kiel.de:7999/sem/18ss-rt-emb.git||shape="rect"]]\\
Alexander Schulz-Rosengarten 1.1 212 ** Um die Erstellung der Proceedings zu erleichtern, richten Sie sich bitte nach den oben beschriebenen Namenskonventionen.
213 * (% class="external-link" %)ACM Style(%%) in deutscher oder englischer Version. Im Git Repository befinden sich im Unterverzeichnis //template/ //eine Reihe von Dateien, welche Sie als Vorlage verwenden sollen (siehe //README.txt//).
214 * 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)
215 ** sind im Prinzip gleich zu benutzen
216 ** 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!)
217 ** Von der Kommandozeile aus kann ein pdf mit "rubber -d sem17ws-<login>" erstellt werden (rubber ruft automatisch pdflatex und bibtex auf).
218 * (((
219 Bibliographie: Die Bibliographielemente werden 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.
220 )))
221
222 == Weiterführende Hinweise / Links ==
223
224 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:
225
226 * Google Scholar: [[http:~~/~~/scholar.google.de/>>url:http://scholar.google.de/||shape="rect" class="external-link"]]
227 * CiteSeer: [[http:~~/~~/citeseer.ist.psu.edu/>>url:http://citeseer.ist.psu.edu/||shape="rect" class="external-link"]]
228 * IEEE-Xplore: [[http:~~/~~/ieeexplore.ieee.org/Xplore/dynhome.jsp>>url:http://ieeexplore.ieee.org/Xplore/dynhome.jsp||shape="rect" class="external-link"]]
229 ** Kostenloser Download nur aus Rechnern im Uninetz möglich
230 * ACM Digital Library: [[http:~~/~~/portal.acm.org/dl.cfm>>url:http://portal.acm.org/dl.cfm||shape="rect" class="external-link"]]
231 * 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"]]
232
233 (% style="display: none;" %)
234 (((
235 555
236 )))
237
238 (% style="display: none;" %)
239 (((
240 610
241 )))
242
243 (% style="display: none;" %)
244 (((
245 410
246 )))
247
248 (% style="display: none;" %)
249 (((
250 547
251 )))
252
253 (% style="display: none;" %)
254 (((
255 983
256 )))
257
258 (% style="display: none;" %)
259 (((
260 150
261 )))
262
263 (% style="display: none;" %)
264 (((
265 329
266 )))

Navigation

Quick Links

KIELER on GitHub
RTSYS Homepage