Summary

• Page properties (1 modified, 0 added, 0 removed)
• Objects (1 modified, 0 added, 0 removed)
  • Confluence.Code.ConfluencePageClass[0]

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,13 +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)" %)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.
83		-
84		-(% style="margin-left: 30.0px;" %)
85		-(% 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.
86		-
87		-
88	88	(% style="color: rgb(23,43,77);" %)
89	89	=== Master Recommendations (not yet complete list, more to follow) ===
90	90
...	...	@@ -147,7 +147,7 @@
147	147	)))
148	148	|(% colspan="1" %)(% colspan="1" %)
149	149	(((
150		-Thu., 13.04.2023 23:59
	140	+TBA
151	151	)))|(% colspan="1" %)(% colspan="1" %)
152	152	(((
153	153	Deadline for topic selection (via email to Niklas)

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-142606471
	1	+142606453

URL

...	...	@@ -1,1 +1,1 @@
1		-https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/142606471/SS23 (Embedded Real-Time Systems)
	1	+https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/142606453/SS23 (Embedded Real-Time Systems)