Last modified by Maximilian Kasperowski on 2025/01/30 12:01
<
From version < 73.1 >
edited by Jette Petzold
on 2024/04/12 07:15
To version < 63.1 >
edited by Alexander Schulz-Rosengarten
on 2024/02/19 15:46
>
Change comment: There is no comment for this version

Summary

Details

Page properties
Author
... ... @@ -1,1 +1,1 @@
1 -XWiki.jep
1 +XWiki.als
Content
... ... @@ -53,7 +53,7 @@
53 53  (% style="color:#333333" %)M. Lohstroh, C. Menard, A. Schulz-Rosengarten, M. Weber, J. Castrillon and E. A. Lee, [[A Language for Deterministic Coordination Across Multiple Timelines>>url:https://ieeexplore.ieee.org/document/9232939||shape="rect"]], //2020 Forum for Specification and Design Languages (FDL)//, 2020
54 54  
55 55  (% style="margin-left: 30.0px;" %)
56 -**[assigned]** (% style="color:#333333" %)L. Grimm, S. Smyth, A. Schulz-Rosengarten, R. von Hanxleden and M. Pouzet, [[From Lustre to Graphical Models and SCCharts>>url:https://ieeexplore.ieee.org/document/9232944||shape="rect"]], //2020 Forum for Specification and Design Languages (FDL)//, 2020, pp. 1-8, doi: 10.1109/FDL50818.2020.9232944.
56 +(% style="color:#333333" %)L. Grimm, S. Smyth, A. Schulz-Rosengarten, R. von Hanxleden and M. Pouzet, [[From Lustre to Graphical Models and SCCharts>>url:https://ieeexplore.ieee.org/document/9232944||shape="rect"]], //2020 Forum for Specification and Design Languages (FDL)//, 2020, pp. 1-8, doi: 10.1109/FDL50818.2020.9232944.
57 57  
58 58  (% style="margin-left: 30.0px;" %)
59 59  M. C. Werner and K. Schneider, "[[From IEC 61131-3 Function Block Diagrams to Sequentially Constructive Statecharts>>https://ieeexplore.ieee.org/document/9925656]]," //2022 Forum on Specification & Design Languages (FDL)//, Linz, Austria, 2022, pp. 1-8, doi: 10.1109/FDL56239.2022.9925656.
... ... @@ -69,13 +69,13 @@
69 69  ==== **Safety Analysis / Model Checking** ====
70 70  
71 71  (% style="margin-left: 30.0px;" %)
72 -(% 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" %).
72 +(% style="color:#333333" %)J. Axelsson and A. Kobetski, [[Towards a risk analysis method for systems-of-systems based on systems thinking>>url:https://ieeexplore.ieee.org/document/8369501||shape="rect"]]. //2018 Annual IEEE International Systems Conference (SysCon)//, 2018, pp. 1-8, doi: 10.1109/SYSCON.2018.8369501.
73 73  
74 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.
75 +(% 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.
76 76  
77 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.
78 +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.
79 79  
80 80  (% style="margin-left: 30.0px;" %)
81 81  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.
... ... @@ -126,7 +126,6 @@
126 126  (% style="margin-left: 30.0px;" %)
127 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.
128 128  
129 -
130 130  = Schedule =
131 131  
132 132  == Dates in the semester ==
... ... @@ -138,16 +138,16 @@
138 138  Milestone
139 139  )))
140 140  |(((
141 -Tue., 16.04 10:00
140 +Tue. 16.04 10:00 CAP4 R.1115
142 142  )))|(((
143 -First Meeting/**Kick-Off **with a Latex and EasyChair introduction. The meeting will take place in room 11.1114/11.1115 in CAP4.
142 +First Meeting/**Kick-Off **with a Latex and EasyChair introduction.
144 144  )))
145 -|(% colspan="1" %)Tue., 16.04 23:59|(% colspan="1" %)(% colspan="1" %)
144 +|(% colspan="1" %)tbd|(% colspan="1" %)(% colspan="1" %)
146 146  (((
147 147  Deadline for topic selection (via email to Jette).
148 148  )))
149 -|Mo., 29.04 23:59|(((
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.
148 +|tbd|(((
149 +(% style="color:#172b4d" %)Deadline of the first draft in [[EasyChair>>url:https://easychair.org/conferences/?conf=kielrtsyssem22ws||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" %)
153 153  (((
... ... @@ -156,9 +156,9 @@
156 156  (((
157 157  Individual feedback dates.
158 158  )))
159 -|(% colspan="1" %)Mo., 20.05 23:59|(% colspan="1" %)(% colspan="1" %)
158 +|(% colspan="1" %)tbd|(% colspan="1" %)(% colspan="1" %)
160 160  (((
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"]](%%))
160 +(% style="color:#172b4d" %)Deadline of the first full version (%%)(submission update in(% style="color:#172b4d" %) [[EasyChair>>url:https://easychair.org/conferences/?conf=kielrtsyssem22ws||shape="rect"]](%%))
162 162  )))
163 163  |(% colspan="1" %)(% colspan="1" %)
164 164  (((
... ... @@ -167,9 +167,9 @@
167 167  (((
168 168  (% style="color:#172b4d" %)Individual feedback dates.
169 169  )))
170 -|(% colspan="1" %)Mo., 03.06 23:59|(% colspan="1" %)(% colspan="1" %)
169 +|(% colspan="1" %)tbd|(% colspan="1" %)(% colspan="1" %)
171 171  (((
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)
171 +(% style="color:#172b4d" %)Deadline of the review version(%%) (submission update in(% style="color:#172b4d" %) [[EasyChair>>url:https://easychair.org/conferences/?conf=kielrtsyssem22ws||shape="rect"]](%%)) and admission to program committee (invitation via email)
173 173  )))
174 174  |(% colspan="1" %)(% colspan="1" %)
175 175  (((
... ... @@ -178,35 +178,28 @@
178 178  (((
179 179  (% style="color:#172b4d" %)Review assignment(%%) (via email)
180 180  )))
181 -|(% colspan="1" %)Mo., 10.06 23:59|(% colspan="1" %)(% colspan="1" %)
180 +|(% colspan="1" %)tbd|(% colspan="1" %)(% colspan="1" %)
182 182  (((
183 -(% style="color:#172b4d" %)Deadline reviews(%%) (in(% style="color:#172b4d" %) [[EasyChair>>https://easychair.org/conferences/?conf=kielrtsyssem24ss||shape="rect"]](%%))
182 +(% style="color:#172b4d" %)Deadline reviews(%%) (in(% style="color:#172b4d" %) [[EasyChair>>url:https://easychair.org/conferences/?conf=kielrtsyssem22ws||shape="rect"]](%%))
184 184  )))
185 -|(% colspan="1" %)(((
186 -individual dates
187 -
188 -Wed., 03.07 or Thu., 04.07
189 -)))|(% colspan="1" %)(% colspan="1" %)
184 +|(% colspan="1" %)tbd|(% colspan="1" %)(% colspan="1" %)
190 190  (((
191 191  (% style="color:#172b4d" %)Individual feedback dates on presentation slides(%%).
192 192  
193 193  The slides need to be available online or sent to the advisor beforehand (as PDF).
194 194  )))
195 -|(% colspan="1" %)Thu., 11.07 23:59|(% colspan="1" %)(% colspan="1" %)
190 +|(% colspan="1" %)tbd|(% colspan="1" %)(% colspan="1" %)
196 196  (((
197 -(% style="color:#172b4d" %)Deadline final version (%%)(submission update in(% style="color:#172b4d" %) [[EasyChair>>https://easychair.org/conferences/?conf=kielrtsyssem24ss||shape="rect"]](%%))
192 +(% style="color:#172b4d" %)Deadline final version (%%)(submission update in(% style="color:#172b4d" %) [[EasyChair>>url:https://easychair.org/conferences/?conf=kielrtsyssem22ws||shape="rect"]](%%))
198 198  )))
199 199  |(% colspan="1" %)(% colspan="1" %)
200 200  (((
201 -Mo., 15.07, all day^^1^^
196 +tbd, all day
202 202  )))|(% colspan="1" %)(% colspan="1" %)
203 203  (((
204 204  Final presentations
205 205  )))
206 206  
207 -(% class="wikigeneratedid" %)
208 -//^^1^^preliminary date; please contact us if there are any conflicts with exams//
209 -
210 210  == The Final Presentations ==
211 211  
212 212  The presentation of the prepared topic is held during a block seminar at **tbd**. The attendance at the seminar day is mandatory. Every attending person receives the proceedings of the current semester.
... ... @@ -265,7 +265,7 @@
265 265  
266 266  === EasyChair Tutorial ===
267 267  
268 -You can find our seminar in EasyChair: **[[Link>>https://easychair.org/conferences/?conf=kielrtsyssem24ss||shape="rect"]]**
260 +You can find our seminar in EasyChair: **[[Link>>url:https://easychair.org/conferences/?conf=kielrtsyssem22ws||shape="rect"]]**
269 269  
270 270  
271 271  = Resources =

Navigation

Quick Links

KIELER on GitHub
RTSYS Homepage