Last modified by Alexander Schulz-Rosengarten on 2025/01/30 12:01
<
From version < 7.1 >
edited by Reinhard von Hanxleden
on 2023/02/03 16:35
To version < 3.1 >
edited by Niklas Rentz
on 2023/01/25 17:13
>
Change comment: There is no comment for this version

Summary

Details

Page properties
Author
... ... @@ -1,1 +1,1 @@
1 -XWiki.rvh
1 +XWiki.nre
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;" %)
... ... @@ -40,9 +40,6 @@
40 40  === Bachelor Recommendations (not yet complete list, more to follow) ===
41 41  
42 42  (% style="margin-left: 30.0px;" %)
43 -==== **Real-Time / Embedded** ====
44 -
45 -(% style="margin-left: 30.0px;" %)
46 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.
47 47  
48 48  (% style="margin-left: 30.0px;" %)
... ... @@ -57,34 +57,10 @@
57 57  (% style="margin-left: 30.0px;" %)
58 58  (% style="letter-spacing: 0.0px;" %)Yecheng Zhao and Haibo Zeng. [[Optimization techniques for time-critical cyber-physical systems>>url:https://dl.acm.org/doi/10.1145/3313151.3313168||shape="rect"]]. In //Proceedings of the Workshop on Design Automation for CPS and IoT// (//DESTION '19//). Association for Computing Machinery, New York, NY, USA, 2019
59 59  
60 -(% style="margin-left: 30.0px;" %)
61 -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
62 -
63 -(% style="margin-left: 30.0px;" %)
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 -
66 -(% style="margin-left: 30.0px;" %)
67 -==== **Safety Analysis** ====
68 -
69 -(% style="margin-left: 30.0px;" %)
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.
71 -
72 -(% style="margin-left: 30.0px;" %)
73 -(% 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.
74 -
75 -(% style="margin-left: 30.0px;" %)
76 -(% style="color: rgb(51,51,51);" %)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.
77 -
78 -(% style="margin-left: 30.0px;" %)
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 -
81 81  (% style="color: rgb(23,43,77);" %)
82 82  === Master Recommendations (not yet complete list, more to follow) ===
83 83  
84 84  (% style="margin-left: 30.0px;" %)
85 -==== **Real-Time / Embedded** ====
86 -
87 -(% style="margin-left: 30.0px;" %)
88 88  (% style="color: rgb(0,51,102);" %)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: rgb(0,51,102);" %) Software & Systems Modeling 2019(%%)
89 89  
90 90  
... ... @@ -111,15 +111,6 @@
111 111  
112 112  (% style="margin-left: 30.0px;" %)
113 113  (% 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.
114 -
115 -(% style="margin-left: 30.0px;" %)
116 -==== **Safety Analysis / Testing** ====
117 -
118 -(% style="margin-left: 30.0px;" %)
119 -(% style="color: rgb(0,51,102);" %)Carlos A. González, Mojtaba Varmazyar, Shiva Nejati, Lionel C. Briand, and Yago Isasi. 2018. [[Enabling Model Testing of Cyber-Physical Systems>>url:https://dl.acm.org/citation.cfm?doid=3239372.3239409||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, 176-186.
120 -
121 -(% style="margin-left: 30.0px;" %)
122 -(% style="color: rgb(51,51,51);" %)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: rgb(51,51,51);" %), 2018, pp. 329-336, doi: 10.1109/ISSREW.2018.00026.
123 123  {{/expand}}
124 124  
125 125  == Schedule ==
... ... @@ -134,9 +134,9 @@
134 134  Milestone
135 135  )))
136 136  |(((
137 -Thu., 13.04.2023 09:50
98 +TBA
138 138  )))|(((
139 -First Meeting/**Kick-Off **with a Latex and EasyChair introduction. The meeting will take place in room 11.1114/11.1115 in CAP4.
100 +First Meeting/**Kick-Off **with a Latex and EasyChair introduction. The meeting will take place in room TBA.
140 140  )))
141 141  |(% colspan="1" %)(% colspan="1" %)
142 142  (((
... ... @@ -212,7 +212,7 @@
212 212  )))
213 213  |(% colspan="1" %)(% colspan="1" %)
214 214  (((
215 -Sat., 24.06.2023, all day
176 +TBA
216 216  )))|(% colspan="1" %)(% colspan="1" %)
217 217  (((
218 218  Final presentations
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -142606463
1 +142606438
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/142606463/SS23 (Embedded Real-Time Systems)
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/142606438/SS23 (Embedded Real-Time Systems)

Navigation

Quick Links

KIELER on GitHub
RTSYS Homepage