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 < 71.1 >
edited by Jette Petzold
on 2024/04/10 11:06
>
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
... ... @@ -61,18 +61,21 @@
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 +(% 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 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.
... ... @@ -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.

Navigation

Quick Links

KIELER on GitHub
RTSYS Homepage