Last modified by Alexander Schulz-Rosengarten on 2025/01/30 12:00
<
From version < 10.1 >
edited by Jette Petzold
on 2022/05/31 11:17
To version < 5.1 >
edited by Jette Petzold
on 2022/05/25 12:05
>
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -1,5 +1,5 @@
1 1  (% class="bodytext" style="text-align: left;" %)
2 -terThe purpose of this seminar is to independently and scientifically work on a topic on synchronous languages and related. The goal is to summarize the topic in an oral presentation and a written elaboration in form of a paper. Another purpose of this seminar is to practice working in structured and time-driven workflows (e.g. for conferences or workshops). Moreover, both of these aspects are a good preparation for working on your thesis. We have many theses regarding these topics available; contact us if you are interested in that.
2 +The purpose of this seminar is to independently and scientifically work on a topic on synchronous languages and related. The goal is to summarize the topic in an oral presentation and a written elaboration in form of a paper. Another purpose of this seminar is to practice working in structured and time-driven workflows (e.g. for conferences or workshops). Moreover, both of these aspects are a good preparation for working on your thesis. We have many theses regarding these topics available; contact us if you are interested in that.
3 3  
4 4  (% class="bodytext" style="text-align: left;" %)
5 5  This seminar is a bachelor and master module at the same time. Compared to the bachelor seminar, we expect that master students include more related work and therefore write a longer paper and hold a longer presentation (see below).
... ... @@ -15,7 +15,7 @@
15 15  \\
16 16  
17 17  (% style="text-align: left;" %)
18 -Moreover, we recommend the attendance of the lecture "**Scientific Working for Seminars and Thesis**" (Wissenschaftliches Arbeiten für Seminar und Abschlussarbeiten) held by Prof. Peters.
18 +Moreover, we recommend the attendance of the lecture "**Scientific Working for Seminars and Thesis**" (Wissenschaftliches Arbeiten für Seminar und Abschlussarbeiten) held by Mr. Mazarakis.
19 19  
20 20  (% style="text-align: left;" %)
21 21  == Lecturers ==
... ... @@ -26,9 +26,8 @@
26 26  Alexander Schulz-Rosengarten ([[als@informatik.uni-kiel.de>>mailto:als@informatik.uni-kiel.de||shape="rect"]])
27 27  
28 28  (% style="text-align: left;" %)
29 -= Topics =
29 +== Topics ==
30 30  
31 -{{expand}}
32 32  (% class="bodytext" style="text-align: left;" %)
33 33  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. 
34 34  
... ... @@ -52,18 +52,6 @@
52 52  (% style="margin-left: 30.0px;" %)
53 53  Marten Lohstroh and Edward A. Lee, [[Deterministic Actors>>url:https://ieeexplore.ieee.org/abstract/document/8876922||shape="rect"]], //2019 Forum for Specification and Design Languages (FDL)//, Southampton, United Kingdom, 2019
54 54  
55 -(% style="margin-left: 30.0px;" %)
56 -\\
57 -
58 -(% style="margin-left: 30.0px;" %)
59 -Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel, and Jean-Pierre Talpin, [[Clock-driven distributed real-time implementation of endochronous synchronous programs>>url:https://dl.acm.org/doi/abs/10.1145/1629335.1629356||shape="rect"]], In //Proceedings of the seventh ACM international conference on Embedded software//, New York, USA, 2009
60 -
61 -(% style="margin-left: 30.0px;" %)
62 -Saranya Natarajan and David Broman, [[Temporal Property-Based Testing of a Timed C Compiler using Time-Flow Graph Semantics>>url:https://ieeexplore.ieee.org/document/9232935||shape="rect"]], (% style="" %)//2020 Forum for Specification and Design Languages (FDL)//(% style="color: rgb(51,51,51);" %), 2020
63 -
64 -(% style="margin-left: 30.0px;" %)
65 -(% style="color: rgb(51,51,51);" %)Saranya Natarajan and David Broman, [[Timed C: An Extension to the C Programming Language for Real-Time Systems>>url:https://ieeexplore.ieee.org/document/8430085||shape="rect"]], (% style="color: rgb(51, 51, 51)" %)//2018 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)//(% style="color: rgb(51,51,51);" %), 2018, pp. 227-239
66 -
67 67  === Master Recommendations ===
68 68  
69 69  (% style="margin-left: 30.0px;" %)
... ... @@ -96,13 +96,9 @@
96 96  
97 97  (% style="margin-left: 30.0px;" %)
98 98  (% 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.
99 -{{/expand}}
100 100  
101 -= Schedule =
87 +== Schedule ==
102 102  
103 -{{expand}}
104 -== Dates in the semester (currently not final) ==
105 -
106 106  (% class="fixed-table wrapped" %)
107 107  |=(((
108 108  Date
... ... @@ -201,11 +201,9 @@
201 201  Usually, the presentation of the prepared topic is held during a block seminar. The attendance at the seminar day is mandatory. Every attending person receives the proceedings of the current semester.\\
202 202  
203 203  **tbd**
204 -{{/expand}}
205 205  
206 -= Schedule and Grading =
188 +\\
207 207  
208 -{{expand}}
209 209  == Papers, Talks, Review ==
210 210  
211 211  (% style="color: rgb(23,43,77);" %)This seminar includes creating a paper, a talk, and two reviews.
... ... @@ -240,11 +240,9 @@
240 240  == Grades ==
241 241  
242 242  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.
243 -{{/expand}}
244 244  
245 -= Technical Details =
225 +== Technical Details ==
246 246  
247 -{{expand}}
248 248  === LaTeX ===
249 249  
250 250  Your papers should be created using LaTeX and have to be in the ACM style. You can find all necessary files in this [[archive>>attach:SS20 (Layout)@paper-template.zip]], including an example document that includes helpful LaTeX-hints to start with. Copy all files in some folder and begin to write your paper.
... ... @@ -268,11 +268,11 @@
268 268  
269 269  {{include/}}
270 270  {{/expand}}
271 -{{/expand}}
272 272  
273 -= Resources =
251 +\\
274 274  
275 -{{expand}}
253 +== Resources ==
254 +
276 276  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:
277 277  
278 278  * Google Scholar: [[http:~~/~~/scholar.google.de/>>url:http://scholar.google.de/||shape="rect" class="external-link"]]
... ... @@ -281,4 +281,5 @@
281 281  * IEEE-Xplore: [[http:~~/~~/ieeexplore.ieee.org/Xplore/dynhome.jsp>>url:http://ieeexplore.ieee.org/Xplore/dynhome.jsp||shape="rect" class="external-link"]]
282 282  * ACM Digital Library: [[http:~~/~~/portal.acm.org/dl.cfm>>url:http://portal.acm.org/dl.cfm||shape="rect" class="external-link"]]
283 283  * 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"]]
284 -{{/expand}}
263 +
264 +\\
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -128745491
1 +128745482
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/128745491/WS22/23 (Synchronous Languages)
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/128745482/WS22/23 (Synchronous Languages)

Navigation

Quick Links

KIELER on GitHub
RTSYS Homepage