Last modified by Alexander Schulz-Rosengarten on 2025/01/30 12:01
<
From version < 10.1 >
edited by Jette Petzold
on 2023/02/09 14:27
To version < 6.1 >
edited by Jette Petzold
on 2023/02/01 10:34
>
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -10,12 +10,9 @@
10 10  For the participation of this seminar the attendance of the "Embedded Real-Time Systems" lecture is not specifically required. However, specific lecture topics required for the paper should be reworked.
11 11  
12 12  (% style="text-align: left;" %)
13 -We recommend the attendance of the lecture "**Scientific Working for Seminars and Thesis**" (Wissenschaftliches Arbeiten für Seminar und Abschlussarbeiten) held by (% style="color: rgb(23,43,77);" %)Prof. Peters.
13 +Moreover, we recommend the attendance of the lecture "**Scientific Working for Seminars and Thesis**" (Wissenschaftliches Arbeiten für Seminar und Abschlussarbeiten) held by (% style="color: rgb(23,43,77);" %)Prof. Peters.
14 14  
15 15  (% style="text-align: left;" %)
16 -(% style="color: rgb(23,43,77);" %)Finally, there is the infamous "Vortragsvortrag" by Christoph Daniel Schulze. Sadly, he is not at RTSYS anymore to give that talk in person. However, he kindly prepared this [[sequence of videos>>url:https://www.youtube.com/playlist?list=PLjRqbgPHrKwC3uUQBRzKtnRH1vrNY9ehK||shape="rect"]] that should get the gist across as well.
17 -
18 -(% style="text-align: left;" %)
19 19  == Lecturers ==
20 20  
21 21  (% class="bodytext" style="text-align: left;" %)
... ... @@ -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)" %)**[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.
43 +(% 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.
47 47  
48 48  (% style="margin-left: 30.0px;" %)
49 49  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,7 +64,7 @@
64 64  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 -==== **Safety Analysis/Model Checking** ====
64 +==== **Safety Analysis** ====
68 68  
69 69  (% style="margin-left: 30.0px;" %)
70 70  (% 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.
... ... @@ -78,10 +78,6 @@
78 78  (% style="margin-left: 30.0px;" %)
79 79  (% style="color: rgb(34, 34, 34); color: rgb(51, 51, 51)" %)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.
80 80  
81 -(% style="margin-left: 30.0px;" %)
82 -(% 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.
83 -
84 -
85 85  (% style="color: rgb(23,43,77);" %)
86 86  === Master Recommendations (not yet complete list, more to follow) ===
87 87  
... ... @@ -144,7 +144,7 @@
144 144  )))
145 145  |(% colspan="1" %)(% colspan="1" %)
146 146  (((
147 -Thu., 13.04.2023 23:59
140 +TBA
148 148  )))|(% colspan="1" %)(% colspan="1" %)
149 149  (((
150 150  Deadline for topic selection (via email to Niklas)
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -142606469
1 +142606453
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/142606469/SS23 (Embedded Real-Time Systems)
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/142606453/SS23 (Embedded Real-Time Systems)

Navigation

Quick Links

KIELER on GitHub
RTSYS Homepage