Last modified by Maximilian Kasperowski on 2025/01/30 12:01
<
From version < 61.5 >
edited by Alexander Schulz-Rosengarten
on 2024/02/19 15:40
To version < 76.1 >
edited by Jette Petzold
on 2024/04/16 18:49
>
Change comment: There is no comment for this version

Summary

Details

Page properties
Author
... ... @@ -1,1 +1,1 @@
1 -XWiki.als
1 +XWiki.jep
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 -(% 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 +**[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.
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.
... ... @@ -61,21 +61,24 @@
61 61  (% style="margin-left: 30.0px;" %)
62 62  Fabien Siron, Dumitru Potop-Butucaru, Robert De Simone, Damien Chabrol, and Amira Methni. 2023.[[ Semantics foundations of PsyC based on synchronous Logical Execution Time>>https://dl.acm.org/doi/10.1145/3576914.3587495]]. In Proceedings of Cyber-Physical Systems and Internet of Things Week 2023 (CPS-IoT Week '23). Association for Computing Machinery, New York, NY, USA, 319–324. [[https:~~/~~/doi.org/10.1145/3576914.3587495>>https://doi.org/10.1145/3576914.3587495]]
63 63  
64 +(% style="margin-left: 30.0px;" %)
65 +Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marten Lohstroh, Edward A. Lee, and Soroush Bateni. 2023. [[Polyglot Modal Models through Lingua Franca>>https://dl.acm.org/doi/abs/10.1145/3576914.3587498]]. In Proceedings of Cyber-Physical Systems and Internet of Things Week 2023 (CPS-IoT Week '23). Association for Computing Machinery, New York, NY, USA, 337–342. [[https:~~/~~/doi.org/10.1145/3576914.3587498>>https://doi.org/10.1145/3576914.3587498]] //(There is also a [[long version>>https://arxiv.org/abs/2301.09597]])//
64 64  
67 +
65 65  (% style="margin-left: 30.0px;" %)
66 66  ==== **Safety Analysis / Model Checking** ====
67 67  
68 68  (% style="margin-left: 30.0px;" %)
69 -(% 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.
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" %).
70 70  
71 71  (% style="margin-left: 30.0px;" %)
72 -(% 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 +**[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 74  (% style="margin-left: 30.0px;" %)
75 -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 +**[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.
76 76  
77 77  (% style="margin-left: 30.0px;" %)
78 -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.
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.
79 79  
80 80  
81 81  === Master Recommendations ===
... ... @@ -108,9 +108,12 @@
108 108  Pascal Fradet, Alain Girault, and Alexandre Honorat. 2023. [[Sequential Scheduling of Dataflow Graphs for Memory Peak Minimization>>https://dl.acm.org/doi/10.1145/3589610.3596280]]. In Proceedings of the 24th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2023). Association for Computing Machinery, New York, NY, USA, 76–86. [[https:~~/~~/doi.org/10.1145/3589610.3596280>>https://doi.org/10.1145/3589610.3596280]]
109 109  
110 110  (% style="margin-left: 30.0px;" %)
111 -Shaokai Lin, Yatin A. Manerkar, Marten Lohstroh, Elizabeth Polgreen, Sheng-Jung Yu, Chadlia Jerad, Edward A. Lee, and Sanjit A. Seshia. 2023. [[Towards Building Verifiable CPS using Lingua Franca>>https://dl.acm.org/doi/10.1145/3609134]]. ACM Trans. Embed. Comput. Syst. 22, 5s, Article 155 (October 2023), 24 pages. https:~/~/doi.org/10.1145/3609134
114 +Shaokai Lin, Yatin A. Manerkar, Marten Lohstroh, Elizabeth Polgreen, Sheng-Jung Yu, Chadlia Jerad, Edward A. Lee, and Sanjit A. Seshia. 2023. [[Towards Building Verifiable CPS using Lingua Franca>>https://dl.acm.org/doi/10.1145/3609134]]. ACM Trans. Embed. Comput. Syst. 22, 5s, Article 155 (October 2023), 24 pages. [[https:~~/~~/doi.org/10.1145/3609134>>https://doi.org/10.1145/3609134]]
112 112  
116 +(% style="margin-left: 30.0px;" %)
117 +Christian Menard, Marten Lohstroh, Soroush Bateni, Matthew Chorlian, Arthur Deng, Peter Donovan, Clément Fournier, Shaokai Lin, Felix Suchert, Tassilo Tanneberger, Hokeun Kim, Jeronimo Castrillon, and Edward A. Lee. 2023. [[High-performance Deterministic Concurrency Using Lingua Franca.>>https://dl.acm.org/doi/10.1145/3617687]] ACM Trans. Archit. Code Optim. 20, 4, Article 48 (December 2023), 29 pages. [[https:~~/~~/doi.org/10.1145/3617687>>https://doi.org/10.1145/3617687]]
113 113  
119 +
114 114  (% style="margin-left: 30.0px;" %)
115 115  ==== **Safety Analysis / Testing** ====
116 116  
... ... @@ -120,6 +120,7 @@
120 120  (% style="margin-left: 30.0px;" %)
121 121  (% 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.
122 122  
129 +
123 123  = Schedule =
124 124  
125 125  == Dates in the semester ==
... ... @@ -131,16 +131,16 @@
131 131  Milestone
132 132  )))
133 133  |(((
134 -Tue. 16.04 10:00 CAP4 R.1115
141 +Tue., 16.04 10:00
135 135  )))|(((
136 -First Meeting/**Kick-Off **with a Latex and EasyChair introduction.
143 +First Meeting/**Kick-Off **with a Latex and EasyChair introduction. The meeting will take place in room 11.1114/11.1115 in CAP4.
137 137  )))
138 -|(% colspan="1" %)tbd|(% colspan="1" %)(% colspan="1" %)
145 +|(% colspan="1" %)Tue., 16.04 23:59|(% colspan="1" %)(% colspan="1" %)
139 139  (((
140 140  Deadline for topic selection (via email to Jette).
141 141  )))
142 -|tbd|(((
143 -(% 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.
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.
144 144  )))
145 145  |(% colspan="1" %)(% colspan="1" %)
146 146  (((
... ... @@ -149,9 +149,9 @@
149 149  (((
150 150  Individual feedback dates.
151 151  )))
152 -|(% colspan="1" %)tbd|(% colspan="1" %)(% colspan="1" %)
159 +|(% colspan="1" %)Mo., 20.05 23:59|(% colspan="1" %)(% colspan="1" %)
153 153  (((
154 -(% 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"]](%%))
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"]](%%))
155 155  )))
156 156  |(% colspan="1" %)(% colspan="1" %)
157 157  (((
... ... @@ -160,9 +160,9 @@
160 160  (((
161 161  (% style="color:#172b4d" %)Individual feedback dates.
162 162  )))
163 -|(% colspan="1" %)tbd|(% colspan="1" %)(% colspan="1" %)
170 +|(% colspan="1" %)Mo., 03.06 23:59|(% colspan="1" %)(% colspan="1" %)
164 164  (((
165 -(% 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)
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)
166 166  )))
167 167  |(% colspan="1" %)(% colspan="1" %)
168 168  (((
... ... @@ -171,28 +171,35 @@
171 171  (((
172 172  (% style="color:#172b4d" %)Review assignment(%%) (via email)
173 173  )))
174 -|(% colspan="1" %)tbd|(% colspan="1" %)(% colspan="1" %)
181 +|(% colspan="1" %)Mo., 10.06 23:59|(% colspan="1" %)(% colspan="1" %)
175 175  (((
176 -(% style="color:#172b4d" %)Deadline reviews(%%) (in(% style="color:#172b4d" %) [[EasyChair>>url:https://easychair.org/conferences/?conf=kielrtsyssem22ws||shape="rect"]](%%))
183 +(% style="color:#172b4d" %)Deadline reviews(%%) (in(% style="color:#172b4d" %) [[EasyChair>>https://easychair.org/conferences/?conf=kielrtsyssem24ss||shape="rect"]](%%))
177 177  )))
178 -|(% colspan="1" %)tbd|(% colspan="1" %)(% colspan="1" %)
185 +|(% colspan="1" %)(((
186 +individual dates
187 +
188 +Wed., 03.07 or Thu., 04.07
189 +)))|(% colspan="1" %)(% colspan="1" %)
179 179  (((
180 180  (% style="color:#172b4d" %)Individual feedback dates on presentation slides(%%).
181 181  
182 182  The slides need to be available online or sent to the advisor beforehand (as PDF).
183 183  )))
184 -|(% colspan="1" %)tbd|(% colspan="1" %)(% colspan="1" %)
195 +|(% colspan="1" %)Thu., 11.07 23:59|(% colspan="1" %)(% colspan="1" %)
185 185  (((
186 -(% style="color:#172b4d" %)Deadline final version (%%)(submission update in(% style="color:#172b4d" %) [[EasyChair>>url:https://easychair.org/conferences/?conf=kielrtsyssem22ws||shape="rect"]](%%))
197 +(% style="color:#172b4d" %)Deadline final version (%%)(submission update in(% style="color:#172b4d" %) [[EasyChair>>https://easychair.org/conferences/?conf=kielrtsyssem24ss||shape="rect"]](%%))
187 187  )))
188 188  |(% colspan="1" %)(% colspan="1" %)
189 189  (((
190 -tbd, all day
201 +Mo., 15.07, all day^^1^^
191 191  )))|(% colspan="1" %)(% colspan="1" %)
192 192  (((
193 193  Final presentations
194 194  )))
195 195  
207 +(% class="wikigeneratedid" %)
208 +//^^1^^preliminary date; please contact us if there are any conflicts with exams//
209 +
196 196  == The Final Presentations ==
197 197  
198 198  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.
... ... @@ -233,7 +233,7 @@
233 233  
234 234  == Grades ==
235 235  
236 -This seminar is graded. The grade is based on each milestone (the different versions of the paper, the reviews, the slides, the talk). For each milestone quality, timing (see dates) are graded. Missed deadline may cause you to fail the seminar.
250 +This seminar is graded. The grade is based on each milestone (the different versions of the paper, the reviews, the slides, the talk, engagement in the workshop). For each milestone quality, timing (see dates) are graded. Missed deadline may cause you to fail the seminar.
237 237  
238 238  = Technical Details =
239 239  
... ... @@ -251,7 +251,7 @@
251 251  
252 252  === EasyChair Tutorial ===
253 253  
254 -You can find our seminar in EasyChair: **[[Link>>url:https://easychair.org/conferences/?conf=kielrtsyssem22ws||shape="rect"]]**
268 +You can find our seminar in EasyChair: **[[Link>>https://easychair.org/conferences/?conf=kielrtsyssem24ss||shape="rect"]]**
255 255  
256 256  
257 257  = Resources =

Navigation

Quick Links

KIELER on GitHub
RTSYS Homepage