Last modified by Alexander Schulz-Rosengarten on 2025/01/30 12:01
<
From version < 13.1 >
edited by Niklas Rentz
on 2023/02/11 14:20
To version < 17.1 >
edited by Niklas Rentz
on 2023/04/11 11:37
>
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -10,10 +10,10 @@
10 10  For the participation of this seminar the attendance of the "Embedded Real-Time Systems" lecture is not specifically required. However, specific lecture topics required for the paper should be reworked.
11 11  
12 12  (% style="text-align: left;" %)
13 -We recommend the attendance of the lecture "**Scientific Working for Seminars and Thesis**" (Wissenschaftliches Arbeiten für Seminar und Abschlussarbeiten) held by (% style="color: rgb(23,43,77);" %)Prof. Peters.
13 +We recommend the attendance of the lecture "**Scientific Working**" (Inf-WissArb: Wissenschaftliches Arbeiten) held by (% style="color: rgb(23,43,77);" %)Prof. Peters.
14 14  
15 15  (% style="text-align: left;" %)
16 -(% style="color: rgb(23,43,77);" %)Finally, there is the infamous "Vortragsvortrag" by Christoph Daniel Schulze. Sadly, he is not at RTSYS anymore to give that talk in person. However, he kindly prepared this [[sequence of videos>>url:https://www.youtube.com/playlist?list=PLjRqbgPHrKwC3uUQBRzKtnRH1vrNY9ehK||shape="rect"]] that should get the gist across as well.
16 +(% style="color: rgb(23,43,77);" %)Finally, there is the infamous "Vortragsvortrag" by Christoph Daniel Schulze. Sadly, he is not at RTSYS anymore to give that talk in person. However, he kindly started to prepare this [[sequence of videos>>url:https://www.youtube.com/playlist?list=PLjRqbgPHrKwC3uUQBRzKtnRH1vrNY9ehK||shape="rect"]] that should get the gist across as well.
17 17  
18 18  (% style="text-align: left;" %)
19 19  == Lecturers ==
... ... @@ -64,6 +64,9 @@
64 64  Francisco Sant'Anna, Rodrigo Santos, and Noemi Rodriguez. 2021. [[Symmetric distributed applications>>url:https://dl.acm.org/doi/10.1145/3486605.3486786||shape="rect"]]. //Proceedings of the 8th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems//. Association for Computing Machinery.
65 65  
66 66  (% style="margin-left: 30.0px;" %)
67 +(% style="color: rgb(51,51,51);" %)N. A. Carreón, A. Gilbreath and R. Lysecky, [[Statistical Time-based Intrusion Detection in Embedded Systems>>url:https://ieeexplore.ieee.org/abstract/document/9116369||shape="rect"]], (%%)//2020 Design, Automation & Test in Europe Conference & Exhibition (DATE)//(% style="color: rgb(51,51,51);" %), Grenoble, France, 2020, pp. 562-567, doi: 10.23919/DATE48585.2020.9116369.
68 +
69 +(% style="margin-left: 30.0px;" %)
67 67  ==== **Safety Analysis/Model Checking** ====
68 68  
69 69  (% style="margin-left: 30.0px;" %)
... ... @@ -95,13 +95,9 @@
95 95  ==== **Real-Time / Embedded** ====
96 96  
97 97  (% style="margin-left: 30.0px;" %)
98 -(% style="color: rgb(0,51,102);" %)J(%%)ordan A. Ross, Alexandr Murashkin, Jia Hui Liang, Micha(% class="authors__name" %)ł Antkiewicz, Krzysztof Czarnecki, [[Synthesis and exploration of multi-level, multi-perspective architectures of automotive embedded systems>>url:https://rdcu.be/bQRqq||shape="rect"]],(% style="color: rgb(0,51,102);" %) Software & Systems Modeling 2019(%%)
101 +(% style="color: rgb(0,51,102);" %)J(%%)ordan A. Ross, Alexandr Murashkin, Jia Hui Liang, Micha(% class="authors__name" %)ł Antkiewicz, Krzysztof Czarnecki, [[Synthesis and exploration of multi-level, multi-perspective architectures of automotive embedded systems>>url:https://rdcu.be/bQRqq||shape="rect"]],(% style="color: rgb(0,51,102);" %) Software & Systems Modeling 2019
99 99  
100 -
101 101  (% style="margin-left: 30.0px;" %)
102 -(% style="color: rgb(0,51,102);" %)Carlos A. González, Mojtaba Varmazyar, Shiva Nejati, Lionel C. Briand, and Yago Isasi. 2018. [[Enabling Model Testing of Cyber-Physical Systems>>url:https://dl.acm.org/citation.cfm?doid=3239372.3239409||shape="rect"]]. In //Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems //(MODELS '18). ACM, New York, NY, USA, 176-186.
103 -
104 -(% style="margin-left: 30.0px;" %)
105 105  (% style="color: rgb(0,51,102);" %)Reza Ahmadi, Ernesto Posse, and Juergen Dingel. 2018.[[ Slicing UML-based Models of Real-time Embedded Systems>>url:https://dl.acm.org/citation.cfm?doid=3239372.3239407||shape="rect"]]. In //Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems// (MODELS '18). ACM, New York, NY, USA, 346-356.
106 106  
107 107  (% style="margin-left: 30.0px;" %)
... ... @@ -123,6 +123,9 @@
123 123  (% 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.
124 124  
125 125  (% style="margin-left: 30.0px;" %)
125 +(% style="color: rgb(0, 51, 102); color: rgb(51, 51, 51)" %)Amrani, M., Blouin, D., Heinrich, R. (% style="color: rgb(0,51,102);" %)//et al.//(% style="color: rgb(0, 51, 102); color: rgb(51, 51, 51)" %) [[Multi-paradigm modelling for cyber–physical systems: a descriptive framework.>>url:https://link.springer.com/article/10.1007/s10270-021-00876-z||shape="rect"]] (% style="color: rgb(0,51,102);" %)//Softw Syst Model//(% style="color: rgb(0, 51, 102); color: rgb(51, 51, 51)" %) (% style="color: rgb(0,51,102);" %)**20**(% style="color: rgb(0, 51, 102); color: rgb(51, 51, 51)" %), 611–639 (2021). [[https:~~/~~/doi.org/10.1007/s10270-021-00876-z>>url:https://doi.org/10.1007/s10270-021-00876-z||shape="rect"]]
126 +
127 +(% style="margin-left: 30.0px;" %)
126 126  ==== **Safety Analysis / Testing** ====
127 127  
128 128  (% style="margin-left: 30.0px;" %)
... ... @@ -135,7 +135,7 @@
135 135  == Schedule ==
136 136  
137 137  {{expand}}
138 -Note: The EasyChair links are not working yet, we are working on having it available closer to the kickoff date.
140 +Note: The dates are not final yet, to be discussed during the kickoff meeting.
139 139  
140 140  (% class="fixed-table wrapped" %)
141 141  |=(((
... ... @@ -156,13 +156,13 @@
156 156  Deadline for topic selection (via email to Niklas)
157 157  )))
158 158  |(((
159 -TBA
161 +Thu., 27.04.2023 23:59
160 160  )))|(((
161 161  Deadline of the first draft in [[EasyChair>>url:https://easychair.org/conferences/?conf=kielrtsyssem23ss||shape="rect"]]. This includes abstract, introduction, outline, notes for chapter contents and an overview list of bibliography for related work.
162 162  )))
163 163  |(% colspan="1" %)(% colspan="1" %)
164 164  (((
165 -TBA
167 +(% style="color: rgb(23,43,77);" %)In week of above, individual dates
166 166  )))|(% colspan="1" %)(% colspan="1" %)
167 167  (((
168 168  Individual feedback dates.
... ... @@ -169,7 +169,7 @@
169 169  )))
170 170  |(% colspan="1" %)(% colspan="1" %)
171 171  (((
172 -TBA
174 +Thu., 18.05.2023 23:59
173 173  )))|(% colspan="1" %)(% colspan="1" %)
174 174  (((
175 175  Deadline of the first full version (submission update in [[EasyChair>>url:https://easychair.org/conferences/?conf=kielrtsyssem23ss||shape="rect"]])
... ... @@ -176,7 +176,7 @@
176 176  )))
177 177  |(% colspan="1" %)(% colspan="1" %)
178 178  (((
179 -TBA
181 +(% style="color: rgb(23,43,77);" %)In week of above, individual dates
180 180  )))|(% colspan="1" %)(% colspan="1" %)
181 181  (((
182 182  Individual feedback dates.
... ... @@ -183,7 +183,7 @@
183 183  )))
184 184  |(% colspan="1" %)(% colspan="1" %)
185 185  (((
186 -TBA
188 +Thu., 25.05.2023 23:59
187 187  )))|(% colspan="1" %)(% colspan="1" %)
188 188  (((
189 189  Deadline of the review version (submission update in [[EasyChair>>url:https://easychair.org/conferences/?conf=kielrtsyssem23ss||shape="rect"]]) and admission to program committee (invitation via email)
... ... @@ -198,7 +198,7 @@
198 198  )))
199 199  |(% colspan="1" %)(% colspan="1" %)
200 200  (((
201 -TBA
203 +Thu., 01.06.2023 23:59
202 202  )))|(% colspan="1" %)(% colspan="1" %)
203 203  (((
204 204  Deadline reviews (in [[EasyChair>>url:https://easychair.org/conferences/?conf=kielrtsyssem23ss||shape="rect"]])**
... ... @@ -206,7 +206,7 @@
206 206  )))
207 207  |(% colspan="1" %)(% colspan="1" %)
208 208  (((
209 -TBA
211 +subsequently
210 210  )))|(% colspan="1" %)(% colspan="1" %)
211 211  (((
212 212  Individual feedback dates on presentation slides.
... ... @@ -215,7 +215,7 @@
215 215  )))
216 216  |(% colspan="1" %)(% colspan="1" %)
217 217  (((
218 -TBA
220 +Thu., 22.06.2023 23:59
219 219  )))|(% colspan="1" %)(% colspan="1" %)
220 220  (((
221 221  Deadline final version (submission update in [[EasyChair>>url:https://easychair.org/conferences/?conf=kielrtsyssem23ss||shape="rect"]])
... ... @@ -231,9 +231,7 @@
231 231  (% style="color: rgb(23,43,77);" %)
232 232  == The Final Presentations ==
233 233  
234 -Currently, it is unclear how the talks will take place. This will be influenced by the development of the pandemic.
235 -
236 -Most likely, 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.
236 +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.
237 237  {{/expand}}
238 238  
239 239  == Milestones and Grading ==
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -142606476
1 +142606571
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/142606476/SS23 (Embedded Real-Time Systems)
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/142606571/SS23 (Embedded Real-Time Systems)

Navigation

Quick Links

KIELER on GitHub
RTSYS Homepage