Last modified by Alexander Schulz-Rosengarten on 2025/01/30 12:01
<
From version < 18.1 >
edited by Niklas Rentz
on 2023/04/11 13:40
To version < 9.1 >
edited by Niklas Rentz
on 2023/02/09 14:27
>
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**" (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)" %)**[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.
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 ==
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -142606580
1 +142606467
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/142606580/SS23 (Embedded Real-Time Systems)
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/142606467/SS23 (Embedded Real-Time Systems)

Navigation

Quick Links

KIELER on GitHub
RTSYS Homepage