Last modified by Niklas Rentz on 2025/02/06 08:14
<
From version < 82.4 >
edited by Alexander Schulz-Rosengarten
on 2024/06/24 10:33
To version < 82.2 >
edited by Alexander Schulz-Rosengarten
on 2024/06/24 10:21
>
Change comment: Update document after refactoring.

Summary

Details

Page properties
Content
... ... @@ -7,19 +7,20 @@
7 7  (% style="text-align: left;" %)
8 8  == Prerequisites ==
9 9  
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.
10 +This seminar is built upon the contents of the "Synchronous Languages" lecture. All participants that did not yet attend this lecture are recommended to read the following introduction paper, at least parts I and II:
11 11  
12 -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.
12 +Benveniste, A.; Caspi, P.; Edwards, S.A.; Halbwachs, N.; Le Guernic, P.; de Simone, R., "The synchronous languages 12 years later," //Proceedings of the IEEE// , vol.91, no.1, pp.64,83, Jan 2003 ([[pdf>>url:http://www.cs.columbia.edu/%7Esedwards/papers/benveniste2003synchronous.pdf||shape="rect" class="MIME-application MIME--pdf external-link"]]).
13 13  
14 -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]] that should get the gist across as well.
15 15  
16 16  (% style="text-align: left;" %)
16 +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.
17 +
18 +(% style="text-align: left;" %)
17 17  == Lecturers ==
18 18  
19 19  (% class="bodytext" style="text-align: left;" %)
20 -Reinhard von Hanxleden ([[rvh@informatik.uni-kiel.de>>mailto:rvh@informatik.uni-kiel.de||shape="rect"]])
21 -Niklas Rentz ([[nre@informatik.uni-kiel.de>>mailto:nre@informatik.uni-kiel.de]])
22 -Malte Clement ([[mac@informatik.uni-kiel.de>>mailto:mac@informatik.uni-kiel.de||shape="rect"]])
22 +Reinhard von Hanxleden ([[rvh@informatik.uni-kiel.de>>mailto:rvh@informatik.uni-kiel.de||shape="rect"]]) 
23 +Jette Petzold ([[jep@informatik.uni-kiel.de>>mailto:jep@informatik.uni-kiel.de||shape="rect"]])
23 23  Alexander Schulz-Rosengarten ([[als@informatik.uni-kiel.de>>mailto:als@informatik.uni-kiel.de||shape="rect"]])
24 24  
25 25  (% style="text-align: left;" %)
... ... @@ -29,7 +29,7 @@
29 29  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.  
30 30  
31 31  (% class="bodytext" style="text-align: left;" %)
32 -The papers are assigned via //first-come-first-serve//. Already taken papers are marked. Please send an email to Niklas ([[nre@informatik.uni-kiel.de>>mailto:nre@informatik.uni-kiel.de]]) in order to reserve a paper.
33 +The papers are assigned via //first-come-first-serve//. Already taken papers are marked. Please send an email to Jette ([[jep@informatik.uni-kiel.de>>mailto:jep@informatik.uni-kiel.de||shape="rect"]]) in order to reserve a paper.
33 33  
34 34  (% class="bodytext" style="text-align: left;" %)
35 35  Many of the links do only work in the university network. Through the usage of a [[VPN>>url:https://www.rz.uni-kiel.de/de/angebote/vpn||shape="rect"]] or a remote session to the [[terminal server>>url:https://www.inf.uni-kiel.de/de/service/technik-service/dienste||shape="rect"]], those are also accessible from home. If any problems occur feel free to contact us.
... ... @@ -37,7 +37,7 @@
37 37  === Bachelor Recommendations ===
38 38  
39 39  (% style="margin-left: 30.0px;" %)
40 -==== **Embedded and Real-Time** ====
41 +==== **Synchronous** ====
41 41  
42 42  (% style="margin-left: 30.0px;" %)
43 43  (% style="color:#333333" %)S. A. Edwards and J. Hui, [[The Sparse Synchronous Model>>url:https://ieeexplore.ieee.org/document/9232938||shape="rect"]], //2020 Forum for Specification and Design Languages (FDL)//, 2020, pp. 1-8, doi: 10.1109/FDL50818.2020.9232938.
... ... @@ -65,21 +65,25 @@
65 65  
66 66  
67 67  (% style="margin-left: 30.0px;" %)
68 -==== **Railway** ====
69 +==== **Safety Analysis / Model Checking** ====
69 69  
70 -Bougacha, R., Wakrime, A. A., Kallel, S., Ayed, R. B., & Dutilleul, S. C. (2019, May). [[A Model-based Approach for the Modeling and the Verification of Railway Signaling System>>url:https://www.scitepress.org/Papers/2019/77284/77284.pdf]]. In //ENASE// (pp. 367-376).
71 +(% style="margin-left: 30.0px;" %)
72 +**[assigned]** (% style="color:#333333" %)S. Baumgart, J. Fröberg, and S. Punnekkat, [[Analyzing hazards in system-of-systems: Described in a quarry site automation context>>https://ieeexplore.ieee.org/document/7934783||shape="rect"]]. //2017 Annual IEEE International Systems Conference (SysCon)//, 2017, pp. 1-8, doi: (%%)10.1109/SYSCON.2017.7934783(% style="color:#333333" %).
71 71  
72 -P. Sun, S. Collart-dutilleul and P. Bon, "[[A model pattern of railway interlocking system by Petri nets>>url:https://ieeexplore.ieee.org/document/7223292]]," 2015 International Conference on Models and Technologies for Intelligent Transportation Systems (MT-ITS), Budapest, Hungary, 2015, pp. 442-449, doi: 10.1109/MTITS.2015.7223292.
74 +(% style="margin-left: 30.0px;" %)
75 +**[assigned]** (% style="color:#333333" %)F. G. R. de Souza, J. de Melo Bezerra, C. M. Hirata, P. de Saqui-Sannes and L. Apvrille, [[Combining STPA with SysML Modeling>>url:https://ieeexplore.ieee.org/document/9275867||shape="rect"]]. //2020 IEEE International Systems Conference (SysCon)//, 2020, pp. 1-8, doi: 10.1109/SysCon47679.2020.9275867.
73 73  
74 -Hertel, B.; Pagenkopf, J.; König, J. "[[Challenges in the (Re-)Connection of Peripheral Areas to the Rail Network from a Rolling Stock Perspective: The Case of Germany.>>url:https://www.mdpi.com/2624-8921/5/3/63]]" Vehicles 2023, //5//, pp. 1138-1148. https:~/~/doi.org/10.3390/vehicles5030063
77 +(% style="margin-left: 30.0px;" %)
78 +**[assigned]** 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]]. In //2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops//, pp. 26-33. IEEE, 2011.
75 75  
76 -There are more bachelor recommendations that are not publicly available on the [[subpage for non-public papers>>doc:.Railway Technology - Non-public Papers.WebHome]], to view them please log in with your LDAP credentials.
80 +(% style="margin-left: 30.0px;" %)
81 +**[assigned]** 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]]. //Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future//. Vol. 1. IEEE, 2000.
77 77  
78 78  
79 79  === Master Recommendations ===
80 80  
81 81  (% style="margin-left: 30.0px;" %)
82 -==== **Embedded and Real-Time** ====
87 +==== **Synchronous** ====
83 83  
84 84  (% style="margin-left: 30.0px;" %)
85 85  (% style="color:#003366" %)Tobias Sehnke, Dieter Schwarzmann, Matthias Schultalbers, and Rolf Ernst. 2017. [[Temporal properties in automotive control software>>url:https://dl.acm.org/citation.cfm?doid=3139258.3139279||shape="rect"]]. In //Proceedings of the 25th International Conference on Real-Time Networks and Systems// (RTNS '17). ACM, New York, NY, USA, 98-107.
... ... @@ -113,20 +113,15 @@
113 113  
114 114  
115 115  (% style="margin-left: 30.0px;" %)
116 -==== **Railway** ====
121 +==== **Safety Analysis / Testing** ====
117 117  
118 -Ferlin, A., Qiu, S., Bon, P., Sallak, M., Dutilleul, S. C., Schön, W., & Cherfi-Boulanger, Z. (2018). [[An automated method for the study of human reliability in railway supervision systems>>url:https://ieeexplore.ieee.org/document/8283579]]. //IEEE Transactions on Intelligent Transportation Systems//, //19//(10), 3360-3375.
123 +(% style="margin-left: 30.0px;" %)
124 +(% style="color:#003366" %)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.
119 119  
120 -Peleska, Jan, Anne E. Haxthausen, and Thierry Lecomte. "[[Standardisation considerations for autonomous train control.>>url:https://link.springer.com/chapter/10.1007/978-3-031-19762-8_22]]" Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV. Cham: Springer Nature Switzerland, 2022.
126 +(% style="margin-left: 30.0px;" %)
127 +(% style="color:#333333" %)A. Gannous, A. Andrews and B. Gallina, [[Toward a Systematic and Safety Evidence Productive Verification Approach for Safety-Critical Systems>>url:https://ieeexplore.ieee.org/document/8539215||shape="rect"]]. (%%)//2018 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)//(% style="color:#333333" %), 2018, pp. 329-336, doi: 10.1109/ISSREW.2018.00026.
121 121  
122 -Basile, D., ter Beek, M.H., Legay, A. (2020). [[Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego>>url:https://link.springer.com/chapter/10.1007/978-3-030-50086-3_1]]. In: Gotsman, A., Sokolova, A. (eds) Formal Techniques for Distributed Objects, Components, and Systems. FORTE 2020. Lecture Notes in Computer Science(), vol 12136. Springer, Cham. [[https:~~/~~/doi.org/10.1007/978-3-030-50086-3_1>>url:https://doi.org/10.1007/978-3-030-50086-3_1]]
123 123  
124 -G. Krummenacher, C. S. Ong, S. Koller, S. Kobayashi and J. M. Buhmann, "[[Wheel Defect Detection With Machine Learning>>url:https://ieeexplore.ieee.org/document/8006280]]," in //IEEE Transactions on Intelligent Transportation Systems//, vol. 19, no. 4, pp. 1176-1187, April 2018, doi: 10.1109/TITS.2017.2720721.
125 -
126 -Anne E. Haxthausen, Jan Peleska, and Sebastian Kinder. 2011. [[A formal approach for the construction and verification of railway control systems.>>url:https://dl.acm.org/doi/10.1007/s00165-009-0143-6]] Form. Asp. Comput. 23, 2 (Mar 2011), 191–219. [[https:~~/~~/doi.org/10.1007/s00165-009-0143-6>>url:https://doi.org/10.1007/s00165-009-0143-6]]
127 -
128 -There are more master recommendations that are not publicly available on the [[subpage for non-public papers>>doc:.Railway Technology - Non-public Papers.WebHome]], to view them please log in with your LDAP credentials.
129 -
130 130  = Schedule =
131 131  
132 132  == Dates in the semester ==
... ... @@ -138,15 +138,15 @@
138 138  Milestone
139 139  )))
140 140  |(((
141 -t.b.a.
141 +Tue., 16.04 10:00
142 142  )))|(((
143 143  First Meeting/**Kick-Off **with a Latex and EasyChair introduction. The meeting will take place in room 11.1114/11.1115 in CAP4.
144 144  )))
145 -|(% colspan="1" %)t.b.a.|(% colspan="1" %)(% colspan="1" %)
145 +|(% colspan="1" %)Tue., 16.04 23:59|(% colspan="1" %)(% colspan="1" %)
146 146  (((
147 -Deadline for topic selection (via email to Niklas).
147 +Deadline for topic selection (via email to Jette).
148 148  )))
149 -|t.b.a.|(((
149 +|Mo., 29.04 23:59|(((
150 150  (% style="color:#172b4d" %)Deadline of the first draft in [[EasyChair>>https://easychair.org/conferences/?conf=kielrtsyssem24ss||shape="rect"]](%%). This includes abstract, introduction, outline, notes for chapter contents and an overview list of bibliography for related work.
151 151  )))
152 152  |(% colspan="1" %)(% colspan="1" %)
... ... @@ -156,7 +156,7 @@
156 156  (((
157 157  Individual feedback dates.
158 158  )))
159 -|(% colspan="1" %)t.b.a.|(% colspan="1" %)(% colspan="1" %)
159 +|(% colspan="1" %)Mo., 20.05 23:59|(% colspan="1" %)(% colspan="1" %)
160 160  (((
161 161  (% style="color:#172b4d" %)Deadline of the first full version (%%)(submission update in(% style="color:#172b4d" %) [[EasyChair>>https://easychair.org/conferences/?conf=kielrtsyssem24ss||shape="rect"]](%%))
162 162  )))
... ... @@ -167,7 +167,7 @@
167 167  (((
168 168  (% style="color:#172b4d" %)Individual feedback dates.
169 169  )))
170 -|(% colspan="1" %)t.b.a.|(% colspan="1" %)(% colspan="1" %)
170 +|(% colspan="1" %)Mo., 03.06 23:59|(% colspan="1" %)(% colspan="1" %)
171 171  (((
172 172  (% style="color:#172b4d" %)Deadline of the review version(%%) (submission update in(% style="color:#172b4d" %) [[EasyChair>>https://easychair.org/conferences/?conf=kielrtsyssem24ss||shape="rect"]](%%)) and admission to program committee (invitation via email)
173 173  )))
... ... @@ -178,7 +178,7 @@
178 178  (((
179 179  (% style="color:#172b4d" %)Review assignment(%%) (via email)
180 180  )))
181 -|(% colspan="1" %)t.b.a.|(% colspan="1" %)(% colspan="1" %)
181 +|(% colspan="1" %)Mo., 10.06 23:59|(% colspan="1" %)(% colspan="1" %)
182 182  (((
183 183  (% style="color:#172b4d" %)Deadline reviews(%%) (in(% style="color:#172b4d" %) [[EasyChair>>https://easychair.org/conferences/?conf=kielrtsyssem24ss||shape="rect"]](%%))
184 184  )))
... ... @@ -185,7 +185,7 @@
185 185  |(% colspan="1" %)(((
186 186  individual dates
187 187  
188 -t.b.a.
188 +Thu., 04.07
189 189  )))|(% colspan="1" %)(% colspan="1" %)
190 190  (((
191 191  (% style="color:#172b4d" %)Individual feedback dates on presentation slides(%%).
... ... @@ -192,13 +192,13 @@
192 192  
193 193  The slides need to be available online or sent to the advisor beforehand (as PDF).
194 194  )))
195 -|(% colspan="1" %)t.b.a.|(% colspan="1" %)(% colspan="1" %)
195 +|(% colspan="1" %)Thu., 11.07 23:59|(% colspan="1" %)(% colspan="1" %)
196 196  (((
197 197  (% style="color:#172b4d" %)Deadline final version (%%)(submission update in(% style="color:#172b4d" %) [[EasyChair>>https://easychair.org/conferences/?conf=kielrtsyssem24ss||shape="rect"]](%%))
198 198  )))
199 199  |(% colspan="1" %)(% colspan="1" %)
200 200  (((
201 -t.b.a.^^1^^
201 +Mo., 15.07, all day^^1^^
202 202  )))|(% colspan="1" %)(% colspan="1" %)
203 203  (((
204 204  Final presentations
... ... @@ -228,7 +228,7 @@
228 228  
229 229  You can freely choose your presentation tool. Therefore, for the individual dates on the presentation slides it would be best to to use your own computer. If the slides are provided as PDF beforehand, a different computer could be used.
230 230  
231 -Especially when using online tools, note that the block seminar might take place in building with bad WLAN access. Therefore, the presentations must allow to be held offline.
231 +Especially when using online tools, note that the block seminar might take place in Falckenstein and that there is no WLAN access. Therefore, the presentations must allow to be held offline.
232 232  
233 233  The talk can be held in English or German.
234 234  

Navigation

Quick Links

KIELER on GitHub
RTSYS Homepage