Last modified by Alexander Schulz-Rosengarten on 2025/01/30 12:01
<
From version < 19.1 >
edited by Niklas Rentz
on 2023/04/12 12:35
To version < 8.1 >
edited by Jette Petzold
on 2023/02/09 12:27
>
Change comment: There is no comment for this version

Summary

Details

Page properties
Author
... ... @@ -1,1 +1,1 @@
1 -XWiki.nre
1 +XWiki.jep
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**" (Inf-WissArb: Wissenschaftliches Arbeiten) held by (% style="color: rgb(23,43,77);" %)Prof. Peters.
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.
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 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.
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.
17 17  
18 18  (% style="text-align: left;" %)
19 19  == Lecturers ==
... ... @@ -43,13 +43,13 @@
43 43  ==== **Real-Time / Embedded** ====
44 44  
45 45  (% style="margin-left: 30.0px;" %)
46 -(% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)**[assigned] **Juha-Pekka Tolvanen and Steven Kelly. 2018. [[Effort Used to Create Domain-Specific Modeling Languages>>url:https://dl.acm.org/citation.cfm?doid=3239372.3239410||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, 235-244.
46 +(% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)Juha-Pekka Tolvanen and Steven Kelly. 2018. [[Effort Used to Create Domain-Specific Modeling Languages>>url:https://dl.acm.org/citation.cfm?doid=3239372.3239410||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, 235-244.
47 47  
48 48  (% style="margin-left: 30.0px;" %)
49 49  Björn Forsberg, Maxim Mattheeuws, Andreas Kurth, Andrea Marongiu, and Luca Benini. [[A Synergistic Approach to Predictable Compilation and Scheduling on Commodity Multi-Cores>>url:https://dl.acm.org/doi/abs/10.1145/3372799.3394369||shape="rect"]] In //The 21st ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems// (//LCTES '20//). Association for Computing Machinery, New York, NY, USA, 2020
50 50  
51 51  (% style="margin-left: 30.0px;" %)
52 -(% style="color: rgb(51, 51, 51); color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)**[assigned] **(% style="color: rgb(51,51,51);" %)Jun Xiao and Andy D. Pimentel. [[CITTA: Cache Interference-aware Task Partitioning for Real-time Multi-core Systems>>url:https://dl.acm.org/doi/abs/10.1145/3372799.3394367||shape="rect"]]. In (%%)//The 21st ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems//(% style="color: rgb(51,51,51);" %) ((%%)//LCTES '20//(% style="color: rgb(51,51,51);" %)). Association for Computing Machinery, New York, NY, USA, 2020
52 +(% style="color: rgb(51,51,51);" %)Jun Xiao and Andy D. Pimentel. [[CITTA: Cache Interference-aware Task Partitioning for Real-time Multi-core Systems>>url:https://dl.acm.org/doi/abs/10.1145/3372799.3394367||shape="rect"]]. In (%%)//The 21st ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems//(% style="color: rgb(51,51,51);" %) ((%%)//LCTES '20//(% style="color: rgb(51,51,51);" %)). Association for Computing Machinery, New York, NY, USA, 2020
53 53  
54 54  (% style="margin-left: 30.0px;" %)
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
... ... @@ -61,15 +61,12 @@
61 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
62 62  
63 63  (% style="margin-left: 30.0px;" %)
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.
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.
67 +==== **Safety Analysis** ====
68 68  
69 69  (% style="margin-left: 30.0px;" %)
70 -==== **Safety Analysis/Model Checking** ====
71 -
72 -(% style="margin-left: 30.0px;" %)
73 73  (% style="color: rgb(34, 34, 34); color: rgb(51, 51, 51)" %)H. Reza, M. Pimple, V. Krishna and J. Hildle, [[A Safety Analysis Method Using Fault Tree Analysis and Petri Nets>>url:https://ieeexplore.ieee.org/document/5070769||shape="rect"]]. (% style="color: rgb(34,34,34);" %)//2009 Sixth International Conference on Information Technology: New Generations//(% style="color: rgb(34, 34, 34); color: rgb(51, 51, 51)" %), 2009, pp. 1089-1094, doi: 10.1109/ITNG.2009.183.
74 74  
75 75  (% style="margin-left: 30.0px;" %)
... ... @@ -81,16 +81,6 @@
81 81  (% style="margin-left: 30.0px;" %)
82 82  (% style="color: rgb(34, 34, 34); color: rgb(51, 51, 51)" %)D. L. Gurgel, C. M. Hirata and J. De M. Bezerra, [[A rule-based approach for safety analysis using STAMP/STPA>>url:https://ieeexplore.ieee.org/document/7311464||shape="rect"]]. //2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC)//, 2015, pp. 7B2-1-7B2-8, doi: 10.1109/DASC.2015.7311464.
83 83  
84 -(% style="margin-left: 30.0px;" %)
85 -(% style="color: rgb(34, 34, 34); color: rgb(51, 51, 51)" %)J. Kloos, T. Hussain, and R. Eschbach. [[Risk-based testing of safety-critical embedded systems driven by fault tree analysis>>url:https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=5954386||shape="rect"]]. In (% style="color: rgb(34, 34, 34); color: rgb(51, 51, 51); text-align: left" %)//2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops//(% style="color: rgb(34, 34, 34); color: rgb(51, 51, 51)" %), pp. 26-33. IEEE, 2011.
86 -
87 -(% style="margin-left: 30.0px;" %)
88 -(% style="color: rgb(34, 34, 34); color: rgb(51, 51, 51)" %)L. A. Cortes, P. Eles and Z. Peng, [[Formal coverification of embedded systems using model checking>>url:https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=874622&tag=1||shape="rect"]]. (% style="color: rgb(34, 34, 34); color: rgb(51, 51, 51); text-align: left" %)//Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future//(% style="color: rgb(34, 34, 34); color: rgb(51, 51, 51)" %). Vol. 1. IEEE, 2000.
89 -
90 -
91 -(% style="margin-left: 30.0px;" %)
92 -(% 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.
93 -
94 94  (% style="color: rgb(23,43,77);" %)
95 95  === Master Recommendations (not yet complete list, more to follow) ===
96 96  
... ... @@ -98,9 +98,13 @@
98 98  ==== **Real-Time / Embedded** ====
99 99  
100 100  (% style="margin-left: 30.0px;" %)
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
88 +(% 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(%%)
102 102  
90 +
103 103  (% style="margin-left: 30.0px;" %)
92 +(% 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.
93 +
94 +(% style="margin-left: 30.0px;" %)
104 104  (% 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.
105 105  
106 106  (% style="margin-left: 30.0px;" %)
... ... @@ -122,9 +122,6 @@
122 122  (% 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.
123 123  
124 124  (% 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;" %)
128 128  ==== **Safety Analysis / Testing** ====
129 129  
130 130  (% style="margin-left: 30.0px;" %)
... ... @@ -137,7 +137,7 @@
137 137  == Schedule ==
138 138  
139 139  {{expand}}
140 -Note: The dates are not final yet, to be discussed during the kickoff meeting.
128 +Note: The EasyChair links are not working yet, we are working on having it available closer to the kickoff date.
141 141  
142 142  (% class="fixed-table wrapped" %)
143 143  |=(((
... ... @@ -158,13 +158,13 @@
158 158  Deadline for topic selection (via email to Niklas)
159 159  )))
160 160  |(((
161 -Thu., 27.04.2023 23:59
149 +TBA
162 162  )))|(((
163 163  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.
164 164  )))
165 165  |(% colspan="1" %)(% colspan="1" %)
166 166  (((
167 -(% style="color: rgb(23,43,77);" %)In week of above, individual dates
155 +TBA
168 168  )))|(% colspan="1" %)(% colspan="1" %)
169 169  (((
170 170  Individual feedback dates.
... ... @@ -171,7 +171,7 @@
171 171  )))
172 172  |(% colspan="1" %)(% colspan="1" %)
173 173  (((
174 -Thu., 18.05.2023 23:59
162 +TBA
175 175  )))|(% colspan="1" %)(% colspan="1" %)
176 176  (((
177 177  Deadline of the first full version (submission update in [[EasyChair>>url:https://easychair.org/conferences/?conf=kielrtsyssem23ss||shape="rect"]])
... ... @@ -178,7 +178,7 @@
178 178  )))
179 179  |(% colspan="1" %)(% colspan="1" %)
180 180  (((
181 -(% style="color: rgb(23,43,77);" %)In week of above, individual dates
169 +TBA
182 182  )))|(% colspan="1" %)(% colspan="1" %)
183 183  (((
184 184  Individual feedback dates.
... ... @@ -185,7 +185,7 @@
185 185  )))
186 186  |(% colspan="1" %)(% colspan="1" %)
187 187  (((
188 -Thu., 25.05.2023 23:59
176 +TBA
189 189  )))|(% colspan="1" %)(% colspan="1" %)
190 190  (((
191 191  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)
... ... @@ -200,7 +200,7 @@
200 200  )))
201 201  |(% colspan="1" %)(% colspan="1" %)
202 202  (((
203 -Thu., 01.06.2023 23:59
191 +TBA
204 204  )))|(% colspan="1" %)(% colspan="1" %)
205 205  (((
206 206  Deadline reviews (in [[EasyChair>>url:https://easychair.org/conferences/?conf=kielrtsyssem23ss||shape="rect"]])**
... ... @@ -208,7 +208,7 @@
208 208  )))
209 209  |(% colspan="1" %)(% colspan="1" %)
210 210  (((
211 -subsequently
199 +TBA
212 212  )))|(% colspan="1" %)(% colspan="1" %)
213 213  (((
214 214  Individual feedback dates on presentation slides.
... ... @@ -217,7 +217,7 @@
217 217  )))
218 218  |(% colspan="1" %)(% colspan="1" %)
219 219  (((
220 -Thu., 22.06.2023 23:59
208 +TBA
221 221  )))|(% colspan="1" %)(% colspan="1" %)
222 222  (((
223 223  Deadline final version (submission update in [[EasyChair>>url:https://easychair.org/conferences/?conf=kielrtsyssem23ss||shape="rect"]])
... ... @@ -233,7 +233,9 @@
233 233  (% style="color: rgb(23,43,77);" %)
234 234  == The Final Presentations ==
235 235  
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.
224 +Currently, it is unclear how the talks will take place. This will be influenced by the development of the pandemic.
225 +
226 +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.
237 237  {{/expand}}
238 238  
239 239  == Milestones and Grading ==
... ... @@ -272,8 +272,6 @@
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 -
277 277  The reviews are assigned after the review-version deadline and are based on the submitted version of the papers.
278 278  
279 279  (% style="color: rgb(23,43,77);" %)
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -142606584
1 +142606466
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/142606584/SS23 (Embedded Real-Time Systems)
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/142606466/SS23 (Embedded Real-Time Systems)

Navigation

Quick Links

KIELER on GitHub
RTSYS Homepage