Last modified by Alexander Schulz-Rosengarten on 2025/01/30 12:01
<
From version < 34.1 >
edited by Jette Petzold
on 2023/05/02 07:20
To version < 25.1 >
edited by Niklas Rentz
on 2023/04/13 12:27
>
Change comment: There is no comment for this version

Summary

Details

Page properties
Author
... ... @@ -1,1 +1,1 @@
1 -XWiki.jep
1 +XWiki.nre
Content
... ... @@ -43,7 +43,7 @@
43 43  ==== **Real-Time / Embedded** ====
44 44  
45 45  (% style="margin-left: 30.0px;" %)
46 -(% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)Juha-Pekka Tolvanen and Steven Kelly. 2018. [[Effort Used to Create Domain-Specific Modeling Languages>>url:https://dl.acm.org/citation.cfm?doid=3239372.3239410||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, 235-244.
46 +(% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)**[assigned] **Juha-Pekka Tolvanen and Steven Kelly. 2018. [[Effort Used to Create Domain-Specific Modeling Languages>>url:https://dl.acm.org/citation.cfm?doid=3239372.3239410||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, 235-244.
47 47  
48 48  (% style="margin-left: 30.0px;" %)
49 49  (% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)**[assigned] **(%%)Björn Forsberg, Maxim Mattheeuws, Andreas Kurth, Andrea Marongiu, and Luca Benini. [[A Synergistic Approach to Predictable Compilation and Scheduling on Commodity Multi-Cores>>url:https://dl.acm.org/doi/abs/10.1145/3372799.3394369||shape="rect"]] In //The 21st ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems// (//LCTES '20//). Association for Computing Machinery, New York, NY, USA, 2020
... ... @@ -64,13 +64,13 @@
64 64  (% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)**[assigned] **(%%)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.
65 65  
66 66  (% style="margin-left: 30.0px;" %)
67 -(% style="color: rgb(51,51,51);" %)N. A. Carreón, A. Gilbreath and R. Lysecky, [[Statistical Time-based Intrusion Detection in Embedded Systems>>url:https://ieeexplore.ieee.org/abstract/document/9116369||shape="rect"]], (%%)//2020 Design, Automation & Test in Europe Conference & Exhibition (DATE)//(% style="color: rgb(51,51,51);" %), Grenoble, France, 2020, pp. 562-567, doi: 10.23919/DATE48585.2020.9116369.
67 +(% style="color: rgb(51, 51, 51); color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)**[assigned] **(% style="color: rgb(51,51,51);" %)N. A. Carreón, A. Gilbreath and R. Lysecky, [[Statistical Time-based Intrusion Detection in Embedded Systems>>url:https://ieeexplore.ieee.org/abstract/document/9116369||shape="rect"]], (%%)//2020 Design, Automation & Test in Europe Conference & Exhibition (DATE)//(% style="color: rgb(51,51,51);" %), Grenoble, France, 2020, pp. 562-567, doi: 10.23919/DATE48585.2020.9116369.
68 68  
69 69  (% style="margin-left: 30.0px;" %)
70 70  ==== **Safety Analysis/Model Checking** ====
71 71  
72 72  (% style="margin-left: 30.0px;" %)
73 -(% style="color: rgb(34, 34, 34); color: rgb(51, 51, 51); color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)**[assigned] **(% style="color: rgb(34, 34, 34); color: rgb(51, 51, 51)" %)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: rgb(34,34,34);" %)//2009 Sixth International Conference on Information Technology: New Generations//(% style="color: rgb(34, 34, 34); color: rgb(51, 51, 51)" %), 2009, pp. 1089-1094, doi: 10.1109/ITNG.2009.183.
73 +(% style="color: rgb(34, 34, 34); color: rgb(51, 51, 51)" %)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: rgb(34,34,34);" %)//2009 Sixth International Conference on Information Technology: New Generations//(% style="color: rgb(34, 34, 34); color: rgb(51, 51, 51)" %), 2009, pp. 1089-1094, doi: 10.1109/ITNG.2009.183.
74 74  
75 75  (% style="margin-left: 30.0px;" %)
76 76  (% style="color: rgb(51,51,51);" %)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.
... ... @@ -85,7 +85,7 @@
85 85  (% style="color: rgb(34, 34, 34); color: rgb(51, 51, 51)" %)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||shape="rect"]]. In (% style="color: rgb(34, 34, 34); color: rgb(51, 51, 51); text-align: left" %)//2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops//(% style="color: rgb(34, 34, 34); color: rgb(51, 51, 51)" %), pp. 26-33. IEEE, 2011.
86 86  
87 87  (% style="margin-left: 30.0px;" %)
88 -(% style="color: rgb(34, 34, 34); color: rgb(51, 51, 51); color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)**[assigned] **(% style="color: rgb(34, 34, 34); color: rgb(51, 51, 51)" %)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||shape="rect"]]. (% style="color: rgb(34, 34, 34); color: rgb(51, 51, 51); text-align: left" %)//Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future//(% style="color: rgb(34, 34, 34); color: rgb(51, 51, 51)" %). Vol. 1. IEEE, 2000.
88 +(% style="color: rgb(34, 34, 34); color: rgb(51, 51, 51)" %)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||shape="rect"]]. (% style="color: rgb(34, 34, 34); color: rgb(51, 51, 51); text-align: left" %)//Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future//(% style="color: rgb(34, 34, 34); color: rgb(51, 51, 51)" %). Vol. 1. IEEE, 2000.
89 89  
90 90  
91 91  (% style="margin-left: 30.0px;" %)
... ... @@ -164,7 +164,7 @@
164 164  )))
165 165  |(% colspan="1" %)(% colspan="1" %)
166 166  (((
167 -(% style="color: rgb(23,43,77);" %)In the week after above (02.05.-05.05.), individual dates
167 +(% style="color: rgb(23,43,77);" %)In week of above, individual dates
168 168  )))|(% colspan="1" %)(% colspan="1" %)
169 169  (((
170 170  Individual feedback dates.
... ... @@ -178,7 +178,7 @@
178 178  )))
179 179  |(% colspan="1" %)(% colspan="1" %)
180 180  (((
181 -(% style="color: rgb(23,43,77);" %)In the week after above (22.05.-26.05.), individual dates
181 +(% style="color: rgb(23,43,77);" %)In week of above, individual dates
182 182  )))|(% colspan="1" %)(% colspan="1" %)
183 183  (((
184 184  Individual feedback dates.
... ... @@ -208,7 +208,7 @@
208 208  )))
209 209  |(% colspan="1" %)(% colspan="1" %)
210 210  (((
211 -subsequently (12.06.-16.06.)
211 +subsequently
212 212  )))|(% colspan="1" %)(% colspan="1" %)
213 213  (((
214 214  Individual feedback dates on presentation slides.
... ... @@ -305,7 +305,7 @@
305 305  (% style="color: rgb(23,43,77);" %)
306 306  === EasyChair Tutorial ===
307 307  
308 -You can find our seminar in EasyChair: **[[Link>>url:https://easychair.org/conferences/?conf=kielrtsyssem23ss||shape="rect"]]**
308 +You can find our seminar in EasyChair: **[[Link>>url:https://easychair.org/conferences/?conf=kielrtsyssem21ss||shape="rect"]]**
309 309  
310 310  {{expand title="Klicke hier zum ausklappen..."}}
311 311  \\
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -154468409
1 +142606597
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/154468409/SS23 (Embedded Real-Time Systems)
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/142606597/SS23 (Embedded Real-Time Systems)

Navigation

Quick Links

KIELER on GitHub
RTSYS Homepage