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 < 21.1 >
edited by Niklas Rentz
on 2023/04/13 09:21
>
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 ==
... ... @@ -55,15 +55,18 @@
55 55  (% style="color: rgb(51,51,51);" %)Mladen Skelin and Marc Geilen. [[Compositionality in scenario-aware dataflow: a rendezvous perspective>>url:https://dl.acm.org/doi/10.1145/3211332.3211339||shape="rect"]]. In //Proceedings of the 19th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems// (//LCTES 2018//). Association for Computing Machinery, New York, NY, USA, 2018
56 56  
57 57  (% style="margin-left: 30.0px;" %)
58 -(% style="letter-spacing: 0.0px;" %)Yecheng Zhao and Haibo Zeng. [[Optimization techniques for time-critical cyber-physical systems>>url:https://dl.acm.org/doi/10.1145/3313151.3313168||shape="rect"]]. In //Proceedings of the Workshop on Design Automation for CPS and IoT// (//DESTION '19//). Association for Computing Machinery, New York, NY, USA, 2019
58 +(% style="letter-spacing: 0px; color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)**[assigned] **(% style="letter-spacing: 0.0px;" %)Yecheng Zhao and Haibo Zeng. [[Optimization techniques for time-critical cyber-physical systems>>url:https://dl.acm.org/doi/10.1145/3313151.3313168||shape="rect"]]. In //Proceedings of the Workshop on Design Automation for CPS and IoT// (//DESTION '19//). Association for Computing Machinery, New York, NY, USA, 2019
59 59  
60 60  (% style="margin-left: 30.0px;" %)
61 -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"]], //2020 Forum for Specification and Design Languages (FDL)//(% style="color: rgb(51,51,51);" %), 2020
61 +(% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)**[assigned] **(%%)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"]], //2020 Forum for Specification and Design Languages (FDL)//(% style="color: rgb(51,51,51);" %), 2020
62 62  
63 63  (% style="margin-left: 30.0px;" %)
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.
64 +(% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)**[assigned] **(%%)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;" %)
... ... @@ -86,7 +86,7 @@
86 86  
87 87  
88 88  (% style="margin-left: 30.0px;" %)
89 -(% style="color: rgb(34, 34, 34); color: rgb(51, 51, 51)" %)L. Apvrille and L. W. Li. [[Harmonizing safety, security and performance requirements in embedded systems.>>url:https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=8715124||shape="rect"]]. In (% style="color: rgb(34, 34, 34); color: rgb(51, 51, 51); text-align: left" %)//2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)//(% style="color: rgb(34, 34, 34); color: rgb(51, 51, 51)" %), pp. 1631-1636. IEEE, 2019.
92 +(% style="color: rgb(34, 34, 34); color: rgb(51, 51, 51); color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)**[assigned] **(% style="color: rgb(34, 34, 34); color: rgb(51, 51, 51)" %)L. Apvrille and L. W. Li. [[Harmonizing safety, security and performance requirements in embedded systems.>>url:https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=8715124||shape="rect"]]. In (% style="color: rgb(34, 34, 34); color: rgb(51, 51, 51); color: rgb(0, 0, 0); color: rgb(0, 51, 102); text-align: left" %)//2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)//(% style="color: rgb(34, 34, 34); color: rgb(51, 51, 51)" %), pp. 1631-1636. IEEE, 2019.
90 90  
91 91  (% style="color: rgb(23,43,77);" %)
92 92  === Master Recommendations (not yet complete list, more to follow) ===
... ... @@ -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;" %)
... ... @@ -117,12 +117,15 @@
117 117  (% style="color: rgb(0,51,102);" %)Tobias Klaus, Florian Franzmann, Matthias Becker, and Peter Ulbrich. 2018. [[Data Propagation Delay Constraints in Multi-Rate Systems: Deadlines vs. Job-Level Dependencies>>url:https://dl.acm.org/citation.cfm?doid=3273905.3273923||shape="rect"]]. In //Proceedings of the 26th International Conference on Real-Time Networks and Systems// (RTNS '18). ACM, New York, NY, USA, 93-103.
118 118  
119 119  (% style="margin-left: 30.0px;" %)
120 -(% style="color: rgb(0,51,102);" %)Evgeny Kusmenko, Bernhard Rumpe, Sascha Schneiders, and Michael von Wenckstern. 2018. [[Highly-Optimizing and Multi-Target Compiler for Embedded System Models: C++ Compiler Toolchain for the Component and Connector Language EmbeddedMontiArc>>url:https://dl.acm.org/citation.cfm?id=3239388||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, 447-457.
119 +(% style="color: rgb(0, 51, 102); color: rgb(0, 0, 0)" %)**[assigned] **(% style="color: rgb(0,51,102);" %)Evgeny Kusmenko, Bernhard Rumpe, Sascha Schneiders, and Michael von Wenckstern. 2018. [[Highly-Optimizing and Multi-Target Compiler for Embedded System Models: C++ Compiler Toolchain for the Component and Connector Language EmbeddedMontiArc>>url:https://dl.acm.org/citation.cfm?id=3239388||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, 447-457.
121 121  
122 122  (% style="margin-left: 30.0px;" %)
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 ==
... ... @@ -272,6 +272,8 @@
272 272  
273 273  It is not possible to add files in the EasyChair review form. Therefore, it is not possible to add an annotated pdf as detailed correction.
274 274  
275 +Some example reviews from a previous semester to understand the form (not necessarily with the best grades) can be found in here: [[1>>attach:review1.txt]] [[2>>attach:review2.txt]] [[3>>attach:review3.txt]] [[4>>attach:review4.txt]] [[5>>attach:review5.txt]].
276 +
275 275  The reviews are assigned after the review-version deadline and are based on the submitted version of the papers.
276 276  
277 277  (% style="color: rgb(23,43,77);" %)
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -142606476
1 +142606587
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/142606587/SS23 (Embedded Real-Time Systems)

Navigation

Quick Links

KIELER on GitHub
RTSYS Homepage