Summary

• Page properties (4 modified, 0 added, 0 removed)
• Attachments (0 modified, 6 added, 0 removed)
  • agenda_anonym.pdf
  • review1.txt
  • review2.txt
  • review3.txt
  • review4.txt
  • review5.txt
• Objects (1 modified, 0 added, 0 removed)
  • Confluence.Code.ConfluencePageClass[0]

Details

Page properties

Title

...	...	@@ -1,1 +1,1 @@
1		-SS23 (Embedded Real-Time Systems)
	1	+2023 Embedded Real-Time Systems

Parent

...	...	@@ -1,0 +1,1 @@
	1	+Seminars.WebHome

Author

...	...	@@ -1,1 +1,1 @@
1		-XWiki.nre
	1	+XWiki.als

Content

...	...	@@ -10,10 +10,10 @@
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**" (Inf-WissArb: Wissenschaftliches Arbeiten) held by (% style="color: rgb(23,43,77);" %)Prof. Peters.
	13	+We recommend the attendance of the lecture "**Scientific Working**" (Inf-WissArb: Wissenschaftliches Arbeiten) held by (% style="color:#172b4d" %)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 started to prepare this [[sequence of videos>>url:https://www.youtube.com/playlist?list=PLjRqbgPHrKwC3uUQBRzKtnRH1vrNY9ehK||shape="rect"]] that should get the gist across as well.
	16	+(% style="color:#172b4d" %)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 started to prepare this [[sequence of videos>>url:https://www.youtube.com/playlist?list=PLjRqbgPHrKwC3uUQBRzKtnRH1vrNY9ehK||shape="rect"]] that should get the gist across as well.
17	17
18	18	(% style="text-align: left;" %)
19	19	== Lecturers ==
...	...	@@ -26,9 +26,8 @@
26	26	(% style="text-align: left;" %)
27	27	== Topics ==
28	28
29		-{{expand}}
30	30	(% class="bodytext" style="text-align: left;" %)
31		-You may choose from one of the following papers. The scope, complexity and required knowledge for these papers roughly divides them into topics for bachelor students and for master students. However, bachelor students that take great interest in a master students topic may also choose from those.
	30	+You may choose from one of the following papers. The scope, complexity and required knowledge for these papers roughly divides them into topics for bachelor students and for master students. However, bachelor students that take great interest in a master students topic may also choose from those.
32	32
33	33	(% class="bodytext" %)
34	34	The papers are assigned via //first-come-first-serve//. Already taken papers are marked. Please send an email to Niklas ([[nre@informatik.uni-kiel.de>>mailto:nre@informatik.uni-kiel.de||shape="rect"]]) in order to reserve a paper.
...	...	@@ -43,53 +43,53 @@
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.
	45	+(% style="color:#003366" %)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		-(% 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
	48	+(% style="color:#003366" %)**[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
50	50
51	51	(% style="margin-left: 30.0px;" %)
52		-(% style="color: rgb(51, 51, 51); color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)**[assigned] **(% style="color: rgb(51,51,51);" %)Jun Xiao and Andy D. Pimentel. [[CITTA: Cache Interference-aware Task Partitioning for Real-time Multi-core Systems>>url:https://dl.acm.org/doi/abs/10.1145/3372799.3394367||shape="rect"]]. In (%%)//The 21st ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems//(% style="color: rgb(51,51,51);" %) ((%%)//LCTES '20//(% style="color: rgb(51,51,51);" %)). Association for Computing Machinery, New York, NY, USA, 2020
	51	+(% style="color:#003366" %)**[assigned] **(% style="color:#333333" %)Jun Xiao and Andy D. Pimentel. [[CITTA: Cache Interference-aware Task Partitioning for Real-time Multi-core Systems>>url:https://dl.acm.org/doi/abs/10.1145/3372799.3394367||shape="rect"]]. In (%%)//The 21st ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems//(% style="color:#333333" %) ((%%)//LCTES '20//(% style="color:#333333" %)). Association for Computing Machinery, New York, NY, USA, 2020
53	53
54	54	(% style="margin-left: 30.0px;" %)
55		-(% style="color: rgb(51,51,51);" %)Mladen Skelin and Marc Geilen. [[Compositionality in scenario-aware dataflow: a rendezvous perspective>>url:https://dl.acm.org/doi/10.1145/3211332.3211339||shape="rect"]]. In //Proceedings of the 19th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems// (//LCTES 2018//). Association for Computing Machinery, New York, NY, USA, 2018
	54	+(% style="color:#333333" %)Mladen Skelin and Marc Geilen. [[Compositionality in scenario-aware dataflow: a rendezvous perspective>>url:https://dl.acm.org/doi/10.1145/3211332.3211339||shape="rect"]]. In //Proceedings of the 19th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems// (//LCTES 2018//). Association for Computing Machinery, New York, NY, USA, 2018
56	56
57	57	(% style="margin-left: 30.0px;" %)
58		-(% style="letter-spacing: 0px; color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)**[assigned] **(% 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
	57	+(% style="color:#003366; letter-spacing:0px" %)**[assigned] **(% 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	60	(% style="margin-left: 30.0px;" %)
61		-(% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)**[assigned] **(%%)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
	60	+(% style="color:#003366" %)**[assigned] **(%%)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:#333333" %), 2020
62	62
63	63	(% style="margin-left: 30.0px;" %)
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.
	63	+(% style="color:#003366" %)**[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); 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.
	66	+(% style="color:#333333" %)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:#333333" %), 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.
	72	+(% style="color:#003366" %)**[assigned] **(% style="color:#333333" %)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:#222222" %)//2009 Sixth International Conference on Information Technology: New Generations//(% style="color:#333333" %), 2009, pp. 1089-1094, doi: 10.1109/ITNG.2009.183.
74	74
75	75	(% style="margin-left: 30.0px;" %)
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.
	75	+(% style="color:#333333" %)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.
77	77
78	78	(% style="margin-left: 30.0px;" %)
79		-(% 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.
	78	+(% style="color:#333333" %)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.
80	80
81	81	(% style="margin-left: 30.0px;" %)
82		-(% 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)" %)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.
	81	+(% style="color:#003366" %)**[assigned] **(% style="color:#333333" %)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.
83	83
84	84	(% style="margin-left: 30.0px;" %)
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.
	84	+(% style="color:#333333" %)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:#333333; text-align:left" %)//2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops//(% style="color:#333333" %), 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.
	87	+(% style="color:#333333" %)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:#333333; text-align:left" %)//Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future//(% style="color:#333333" %). Vol. 1. IEEE, 2000.
89	89
90	90
91	91	(% style="margin-left: 30.0px;" %)
92		-(% 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. Apvrille and L. W. Li. [[Harmonizing safety, security and performance requirements in embedded systems.>>url:https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=8715124||shape="rect"]]. In (% style="color: rgb(34, 34, 34); color: rgb(51, 51, 51); color: rgb(0, 0, 0); color: rgb(0, 51, 102); text-align: left" %)//2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)//(% style="color: rgb(34, 34, 34); color: rgb(51, 51, 51)" %), pp. 1631-1636. IEEE, 2019.
	91	+(% style="color:#003366" %)**[assigned] **(% style="color:#333333" %)L. Apvrille and L. W. Li. [[Harmonizing safety, security and performance requirements in embedded systems.>>url:https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=8715124||shape="rect"]]. In (% style="color:#003366; text-align:left" %)//2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)//(% style="color:#333333" %), pp. 1631-1636. IEEE, 2019.
93	93
94	94	(% style="color: rgb(23,43,77);" %)
95	95	=== Master Recommendations ===
...	...	@@ -98,45 +98,44 @@
98	98	==== **Real-Time / Embedded** ====
99	99
100	100	(% style="margin-left: 30.0px;" %)
101		-(% 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
	100	+(% style="color:#003366" %)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:#003366" %) Software & Systems Modeling 2019
102	102
103	103	(% style="margin-left: 30.0px;" %)
104		-(% style="color: rgb(0,51,102);" %)Reza Ahmadi, Ernesto Posse, and Juergen Dingel. 2018.[[ Slicing UML-based Models of Real-time Embedded Systems>>url:https://dl.acm.org/citation.cfm?doid=3239372.3239407||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, 346-356.
	103	+(% style="color:#003366" %)Reza Ahmadi, Ernesto Posse, and Juergen Dingel. 2018.[[ Slicing UML-based Models of Real-time Embedded Systems>>url:https://dl.acm.org/citation.cfm?doid=3239372.3239407||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, 346-356.
105	105
106	106	(% style="margin-left: 30.0px;" %)
107		-(% style="color: rgb(0,51,102);" %)Bader Alahmad and Sathish Gopalakrishnan. 2018. [[On Budgeting and Quality, with an Application to Safety-Critical Real-time Systems>>url:https://dl.acm.org/citation.cfm?doid=3273905.3273917||shape="rect"]]. In //Proceedings of the 26th International Conference on Real-Time Networks and Systems// (RTNS '18). ACM, New York, NY, USA, 19-29.
	106	+(% style="color:#003366" %)Bader Alahmad and Sathish Gopalakrishnan. 2018. [[On Budgeting and Quality, with an Application to Safety-Critical Real-time Systems>>url:https://dl.acm.org/citation.cfm?doid=3273905.3273917||shape="rect"]]. In //Proceedings of the 26th International Conference on Real-Time Networks and Systems// (RTNS '18). ACM, New York, NY, USA, 19-29.
108	108
109	109	(% style="margin-left: 30.0px;" %)
110		-(% style="color: rgb(0,51,102);" %)Andreas Sailer, Michael Deubzer, Gerald Lüttgen, and Jürgen Mottok. 2017. [[Comparing trace recordings of automotive real-time software>>url:https://dl.acm.org/citation.cfm?doid=3139258.3139265||shape="rect"]]. In //Proceedings of the 25th International Conference on Real-Time Networks and Systems// (RTNS '17). ACM, New York, NY, USA, 118-127.
	109	+(% style="color:#003366" %)Andreas Sailer, Michael Deubzer, Gerald Lüttgen, and Jürgen Mottok. 2017. [[Comparing trace recordings of automotive real-time software>>url:https://dl.acm.org/citation.cfm?doid=3139258.3139265||shape="rect"]]. In //Proceedings of the 25th International Conference on Real-Time Networks and Systems// (RTNS '17). ACM, New York, NY, USA, 118-127.
111	111
112	112	(% style="margin-left: 30.0px;" %)
113		-(% style="color: rgb(0,51,102);" %)Tobias Sehnke, Dieter Schwarzmann, Matthias Schultalbers, and Rolf Ernst. 2017. [[Temporal properties in automotive control software>>url:https://dl.acm.org/citation.cfm?doid=3139258.3139279||shape="rect"]]. In //Proceedings of the 25th International Conference on Real-Time Networks and Systems// (RTNS '17). ACM, New York, NY, USA, 98-107.
	112	+(% style="color:#003366" %)Tobias Sehnke, Dieter Schwarzmann, Matthias Schultalbers, and Rolf Ernst. 2017. [[Temporal properties in automotive control software>>url:https://dl.acm.org/citation.cfm?doid=3139258.3139279||shape="rect"]]. In //Proceedings of the 25th International Conference on Real-Time Networks and Systems// (RTNS '17). ACM, New York, NY, USA, 98-107.
114	114
115	115	(% style="margin-left: 30.0px;" %)
116		-(% style="color: rgb(0,51,102);" %)Tobias Klaus, Florian Franzmann, Matthias Becker, and Peter Ulbrich. 2018. [[Data Propagation Delay Constraints in Multi-Rate Systems: Deadlines vs. Job-Level Dependencies>>url:https://dl.acm.org/citation.cfm?doid=3273905.3273923||shape="rect"]]. In //Proceedings of the 26th International Conference on Real-Time Networks and Systems// (RTNS '18). ACM, New York, NY, USA, 93-103.
	115	+(% style="color:#003366" %)Tobias Klaus, Florian Franzmann, Matthias Becker, and Peter Ulbrich. 2018. [[Data Propagation Delay Constraints in Multi-Rate Systems: Deadlines vs. Job-Level Dependencies>>url:https://dl.acm.org/citation.cfm?doid=3273905.3273923||shape="rect"]]. In //Proceedings of the 26th International Conference on Real-Time Networks and Systems// (RTNS '18). ACM, New York, NY, USA, 93-103.
117	117
118	118	(% style="margin-left: 30.0px;" %)
119		-(% style="color: rgb(0, 51, 102); color: rgb(0, 0, 0)" %)**[assigned] **(% 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.
	118	+(% style="color:#000000" %)**[assigned] **(% style="color:#003366" %)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.
120	120
121	121	(% style="margin-left: 30.0px;" %)
122		-(% 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.
	121	+(% style="color:#003366" %)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.
123	123
124	124	(% style="margin-left: 30.0px;" %)
125		-(% style="color: rgb(0, 51, 102); color: rgb(51, 51, 51); color: rgb(34, 34, 34); color: rgb(0, 0, 0)" %)**[assigned] **(% style="color: rgb(0, 51, 102); color: rgb(51, 51, 51)" %)Amrani, M., Blouin, D., Heinrich, R. (% style="color: rgb(0,51,102);" %)//et al.//(% style="color: rgb(0, 51, 102); color: rgb(51, 51, 51)" %) [[Multi-paradigm modelling for cyber–physical systems: a descriptive framework.>>url:https://link.springer.com/article/10.1007/s10270-021-00876-z||shape="rect"]] (% style="color: rgb(0,51,102);" %)//Softw Syst Model//(% style="color: rgb(0, 51, 102); color: rgb(51, 51, 51)" %) (% style="color: rgb(0,51,102);" %)**20**(% style="color: rgb(0, 51, 102); color: rgb(51, 51, 51)" %), 611–639 (2021). [[https:~~/~~/doi.org/10.1007/s10270-021-00876-z>>url:https://doi.org/10.1007/s10270-021-00876-z||shape="rect"]]
	124	+(% style="color:#333333" %)Amrani, M., Blouin, D., Heinrich, R. (% style="color:#003366" %)//et al.//(% style="color:#333333" %) [[Multi-paradigm modelling for cyber–physical systems: a descriptive framework.>>url:https://link.springer.com/article/10.1007/s10270-021-00876-z||shape="rect"]] (% style="color:#003366" %)//Softw Syst Model//(% style="color:#333333" %) (% style="color:#003366" %)**20**(% style="color:#333333" %), 611–639 (2021). [[https:~~/~~/doi.org/10.1007/s10270-021-00876-z>>url:https://doi.org/10.1007/s10270-021-00876-z||shape="rect"]]
126	126
127	127	(% style="margin-left: 30.0px;" %)
128	128	==== **Safety Analysis / Testing** ====
129	129
130	130	(% style="margin-left: 30.0px;" %)
131		-(% 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.
	130	+(% style="color:#003366" %)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.
132	132
133	133	(% style="margin-left: 30.0px;" %)
134		-(% 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.
135		-{{/expand}}
	133	+(% style="color:#333333" %)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:#333333" %), 2018, pp. 329-336, doi: 10.1109/ISSREW.2018.00026.
136	136
	135	+
137	137	== Schedule ==
138	138
139		-{{expand}}
140	140	Note: The dates are not final yet, to be discussed during the kickoff meeting.
141	141
142	142	(% class="fixed-table wrapped" %)
...	...	@@ -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
	165	+(% style="color:#172b4d" %)In the week after above (02.05.-05.05.), 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
	179	+(% style="color:#172b4d" %)In the week after above (22.05.-26.05.), individual dates
182	182	)))|(% colspan="1" %)(% colspan="1" %)
183	183	(((
184	184	Individual feedback dates.
...	...	@@ -195,8 +195,7 @@
195	195	subsequently
196	196	)))|(% colspan="1" %)(% colspan="1" %)
197	197	(((
198		-Review assignment (via email)**
199		-**
	196	+Review assignment (via email)
200	200	)))
201	201	|(% colspan="1" %)(% colspan="1" %)
202	202	(((
...	...	@@ -203,8 +203,7 @@
203	203	Thu., 01.06.2023 23:59
204	204	)))|(% colspan="1" %)(% colspan="1" %)
205	205	(((
206		-Deadline reviews (in [[EasyChair>>url:https://easychair.org/conferences/?conf=kielrtsyssem23ss||shape="rect"]])**
207		-**
	203	+Deadline reviews (in [[EasyChair>>url:https://easychair.org/conferences/?conf=kielrtsyssem23ss||shape="rect"]])
208	208	)))
209	209	|(% colspan="1" %)(% colspan="1" %)
210	210	(((
...	...	@@ -230,15 +230,17 @@
230	230	Final presentations
231	231	)))
232	232
233		-(% style="color: rgb(23,43,77);" %)
234	234	== The Final Presentations ==
235	235
236		-The presentation of the prepared topic is held during a block seminar. The attendance at the seminar day is mandatory. Every attending person receives the proceedings of the current semester.
237		-{{/expand}}
	231	+The presentation of the prepared topic is held during a block seminar at CAP4 R. 1304a. The attendance at the seminar day is mandatory. Every attending person receives the proceedings of the current semester.
238	238
	233	+=== Agenda ===
	234	+
	235	+**[[Hier>>url:https://rtsys.informatik.uni-kiel.de/confluence/download/attachments/142606434/agenda_anonym.pdf?version=1&modificationDate=1687274700000&api=v2||shape="rect"]]** die Agenda als PDF
	236	+
	237	+
239	239	== Milestones and Grading ==
240	240
241		-{{expand}}
242	242	(% style="margin-top: 30.0px;color: rgb(23,43,77);" %)
243	243	== Papers, Talks, Review ==
244	244
...	...	@@ -247,7 +247,7 @@
247	247	(% style="color: rgb(23,43,77);" %)
248	248	=== Paper ===
249	249
250		-The paper should provide an overview of the chosen topic. It should be written in a style that late bachelor student can understand it. The paper should be 6 (master) or 4 (bachelor) pages long (including bibliography), not more not less, and it should use the ACM LaTeX-style (more details below). We advise you to read the [[writing advice>>doc:RTSYS.Writing and Grading Theses||shape="rect"]] for writing a thesis. You can write your paper either in English or German.
	248	+The paper should provide an overview of the chosen topic. It should be written in a style that late bachelor student can understand it. The paper should be 6 (master) or 4 (bachelor) pages long (including bibliography), not more not less, and it should use the ACM LaTeX-style (more details below). We advise you to read the [[writing advice>>doc:Theses.Writing and Grading Theses.WebHome||shape="rect"]] for writing a thesis. You can write your paper either in English or German.
251	251
252	252	(% style="color: rgb(23,43,77);" %)
253	253	=== Talk ===
...	...	@@ -280,15 +280,13 @@
280	280	== Grades ==
281	281
282	282	This seminar is graded. The grade is based on each milestone (the different versions of the paper, the reviews, the slides, the talk). For each milestone quality, timing (see dates) are graded. Missed deadline may cause you to fail the seminar.
283		-{{/expand}}
284	284
285	285	== Technical Details ==
286	286
287		-{{expand}}
288	288	(% style="margin-top: 30.0px;color: rgb(23,43,77);" %)
289	289	=== LaTeX ===
290	290
291		-Your papers should be created with LaTeX and have to be in the provided ACM style. You can find all necessary files in this [[archive>>attach:SS20 (Layout)@paper-template.zip]], including an example document that includes helpful LaTeX-hints to start with. Copy all files in some folder and begin to write your paper. The style is an adjusted version of the official ACM style. Please use the style provided here and not the official one.
	287	+Your papers should be created with LaTeX and have to be in the provided ACM style. You can find all necessary files in this [[zip archive>>https://cloud.rz.uni-kiel.de/index.php/s/PpmFxJtxYqF2GaX]], including an example document that includes helpful LaTeX-hints to start with. Copy all files in some folder and begin to write your paper. The style is an adjusted version of the official ACM style. Please use the style provided here and not the official one.
292	292
293	293	LaTeX can create a bibliography (it includes scientific publications, which are referenced to prove statements) too. The example includes a file named {{code language="none"}}myrefs.bib{{/code}}, which holds the references. ACM provides a short overview with [[examples>>url:https://www.acm.org/publications/authors/bibtex-formatting||shape="rect"]] of bibliography entries.
294	294
...	...	@@ -297,7 +297,7 @@
297	297	* (((
298	298	Think about whether you want to write your paper in German or English and make use to use the corresponding ACM-style.
299	299
300		-\\
	296	+
301	301	)))
302	302	* If you use graphics from your original paper, you should not just add a screenshot of the pdf your paper. Try to use the image from the original paper by exporting them, including the pdf directly ({{code language="none"}}\inlcudegraphics[page=... trim=...]{*.pdf}{{/code}}), or by recreating the image by yourself (ideally as a vector graphic). This way you should get a result that is not pixelated or at least not worse than the original.
303	303	* A paper always consists of an introduction, at least one main chapter, and a conclusion.
...	...	@@ -307,18 +307,10 @@
307	307
308	308	You can find our seminar in EasyChair: **[[Link>>url:https://easychair.org/conferences/?conf=kielrtsyssem23ss||shape="rect"]]**
309	309
310		-{{expand title="Klicke hier zum ausklappen..."}}
311		-\\
312	312
313		-[[doc:RTSYS.EasyChair Student Tutorial]]
	307	+=== (% style="font-size:20.0px; font-weight:normal; letter-spacing:-0.008em" %)Resources(%%) ===
314	314
315		-{{include/}}
316		-{{/expand}}
317		-{{/expand}}
318	318
319		-=== (% style="font-size: 20.0px;font-weight: normal;letter-spacing: -0.008em;" %)Resources(%%) ===
320		-
321		-{{expand}}
322	322	(% style="margin-top: 10.0px;" %)
323	323	In general, it is advised to look for related work in the university network since you will get access to many online libraries. We the following search engines and web pages:
324	324
...	...	@@ -328,4 +328,3 @@
328	328	* IEEE-Xplore: [[http:~~/~~/ieeexplore.ieee.org/Xplore/dynhome.jsp>>url:http://ieeexplore.ieee.org/Xplore/dynhome.jsp||shape="rect" class="external-link"]]
329	329	* ACM Digital Library: [[http:~~/~~/portal.acm.org/dl.cfm>>url:http://portal.acm.org/dl.cfm||shape="rect" class="external-link"]]
330	330	* Universitätsbibliothek Digitale Medien: [[http:~~/~~/www.uni-kiel.de/ub/emedien/index.html>>url:http://www.uni-kiel.de/ub/emedien/index.html||shape="rect"]]
331		-{{/expand}}

agenda_anonym.pdf

Author

...	...	@@ -1,0 +1,1 @@
	1	+XWiki.XWikiGuest

Size

...	...	@@ -1,0 +1,1 @@
	1	+46.3 KB

Content

review1.txt

Author

...	...	@@ -1,0 +1,1 @@
	1	+XWiki.XWikiGuest

Size

...	...	@@ -1,0 +1,1 @@
	1	+2.6 KB

Content

...	...	@@ -1,0 +1,27 @@
	1	+=== GENERAL EVALUATION ============================
	2	+
	3	+Das Paper ist gut strukturiert und bietet eine schöne Einführung in das Thema. Allerdings werden einige Begriffe nicht eingeführt, beispielsweise "mental map", "edge routing", "tiling","hierarchical graph". Der Algorithmus auf dem GraphMaps aufbaut, ist verständlich erklärt, allerdings ist der Pseudocode nicht gut formatiert. Einrückungen in for-Schleifen und in if-Statements sollten hinzugefügt werden. Die Vergleiche mit anderen Ansätzen sind gelungen, besonders gut finde ich, dass ein Ansatz vorgestellt wird, der auf GraphMaps aufbaut. Allerdings wird nicht deutlich welche Vergleiche auch im Original-Paper vorgenommen werden und welche nicht. Die Zusammenfassung fasst das Wichtigste zusammen und gibt einen guten Ausblick, was noch gemacht werden könnte.
	4	+Insgesamt wird das Ziel und die Funktionsweise von GraphMaps klar, wobei aber Manches noch näher erläutert werden könnte. Des Weiteren fehlt ab und zu die Matheumgebung.
	5	+
	6	+
	7	+=== DETAILED COMMENTS ============================
	8	+
	9	+Kapitel 2, Abs. 1: Wieso brauchen Kanten und Knoten ein "specific zoom level", wenn sie einem Layer zugeordnet sind? Hinweis darauf, dass das "zoom level" benötigt wird, um das Layer zu bestimmen, wäre schön. Oder eine Einführung des Begriffs, bevor er benutzt wird.
	10	+
	11	+Kapitel 3.1, Abs. 2: Mir wird nicht klar, was eine "rail" ist. Es sollte noch verständlicher formuliert oder ein Beispiel(-bild) hinzugefügt werden. (Welche Kanten werden zu einer "rail" zusammengefasst?)
	12	+
	13	+Kapitel 3.1, Abs. 3: Die Anzahl der Tiles in die Layer L_0 unterteilt wird, könnte noch angegeben werden.
	14	+
	15	+Kapitel 3.1, Abs. 4: In der Erklärung wird k erläutert, das kommt in der Gleichung aber nicht vor. Vermutlich ist l gemeint.
	16	+
	17	+Kapitel 3.2, Abs. 4: Es ist die Rede davon, dass Kantengewichte reduziert werden, allerdings wird vorher nie erwähnt, dass die Kanten Gewichte haben.
	18	+
	19	+Kapitel 4, Abs. 3: Wenn eine "rail" ausgewählt wird, wird die wichtigste Kante darin hervorgehoben, allerdings wird nie gesagt, wie die Wichtigkeit von Kanten definiert ist.
	20	+
	21	+Kapitel 5, Abs. 2: Es wird gesagt, dass die Labels nicht das Ranking berücksichtigen. Dabei stellt sich mir die Frage welches Ranking gemeint ist (vermutlich das Ranking der Knoten) und wie das im Label berücksichtigt werden soll.
	22	+
	23	+Kapitel 6: Überschrift ragt über die Spalte hinaus.
	24	+
	25	+Kapitel 6.1, Abs. 3: Es wird nicht gesagt, wer das Ergebnis von GraphMaps bewertet hat. Es wäre schön zu wissen, ob mehrere Personen Ergebnisse bewerten sollten oder nur eine Person sich ein Ergebnis angeguckt hat.
	26	+
	27	+Matheumgebung vergessen: Kap. 3.1, Abs.3 ("t"); Kap. 3.1, Abs. 4 ("r","k"); Kap.4, Abs. 1 ("G")

review2.txt

Author

...	...	@@ -1,0 +1,1 @@
	1	+XWiki.XWikiGuest

Size

...	...	@@ -1,0 +1,1 @@
	1	+5.5 KB

Content

...	...	@@ -1,0 +1,106 @@
	1	+=== GENERAL EVALUATION ============================
	2	+
	3	+Soweit gefällt mir dein Layout, da die Absätze angemessen groß sind und es sich dadurch gut liest und die Formatierung gut aussieht. Deine Struktur ergibt Sinn und unterstützt deinen Text. Des Weiteren finde ich deine Seminarausarbeitung sowohl sprachlich als auch inhaltlich gut verständlich und du erklärst alles, was du verwendest. Insbesondere die Zusammenfassung der Ergebnisse aus den Interviews bzw. Papern in 4. und 5. gefällt mir.
	4	+
	5	+Auf Basis des Feedbacks, das ich von [meinem Betreuer] bekommen habe, solltest du deinen Abstract nochmal überarbeiten: Mir wurde gesagt, dass wir unsere Paper nicht im Abstract benennen sollen. Dein Abstract liest sich mehr wie eine Minizusammenfassung der Paper, über die du schreibst, als ein Abstract über dein Paper. Stattdessen könntest du schreiben, dass du auswertest, wie Professionals, akademische Leute und UML-Leute UML sehen, benutzen und wie sie die Ergebnisse kommentiert haben, als man sie ihnen präsentiert hat. Dazu solltest du die Ergebnisse deines Papers anschneiden. Die Paper, über die du dann schreibst, führst du dann genauso wie derzeit einfach in deiner Introduction ein :).
	6	+
	7	+ Floskeln wie “this term paper” musst du nicht schreiben, das ist quasi redundant. Leider ist Abstract-Verfassen nicht ganz einfach, ich gehe davon aus, dass meiner auch noch nicht ganz richtig ist.
	8	+
	9	+Gefühlt referenzierst du ein bisschen wenig auf die beiden Paper, mit denen du dich in deiner Seminarausarbeitung beschäftigst. Hier und da, wo direkt Ergebnisse aus ihnen entnimmst, würde ich den Text noch mit Referenzen dahin ausstatten - einfach, um sicherzugehen.
	10	+
	11	+
	12	+=== DETAILED COMMENTS ============================
	13	+
	14	+But als Satzanfang ist grenzwertig, würde ich selten benutzen.
	15	+
	16	+And als Satzanfang solltest du nicht benutzen.
	17	+
	18	+
	19	+
	20	+Introduction:
	21	+
	22	+Z.9 f. ‘the simple question’ - simple würde ich wegnehmen, ist eine Spur zu wertend
	23	+
	24	+Absatz 3 Z.2 “It also contains” <- Tippfehler
	25	+
	26	+Absatz 3 Z.5 Mehrere Tippfehler: “from different communites on the collected data”
	27	+
	28	+Absatz 3 Z.9 sums up statt summs up
	29	+
	30	+
	31	+
	32	+Results of the interviews
	33	+
	34	+Absatz zu Retrofit UML:
	35	+
	36	+“So the design is developed” ist sauberer als gets developed
	37	+
	38	+Absatz zu selective use:
	39	+
	40	+Fehlt da in der Überschrift das “use”? Ein Nomen für interviewte Leute ist interviewees - passt vlt besser als the interviewed.
	41	+
	42	+
	43	+
	44	+Selective Use in Detail:
	45	+
	46	+Absatz 6: elicitation einmal vertippt
	47	+
	48	+“Different diagrams are not used for the same
	49	+task but all tasks they are used for are part of early design
	50	+stages” der zweite Teil des Satzes liest sich etwas hackelig, da scheint ein Relativpronomen zu fehlen.
	51	+
	52	+Professional Developers Absatz 2: Alternativer Satzvorschlag für den ersten Satz - Another answer was that the decision to not use UML is legitimized by these results. Das wäre weniger umständlich und nimmt das “that was given is” raus.
	53	+
	54	+Gleicher Absatz, zweiter Satz: “[...] that the exchange about the work flow between
	55	+different companies is not that much.” is not that much ist unschöner Ausdruck - alternativ “that there is no significant exchange about the work flow between different companies”
	56	+
	57	+Professional Developers Absatz 2 Z.10: “They acknowledged that UML can be + as a ”thought tool” beim + fehlt ein Verb
	58	+
	59	+Professional Developers Absatz 2 Z.12 “In fact, the UML is a good tool for modelling purposes” Komma hinter in fact fehlt
	60	+
	61	+Z.15: “that influences the way we think about modelling rather” Gefühlt passt “we” hier nicht so gut, es neutraler auszudrücken wäre vielleicht besser. Alternativ ginge dann: ... the way one thinks about ...
	62	+
	63	+
	64	+
	65	+Academic Community:
	66	+
	67	+Absatz 2 erster Satz: “On the other hand” ist doppelt durch einen Flüchtigkeitsfehler
	68	+
	69	+Absatz 2 Z. 5: Tippfehler bei “taught”
	70	+
	71	+Discussion Z.1 : Es sollte “academic community” sein Tippfehler: Academic ist groß im Text
	72	+
	73	+Z.4 “should not be taken too seriously” <- serious ist zumindest im britischen Englisch nur ein Adjektiv, daher sollte es hier seriously sein
	74	+
	75	+Z.9 ff. “On the other hand it was stated that the interviews and
	76	+the connected research are really important since they show
	77	+that UML is not used as expected.” - Die Verben müssen hier im Plural sein
	78	+
	79	+Letzter Satz des Absatzes: “The
	80	+quote from G. Wilson sums up the discussion about the sci-
	81	+entific relevance pretty accurately” accurately bezieht sich auf “sums up” und muss damit ein Adverb sein.
	82	+
	83	+
	84	+
	85	+Conclusion about UML:
	86	+
	87	+Erster Satz: Es müsste Plural in diesem Satz sein statt Singular. “the results and the ongoing discussion are still important, because they show”
	88	+
	89	+1. Aufzählungspunkt - letzter Satz: “ Only keep in mind” - das liest sich so, als würdest du den Leser/die Leserin direkt ansprechen, das wirkt etwas unpassend für eine Seminarausarbeitung
	90	+
	91	+Drittletzter Absatz des Abschnitts: “Summing up a part of UML really good is a quote from
	92	+Martin Nadele:” <- Satzbauproblem, daher nicht so verständlich.
	93	+
	94	+Zweitletzter Absatz des Abschnitts: “Because our grammar is based on the Latin grammar and
	95	+every time we are speaking in we use some of the concepts
	96	+from Latin.” Satzbauproblem, daher nicht so verständlich.
	97	+
	98	+
	99	+
	100	+Summary and Outlook:
	101	+
	102	+1. Absatz 1. Z: Tippfehler bei develop
	103	+
	104	+Im 3. Absatz in Zeile 1 sprichst du von “we aquired data” - da du nur ein Autor bist, klingt das etwas merkwürdig.
	105	+
	106	+Weiterhin statt die verschiedenen Ansätze, die du erarbeitet hast, mit could abzugrenzen, würde ich sie alle einzeln neutral präsentieren. could/would klingen etwas unkonkret.

review3.txt

Author

...	...	@@ -1,0 +1,1 @@
	1	+XWiki.XWikiGuest

Size

...	...	@@ -1,0 +1,1 @@
	1	+1.7 KB

Content

...	...	@@ -1,0 +1,38 @@
	1	+=== GENERAL EVALUATION ============================
	2	+
	3	+Als ein Studierender, der GraphDrawing nicht gehört hat fehlt es einem Leider an sehr
	4	+vielen Begriffen, die benutzt aber nicht eingeführt werden. Auch ist oft nicht klar, ob
	5	+ein Begriff vorausgesetzt wird oder noch im folgenden Text erklärt wird.
	6	+An einigen Stellen folgt die Erklärung eines Begriffes erst einige Zeilen später.
	7	+(pan operation) , mental map, edge routing, edge bundling, hierarchical graph, rectangular
	8	+partitioning & vorionie partitioning,
	9	+Manchmal sind da direkte Referenzen dran, bei denen das ganze Paper den Begriff
	10	+erklärt. Trotzdem könnte man das kurz umreißen.
	11	+Mutliscaling filtering and tiling ; Force Directed Layout
	12	+Die Überschriften und auch das Codebeispiel stören das Layout der beiden Spalten.
	13	+Überschriften für Sektionen sollten einzeilig sein.
	14	+Die Struktur des Absatzes, in dem die Inhalte der einzelnen Kapitel beschrieben werden
	15	+ist zu sehr wie ein Fließtext. Es sollte dem Lesenden einfach fallen die Inhalte der
	16	+einzelnen Kapitel auf einen Blick zu sehen.
	17	+
	18	+
	19	+=== DETAILED COMMENTS ============================
	20	+
	21	+Intro:
	22	+"In it subsection 3.1 introduces" klingt unrund.
	23	+Design Philosophy:
	24	+(pan operation ist ein eher unbekanntes Wort)
	25	+"mental map" wird nicht eingefuhrt.
	26	+Layer Processing:
	27	+"edge routing" nicht eingefuhrt.
	28	+Pseudo Code geht uber den Rand des Blocks hinaus.
	29	+Layer Usage While Visualizing:
	30	+Überschrift zu lang.
	31	+Formeln innerhalb des Textes teilweise zu hoch. Lieber in eigene Blöcke.
	32	+Results and Findings out of Experiments:
	33	+Zu lange Überschrift.
	34	+Comparison to Related Solutions:
	35	+Überschrift zu lang.
	36	+"edge bundling" nicht erklärt.
	37	+"hierarchical graph" nicht erklärt.
	38	+"Rectangular partitioning und Voronoi partitioning" nicht erklärt.

review4.txt

Author

...	...	@@ -1,0 +1,1 @@
	1	+XWiki.XWikiGuest

Size

...	...	@@ -1,0 +1,1 @@
	1	+5.1 KB

Content

...	...	@@ -1,0 +1,98 @@
	1	+=== GENERAL EVALUATION ============================
	2	+
	3	+Alles in allem empfinde ich dein Paper als sehr gut verständlich, lesbar und der Textfluss ist gut zu verfolgen. Weiterhin sieht das Layout gut aus und du hast eine angemessene Zahl an Absätzen gemacht, die den Lesenden das Verfolgen des Texts erleichtern. Darüber hinaus verwendest du deine Bilder, Gleichungen und Tabellen sinnvoll und bindest sie angemessen in deinen Fließtext ein. Die Struktur folgt den Richtlinien, die im Zusatzmaterial gelistet sind und erscheint im Allgemeinen sinnvoll. Dein Abstract ist meiner Meinung nach in Ordnung.
	4	+
	5	+Du erklärst die Thematik auf eine Weise, so dass sie leicht verständlich ist und erläuterst alle ihre Bestandteile gute.
	6	+
	7	+Es finden sich zwar Rechtschreib- und Ausdrucksfehler bisher im Text, aber diese sind meist gleichartig und behindern den Lesefluss nur unwesentlich.
	8	+
	9	+
	10	+=== DETAILED COMMENTS ============================
	11	+
	12	+Häufiger Fehler: Wenn man einen Satz mit einem Adverb oder so einem anderen Konnektor einleitet, dann trennt man diesen meist vom Satz mit einem Komma ab. Thereby,... On the Contrary,... Additionally,....
	13	+
	14	+Abstract - Zeile 5: “which is explained in this term
	15	+paper” kannst du streichen, da es klar ist, dass du das in deinem Paper hast, wenn du es im Abstract erwähnst :).
	16	+
	17	+Introduction:
	18	+
	19	+Z.9 “in order to create an usable ..”
	20	+
	21	+Z.25/26 Das Einleitungswort sollte ein Adverb sein kein Adjektiv: “Conclusively, this paper...”
	22	+
	23	+3-STAGE FILTERING SYSTEM
	24	+
	25	+Z.7/Z.8 4 “... fast objects and about 8 slow objects can be tracked at the same time.“ Für ein besseres Verständnis wäre es gut, wenn du “can be tracked by a person at the same time” schreiben würdest. Dann ist es klar, dass das auf Menschen abzielt.
	26	+
	27	+Z.10 “a predictable, reproducible, and understandable system” Oxford Comma: Im Englisch setzt man bei Aufzählungen auch vor dem and ein Komma
	28	+
	29	+Z.34 “a City Label, a Point of Interest” Komma vergessen
	30	+
	31	+Z.35/36 “A label falling in one of the former two categories
	32	+describes a point feature and therefore has a fixed position” nicht have sondern has, da label singular ist.
	33	+
	34	+Evaluators
	35	+
	36	+Z.1/2: “which criteria should be used”
	37	+
	38	+In dem gleichen Absatz und in dem Absatz danach verwendest du mehrfach Simple Past, solltest aber Present verwenden, da du die Ergebnisse bzw. Erkenntnisse der Autoren wiedergibst, die nach wie vor gelten.
	39	+
	40	+Erklärung zum road length evaluator: Ich würde den ersten Satz zu “This is a road-only eval-
	41	+uator. ” ändern. Seine bisherige Variante wirkt unpassend für ein wissenschaftliches Seminar-Paper.
	42	+
	43	+
	44	+
	45	+Erklärungstext zu Table 1: “Two example configurations” Tippfehler, da fehlte das Plural-S.
	46	+
	47	+Label Selection: Z.4 “is normalized” statt “gets normalized” wirkt “richtiger”
	48	+
	49	+
	50	+
	51	+Bei der Liste zu den Regeln: Ich denke, da kannst du die “It”s wegglassen. Dann liest man quasi den dick gedruckten Bezeichner schon als Teil des Satzes. Das wirkt natürlicher und liest sich besser.
	52	+
	53	+Bei Special Labels: Du solltest die Modes entweder alle konsequent groß oder konsequent kleinschreiben. (Bezieht sich auf “and the current road if the route mode is
	54	+used.“)
	55	+
	56	+Road Labels Z.8 “If the label’s position
	57	+is not constant the distance varies”
	58	+
	59	+Entweder ist hier das s an label rangerutscht und es fehlte ein Hochkomma, dann muss es varies statt vary heißen oder das soll hier Plural sein, dann muss der Satz angepasst werden.
	60	+
	61	+Normalization:
	62	+
	63	+Z.2 “each score
	64	+for a certain label and evaluator has to be normalized and
	65	+weighted” has statt have, da es hier Singular ist.
	66	+
	67	+Z.4 ff. “ The
	68	+normalization of the score for a certain label and evaluator
	69	+is done by dividing the score by the maximum score over all
	70	+labels for that evaluator.”
	71	+
	72	+Ein wenig umständlich formuliert: Besser “The score for a certain label and evaluator is normalized by dividing ...”
	73	+
	74	+Z.9 “the score for a label
	75	+i is calculated as follows” as follows ist besser
	76	+
	77	+Z.15 “So given the weight w k for each eval-
	78	+uator k and number of segments n the candidate score for a
	79	+segment i is calculated the same as the score for a label”
	80	+
	81	+Liest sich am Anfang und gegen Ende komisch, Verbesserungsvorschlag:
	82	+
	83	+“Consequently, [...] is calculated in the same way as the score for a label.“
	84	+
	85	+
	86	+
	87	+Im Results-Section: Vielleicht solltest du dazu setzen, was genau du mit Queries meinst. Anfragen an eine Datenbank? Abrufen von Dateien von einer Festplatte? Das ist da nicht ganz klar.
	88	+
	89	+Z.13 ff. “in Information
	90	+Mode, less calculation has to be done which leads to better performance” Modes alle konsequent groß oder klein - s fehlt bei leads - better passt besser zu performance als fast - alternativ shorter runtime
	91	+
	92	+Im Result-Block: Bei der durchgeführten Studie springst du zwischen Past und Present. Da die Studie in der Vergangenheit durchgeführt wurde, ist durchgehend Past zu nutzen sicher okay, hin und her zu springen aber eher nicht.
	93	+
	94	+Summary:
	95	+
	96	+Z.9 “can be adjusted at runtime.” falscher Modus beim Verb
	97	+
	98	+Letzter Absatz: Es wäre besser, wenn du versuchen würdest, “would”, “could” bei der Future Work zu vermeiden. Das klänge besser und wäre konkreter.

review5.txt

Author

...	...	@@ -1,0 +1,1 @@
	1	+XWiki.XWikiGuest

Size

...	...	@@ -1,0 +1,1 @@
	1	+2.1 KB

Content

...	...	@@ -1,0 +1,28 @@
	1	+=== GENERAL EVALUATION ============================
	2	+
	3	+Im Abstract fehlt das Ergebnis des Papers. Außerdem sollte auf Referenzen in diesem Kapitel verzichtet werden. Das Introduction Kapitel bietet keine Einführung in das Thema, sondern schildert das Experiment, das durchgeführt wurde. Dies würde eher in das Kapitel Experiment passen. Im nächsten Kapitel hingegen wird eine schöne Einführung in das Thema gegeben. Es wäre daher sinnvoll, den Inhalt des zweiten Kapitels in der Introduction zu schreiben. Der weitere Hauptteil ist verständlich geschrieben und sinnvoll gegliedert. In der Zusammenfassung allerdings werden im zweiten Absatz noch neue Informationen aufgeführt. Diese hätten eher in das Kapitel Result gepasst, da in der Zusammenfassung nur das Wichtigste wiederholt werden sollte. Des Weiteren wird das Experiment gar nicht erwähnt, das jedoch grundlegend für die Ergebnisse ist.
	4	+Insgesamt ist das Paper verständlich. Jedoch würde eine Umstrukturierung der Lesbarkeit helfen.
	5	+
	6	+
	7	+=== DETAILED COMMENTS ============================
	8	+
	9	+Kapitel 1: Im zweiten Absatz steht, dass die Länge des kürzesten Pfades bestimmt werden soll, während im vierten Absatz nur vom Finden des kürzesten Pfadest geredet wird. Erst im weiteren Verlauf des Papers wird klar, welche Version stimmt.
	10	+
	11	+Kapitel 1, Abs. 3: "During the run of the experiment". Besser: During the experiment.
	12	+
	13	+Kapitel 1, Abs. 3: "simulated spring forces" wird nicht erklärt.
	14	+
	15	+Kapitel 1, Abs. 4: "...by the time needed to finding of the shortest path...". Besser: ... needed to find the shortest...
	16	+
	17	+Kapitel 2.1: Als ästhetisches Prinzip wird Maximierung des kleinsten Winkels angegeben. Es ist allerdings unklar, welche Winkel gemeint sind. Dies sollte erklärt werden.
	18	+
	19	+Kapitel 3.2, Abs. 2: Referenz fehlt: "??"
	20	+
	21	+Kapitel 4.3: "trc" wird als Abkürzung benutzt. Ich vermute jedoch das es "tcr" sein soll.
	22	+
	23	+Kapitel 5.2, Abs. 2: "stepwise multiple regression" wird nicht erklärt.
	24	+
	25	+nach "therefore" kommt ein Komma (Bsp: Kapitel 3.2, Abs.3)
	26	+
	27	+achte auf die Zeitform (Bsp: Kapitel 3. "The purpose of this research is to examine...")
	28	+

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-154468353
	1	+142606434

URL

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