Last modified by Alexander Schulz-Rosengarten on 2025/01/30 12:00
<
From version < 14.1 >
edited by Alexander Schulz-Rosengarten
on 2022/06/14 15:44
To version < 17.1 >
edited by Jette Petzold
on 2022/06/16 11:13
>
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
... ... @@ -50,9 +50,6 @@
50 50  **new:**
51 51  
52 52  (% style="margin-left: 30.0px;" %)
53 -Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel, and Jean-Pierre Talpin, [[Clock-driven distributed real-time implementation of endochronous synchronous programs>>url:https://dl.acm.org/doi/abs/10.1145/1629335.1629356||shape="rect"]], In //Proceedings of the seventh ACM international conference on Embedded software//, New York, USA, 2009
54 -
55 -(% style="margin-left: 30.0px;" %)
56 56  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: rgb(51,51,51);" %), 2020
57 57  
58 58  (% style="margin-left: 30.0px;" %)
... ... @@ -94,6 +94,15 @@
94 94  (% style="margin-left: 30.0px;" %)
95 95  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
96 96  
94 +(% style="margin-left: 30.0px;" %)
95 +\\
96 +
97 +(% style="margin-left: 30.0px;" %)
98 +**Safety Analysis**
99 +
100 +(% style="margin-left: 30.0px;" %)
101 +(% style="color: rgb(34,34,34);" %)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: rgb(34,34,34);" %) 128 (2015): 15-24.
102 +
97 97  === Master Recommendations ===
98 98  
99 99  (% style="margin-left: 30.0px;" %)
... ... @@ -122,21 +122,22 @@
122 122  (% style="color: rgb(0,51,102);" %)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.
123 123  
124 124  (% style="margin-left: 30.0px;" %)
125 -(% style="color: rgb(0,51,102);" %)Arne Hamann, Dakshina Dasari, Jorge Martinez, and Dirk Ziegenbein. 2018. [[Response Time Analysis for Fixed Priority Servers>>url:https://dl.acm.org/citation.cfm?doid=3273905.3273927||shape="rect"]]. In //Proceedings of the 26th International Conference on Real-Time Networks and Systems// (RTNS '18). ACM, New York, NY, USA, 254-264.
131 +(% style="color: rgb(0,51,102);" %)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.
126 126  
127 127  (% style="margin-left: 30.0px;" %)
128 -(% style="color: rgb(0,51,102);" %)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.
134 +Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel, and Jean-Pierre Talpin, [[Clock-driven distributed real-time implementation of endochronous synchronous programs>>url:https://dl.acm.org/doi/abs/10.1145/1629335.1629356||shape="rect"]], In //Proceedings of the seventh ACM international conference on Embedded software//, New York, USA, 2009
129 129  
130 -\\
131 -
132 132  (% style="margin-left: 30.0px;" %)
133 -(% style="color: rgb(0, 51, 102); color: rgb(51, 51, 51)" %)Zain A. H. Hammadeh, Sophie Quinton, and Rolf Ernst. 2019. [[Weakly-hard Real-time Guarantees for Earliest Deadline First Scheduling of Independent Tasks>>url:https://dl.acm.org/doi/10.1145/3356865||shape="rect"]], (% style="color: rgb(0, 51, 102); text-align: left" %)//ACM Trans. Embed. Comput. Syst.//(% style="color: rgb(0, 51, 102); color: rgb(51, 51, 51)" %) 18, 6, Article 121 (November 2019), 25 pages
137 +Guillaume Baudart, Louis Mandel, Eric Atkinson, Benjamin Sherman, Marc Pouzet, and Michael Carbin. 2020. [[Reactive probabilistic programming>>url:https://dl.acm.org/doi/10.1145/3385412.3386009||shape="rect"]]. In //Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation// (//PLDI 2020//)
134 134  
135 135  (% style="margin-left: 30.0px;" %)
136 136  \\
137 137  
138 138  (% style="margin-left: 30.0px;" %)
139 -Guillaume Baudart, Louis Mandel, Eric Atkinson, Benjamin Sherman, Marc Pouzet, and Michael Carbin. 2020. [[Reactive probabilistic programming>>url:https://dl.acm.org/doi/10.1145/3385412.3386009||shape="rect"]]. In //Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation// (//PLDI 2020//)
143 +**Safety Analysis**
144 +
145 +(% style="margin-left: 30.0px;" %)
146 +\\
140 140  {{/expand}}
141 141  
142 142  = Schedule =
... ... @@ -151,25 +151,25 @@
151 151  Milestone
152 152  )))
153 153  |(((
154 -tbd
161 +Mo., 24.10., 12:00
155 155  )))|(((
156 156  First Meeting/**Kick-Off **with a Latex and EasyChair introduction.
157 157  )))
158 158  |(% colspan="1" %)(% colspan="1" %)
159 159  (((
160 -tbd
167 +Mo., 24.10., 23:59
161 161  )))|(% colspan="1" %)(% colspan="1" %)
162 162  (((
163 163  Deadline for topic selection (via email to Jette).
164 164  )))
165 165  |(((
166 -tbd
173 +Mo., 14.11., 23:59
167 167  )))|(((
168 168  (% style="color: rgb(23,43,77);" %)Deadline of the first draft in [[EasyChair>>url:https://easychair.org/conferences/?conf=kielrtsyssem20ws||shape="rect"]](%%). This includes abstract, introduction, outline, notes for chapter contents and an overview list of bibliography for related work.
169 169  )))
170 170  |(% colspan="1" %)(% colspan="1" %)
171 171  (((
172 -tbd
179 +(% style="color: rgb(23,43,77);" %)In week of above, individual dates
173 173  )))|(% colspan="1" %)(% colspan="1" %)
174 174  (((
175 175  Individual feedback dates.
... ... @@ -176,7 +176,7 @@
176 176  )))
177 177  |(% colspan="1" %)(% colspan="1" %)
178 178  (((
179 -tbd
186 +Mo., 12.12., 23:59
180 180  )))|(% colspan="1" %)(% colspan="1" %)
181 181  (((
182 182  (% style="color: rgb(23,43,77);" %)Deadline of the first full version (%%)(submission update in(% style="color: rgb(23,43,77);" %) [[EasyChair>>url:https://easychair.org/conferences/?conf=kielrtsyssem20ws||shape="rect"]](%%))
... ... @@ -183,7 +183,7 @@
183 183  )))
184 184  |(% colspan="1" %)(% colspan="1" %)
185 185  (((
186 -tbd
193 +(% style="color: rgb(23,43,77);" %)In week of above, individual dates
187 187  )))|(% colspan="1" %)(% colspan="1" %)
188 188  (((
189 189  (% style="color: rgb(23,43,77);" %)Individual feedback dates.
... ... @@ -190,7 +190,7 @@
190 190  )))
191 191  |(% colspan="1" %)(% colspan="1" %)
192 192  (((
193 -tbd
200 +Mo., 09.01., 23:59
194 194  )))|(% colspan="1" %)(% colspan="1" %)
195 195  (((
196 196  (% style="color: rgb(23,43,77);" %)Deadline of the review version(%%) (submission update in(% style="color: rgb(23,43,77);" %) [[EasyChair>>url:https://easychair.org/conferences/?conf=kielrtsyssem20ws||shape="rect"]](%%)) and admission to program committee (invitation via email)
... ... @@ -205,7 +205,7 @@
205 205  )))
206 206  |(% colspan="1" %)(% colspan="1" %)
207 207  (((
208 -tbd
215 +Mo., 16.01., 23:59
209 209  )))|(% colspan="1" %)(% colspan="1" %)
210 210  (((
211 211  (% style="color: rgb(23,43,77);" %)Deadline reviews(%%) (in(% style="color: rgb(23,43,77);" %) [[EasyChair>>url:https://easychair.org/conferences/?conf=kielrtsyssem20ws||shape="rect"]](%%))**
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -130678791
1 +130678799
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/130678791/WS22/23 (Synchronous Languages)
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/130678799/WS22/23 (Synchronous Languages)

Navigation

Quick Links

KIELER on GitHub
RTSYS Homepage