Last modified by Maximilian Kasperowski on 2025/01/30 12:01
<
From version < 58.1 >
edited by Jette Petzold
on 2024/01/19 08:21
To version < 51.2 >
edited by Jette Petzold
on 2024/01/19 08:12
>
Change comment: Update document after refactoring.

Summary

Details

Page properties
Content
... ... @@ -44,6 +44,9 @@
44 44  (% 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.
45 45  
46 46  (% style="margin-left: 30.0px;" %)
47 +(% style="color:#003366" %)**[assigned] **(% style="color:#333333" %)Francisco Sant’Anna, [[Structured Synchronous Reactive Programming for Game Development - Case Study: On Rewriting Pingus from C++ to Céu>>url:https://ieeexplore.ieee.org/abstract/document/8636899||shape="rect"]], //2018 17th Brazilian Symposium on Computer Games and Digital Entertainment (SBGames)//, 2018, pp. 240-24009
48 +
49 +(% style="margin-left: 30.0px;" %)
47 47  (% style="color:#333333" %)J. Deantoni, J. Cambeiro, S. Bateni, S. Lin and M. Lohstroh, [[Debugging and Verification Tools for Lingua Franca in Gemoc Studio>>url:https://ieeexplore.ieee.org/document/9568383||shape="rect"]], //2021 Forum on specification & Design Languages (FDL)//, 2021, pp. 01-08, doi: 10.1109/FDL53530.2021.9568383.
48 48  
49 49  (% style="margin-left: 30.0px;" %)
... ... @@ -53,25 +53,47 @@
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;" %)
59 +(% style="color:#003366" %)**[assigned]** (% style="color:#333333" %)F. Gretz, F. -J. Grosch, M. Mendler and S. Scheele, [[Synchronized Shared Memory and Procedural Abstraction: Towards a Formal Semantics of Blech>>url:https://ieeexplore.ieee.org/document/9232942||shape="rect"]], //2020 Forum for Specification and Design Languages (FDL)//, 2020, pp. 1-8, doi: 10.1109/FDL50818.2020.9232942.
60 +
61 +(% style="margin-left: 30.0px;" %)
56 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  
64 +(% style="margin-left: 30.0px;" %)
65 +(% style="color:#003366" %)**[assigned] **(% style="color:#333333" %)Joaquin Aguado and Alejandra Duenas, [[Synchronised Shared Memory and Model Checking: A Proof of Concept>>url:https://ieeexplore.ieee.org/abstract/document/9568373||shape="rect"]], //2021 Forum on specification & Design Languages (FDL)//, 2021, pp. 01-08
58 58  
59 59  (% style="margin-left: 30.0px;" %)
60 -==== **Safety Analysis / Model Checking** ====
68 +==== **Real-Time / Embedded** ====
61 61  
62 62  (% style="margin-left: 30.0px;" %)
63 -(% 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.
71 +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:#333333" %), 2020
64 64  
65 65  (% style="margin-left: 30.0px;" %)
66 -(% 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.
74 +(% style="color:#003366" %)**[assigned] **(% style="color:#333333" %)Hadi Alizadeh Ara, Marc Geilen, Amir Behrouzian, and Twan Basten. 2018. [[Throughput-Buffering Trade-Off Analysis for Scenario-Aware Dataflow Models>>url:https://dl.acm.org/doi/10.1145/3273905.3273921||shape="rect"]]. In (% style="color:#333333; text-align:left" %)//Proceedings of the 26th International Conference on Real-Time Networks and Systems//(% style="color:#333333" %) ((% style="color:#333333; text-align:left" %)//RTNS '18//(% style="color:#333333" %)). Association for Computing Machinery, New York, NY, USA, 265–275.
67 67  
68 68  (% style="margin-left: 30.0px;" %)
69 -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.
77 +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.
70 70  
71 71  (% style="margin-left: 30.0px;" %)
72 -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.
80 +(% style="color:#003366" %)**[assigned] **(%%)Y. Bai, O. Rafique and K. Schneider, [[A Model-based Design Flow for Asynchronous Implementations from Synchronous Specifications>>url:https://ieeexplore.ieee.org/document/9474190||shape="rect"]], //2021 Design, Automation & Test in Europe Conference & Exhibition (DATE)//, 2021
73 73  
82 +(% style="margin-left: 30.0px;" %)
83 +==== **Safety Analysis** ====
74 74  
85 +(% style="margin-left: 30.0px;" %)
86 +(% style="color:#222222" %)Sven Stefan Krauss, Martin Rejzek, and Christian Hilbes. [[Tool Qualification Considerations for Tools Supporting STPA>>url:https://www.sciencedirect.com/science/article/pii/S1877705815038606||shape="rect"]]. (% style="text-align:left" %)//Procedia Engineering//(% style="color:#222222" %) 128 (2015): 15-24.
87 +
88 +(% style="margin-left: 30.0px;" %)
89 +(% style="color:#333333" %)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:#222222" %)//2009 Sixth International Conference on Information Technology: New Generations//(% style="color:#333333" %), 2009, pp. 1089-1094, doi: 10.1109/ITNG.2009.183.
90 +
91 +(% style="margin-left: 30.0px;" %)
92 +(% 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.
93 +
94 +(% style="margin-left: 30.0px;" %)
95 +(% 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.
96 +
97 +(% style="margin-left: 30.0px;" %)
98 +(% style="color:#333333" %)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.
99 +
75 75  === Master Recommendations ===
76 76  
77 77  (% style="margin-left: 30.0px;" %)
... ... @@ -89,8 +89,28 @@
89 89  (% style="margin-left: 30.0px;" %)
90 90  (% style="color:#003366" %)Evgeny Kusmenko, Bernhard Rumpe, Sascha Schneiders, and Michael von Wenckstern. 2018. [[Highly-Optimizing and Multi-Target Compiler for Embedded System Models: C++ Compiler Toolchain for the Component and Connector Language EmbeddedMontiArc>>url:https://dl.acm.org/citation.cfm?id=3239388||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, 447-457.
91 91  
117 +(% style="margin-left: 30.0px;" %)
118 +==== **Real-Time / Embedded** ====
92 92  
93 93  (% style="margin-left: 30.0px;" %)
121 +(% style="color:#003366" %)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:#003366" %) Software & Systems Modeling 2019
122 +
123 +(% style="margin-left: 30.0px;" %)
124 +(% style="color:#003366" %)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.
125 +
126 +(% style="margin-left: 30.0px;" %)
127 +(% style="color:#003366" %)Bader Alahmad and Sathish Gopalakrishnan. 2018. [[On Budgeting and Quality, with an Application to Safety-Critical Real-time Systems>>url:https://dl.acm.org/citation.cfm?doid=3273905.3273917||shape="rect"]]. In //Proceedings of the 26th International Conference on Real-Time Networks and Systems// (RTNS '18). ACM, New York, NY, USA, 19-29.
128 +
129 +(% style="margin-left: 30.0px;" %)
130 +(% style="color:#003366" %)Tobias Klaus, Florian Franzmann, Matthias Becker, and Peter Ulbrich. 2018. [[Data Propagation Delay Constraints in Multi-Rate Systems: Deadlines vs. Job-Level Dependencies>>url:https://dl.acm.org/citation.cfm?doid=3273905.3273923||shape="rect"]]. In //Proceedings of the 26th International Conference on Real-Time Networks and Systems// (RTNS '18). ACM, New York, NY, USA, 93-103.
131 +
132 +(% style="margin-left: 30.0px;" %)
133 +(% style="color:#003366" %)Andreas Sailer, Michael Deubzer, Gerald Lüttgen, and Jürgen Mottok. 2017. [[Comparing trace recordings of automotive real-time software>>url:https://dl.acm.org/citation.cfm?doid=3139258.3139265||shape="rect"]]. In //Proceedings of the 25th International Conference on Real-Time Networks and Systems// (RTNS '17). ACM, New York, NY, USA, 118-127.
134 +
135 +(% style="margin-left: 30.0px;" %)
136 +(% style="color:#003366" %)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.
137 +
138 +(% style="margin-left: 30.0px;" %)
94 94  ==== **Safety Analysis / Testing** ====
95 95  
96 96  (% style="margin-left: 30.0px;" %)
... ... @@ -110,15 +110,20 @@
110 110  Milestone
111 111  )))
112 112  |(((
113 -tbd
158 +Mo., 24.10., 12:00
114 114  )))|(((
115 115  First Meeting/**Kick-Off **with a Latex and EasyChair introduction.
116 116  )))
117 -|(% colspan="1" %)tbd|(% colspan="1" %)(% colspan="1" %)
162 +|(% colspan="1" %)(% colspan="1" %)
118 118  (((
164 +Mo., 24.10., 23:59
165 +)))|(% colspan="1" %)(% colspan="1" %)
166 +(((
119 119  Deadline for topic selection (via email to Jette).
120 120  )))
121 -|tbd|(((
169 +|(((
170 +Mo., 14.11., 23:59
171 +)))|(((
122 122  (% 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.
123 123  )))
124 124  |(% colspan="1" %)(% colspan="1" %)
... ... @@ -128,8 +128,11 @@
128 128  (((
129 129  Individual feedback dates.
130 130  )))
131 -|(% colspan="1" %)tbd|(% colspan="1" %)(% colspan="1" %)
181 +|(% colspan="1" %)(% colspan="1" %)
132 132  (((
183 +Mo., 12.12., 23:59
184 +)))|(% colspan="1" %)(% colspan="1" %)
185 +(((
133 133  (% 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"]](%%))
134 134  )))
135 135  |(% colspan="1" %)(% colspan="1" %)
... ... @@ -139,8 +139,11 @@
139 139  (((
140 140  (% style="color:#172b4d" %)Individual feedback dates.
141 141  )))
142 -|(% colspan="1" %)tbd|(% colspan="1" %)(% colspan="1" %)
195 +|(% colspan="1" %)(% colspan="1" %)
143 143  (((
197 +Mo., 09.01., 23:59
198 +)))|(% colspan="1" %)(% colspan="1" %)
199 +(((
144 144  (% 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)
145 145  )))
146 146  |(% colspan="1" %)(% colspan="1" %)
... ... @@ -150,33 +150,48 @@
150 150  (((
151 151  (% style="color:#172b4d" %)Review assignment(%%) (via email)
152 152  )))
153 -|(% colspan="1" %)tbd|(% colspan="1" %)(% colspan="1" %)
209 +|(% colspan="1" %)(% colspan="1" %)
154 154  (((
211 +Di., 17.01., 23:59
212 +)))|(% colspan="1" %)(% colspan="1" %)
213 +(((
155 155  (% style="color:#172b4d" %)Deadline reviews(%%) (in(% style="color:#172b4d" %) [[EasyChair>>url:https://easychair.org/conferences/?conf=kielrtsyssem22ws||shape="rect"]](%%))
156 156  )))
157 -|(% colspan="1" %)tbd|(% colspan="1" %)(% colspan="1" %)
216 +|(% colspan="1" %)(% colspan="1" %)
158 158  (((
218 +Mi., 08.02.
219 +)))|(% colspan="1" %)(% colspan="1" %)
220 +(((
159 159  (% style="color:#172b4d" %)Individual feedback dates on presentation slides(%%).
160 160  
161 161  The slides need to be available online or sent to the advisor beforehand (as PDF).
162 162  )))
163 -|(% colspan="1" %)tbd|(% colspan="1" %)(% colspan="1" %)
225 +|(% colspan="1" %)(% colspan="1" %)
164 164  (((
227 +Mo., 20.02., 23:59
228 +)))|(% colspan="1" %)(% colspan="1" %)
229 +(((
165 165  (% style="color:#172b4d" %)Deadline final version (%%)(submission update in(% style="color:#172b4d" %) [[EasyChair>>url:https://easychair.org/conferences/?conf=kielrtsyssem22ws||shape="rect"]](%%))
166 166  )))
167 167  |(% colspan="1" %)(% colspan="1" %)
168 168  (((
169 -tbd, all day
234 +Mo. 27.02., all day
170 170  )))|(% colspan="1" %)(% colspan="1" %)
171 171  (((
172 -Final presentations
237 +Final presentations at CAP4 R.1304b
173 173  )))
174 174  
175 175  == The Final Presentations ==
176 176  
177 -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.
242 +The presentation of the prepared topic is held during a block seminar at CAP4 R.1304b. The attendance at the seminar day is mandatory. Every attending person receives the proceedings of the current semester.
178 178  
244 +=== Agenda ===
179 179  
246 +
247 +
248 +**[[Hier>>url:https://rtsys.informatik.uni-kiel.de/confluence/download/attachments/128745476/agenda.pdf?version=1&modificationDate=1677149817000&api=v2||shape="rect"]]** die Agenda als PDF
249 +
250 +
180 180  = Schedule and Grading =
181 181  
182 182  == Papers, Talks, Review ==

Navigation

Quick Links

KIELER on GitHub
RTSYS Homepage