Changes for page 2023 Embedded Real-Time Systems

Last modified by Alexander Schulz-Rosengarten on 2025/01/30 12:01

From version < 35.1 >

edited by Jette Petzold
on 2023/06/12 11:47

To version < 44.1 >

edited by Alexander Schulz-Rosengarten
on 2025/01/30 12:01

Change comment: Renamed from xwiki:Seminars.SS23 (Embedded Real-Time Systems).WebHome

Raw
Rendered

Summary

Page properties (4 modified, 0 added, 0 removed)
Attachments (0 modified, 6 added, 0 removed)
Objects (1 modified, 0 added, 0 removed)
- Confluence.Code.ConfluencePageClass[0]

Details

Page properties

Title

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

Parent

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

Author

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

Content

@@ -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.
  (% style="text-align: left;" %)
--We recommend the attendance of the lecture "**Scientific Working**" (Inf-WissArb: Wissenschaftliches Arbeiten) held by (% style="color: rgb(23,43,77);" %)Prof. Peters.
++We recommend the attendance of the lecture "**Scientific Working**" (Inf-WissArb: Wissenschaftliches Arbeiten) held by (% style="color:#172b4d" %)Prof. Peters.
  (% style="text-align: left;" %)
--(% 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.
++(% 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.
  (% style="text-align: left;" %)
  == Lecturers ==
@@ -26,9 +26,8 @@
  (% style="text-align: left;" %)
  == Topics ==
--{{expand}}
  (% class="bodytext" style="text-align: left;" %)
--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.
++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.
  (% class="bodytext" %)
  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 @@
  ==== **Real-Time / Embedded** ====
  (% style="margin-left: 30.0px;" %)
--(% 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.
++(% 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.
  (% style="margin-left: 30.0px;" %)
--(% 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
++(% 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
  (% style="margin-left: 30.0px;" %)
--(% 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
++(% 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
  (% style="margin-left: 30.0px;" %)
--(% 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
++(% 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
  (% style="margin-left: 30.0px;" %)
--(% 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
++(% 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
  (% style="margin-left: 30.0px;" %)
--(% 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
++(% 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
  (% style="margin-left: 30.0px;" %)
--(% 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.
++(% 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.
  (% style="margin-left: 30.0px;" %)
--(% 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.
++(% 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.
  (% style="margin-left: 30.0px;" %)
  ==== **Safety Analysis/Model Checking** ====
  (% style="margin-left: 30.0px;" %)
--(% 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.
++(% 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.
  (% style="margin-left: 30.0px;" %)
--(% 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.
++(% 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.
  (% style="margin-left: 30.0px;" %)
--(% 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.
++(% 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.
  (% style="margin-left: 30.0px;" %)
--(% 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.
++(% 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.
  (% style="margin-left: 30.0px;" %)
--(% 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.
++(% 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.
  (% style="margin-left: 30.0px;" %)
--(% 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.
++(% 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.
  (% style="margin-left: 30.0px;" %)
--(% 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.
++(% 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.
  (% style="color: rgb(23,43,77);" %)
  === Master Recommendations ===
@@ -98,45 +98,44 @@
  ==== **Real-Time / Embedded** ====
  (% style="margin-left: 30.0px;" %)
--(% 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
++(% 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
  (% style="margin-left: 30.0px;" %)
--(% 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.
++(% 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.
  (% style="margin-left: 30.0px;" %)
--(% 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.
++(% 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.
  (% style="margin-left: 30.0px;" %)
--(% 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.
++(% 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.
  (% style="margin-left: 30.0px;" %)
--(% 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.
++(% 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.
  (% style="margin-left: 30.0px;" %)
--(% 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.
++(% 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.
  (% style="margin-left: 30.0px;" %)
--(% 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.
++(% 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.
  (% style="margin-left: 30.0px;" %)
--(% 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.
++(% 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.
  (% style="margin-left: 30.0px;" %)
--(% 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"]]
++(% 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"]]
  (% style="margin-left: 30.0px;" %)
  ==== **Safety Analysis / Testing** ====
  (% style="margin-left: 30.0px;" %)
--(% 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.
++(% 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.
  (% style="margin-left: 30.0px;" %)
--(% 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.
--{{/expand}}
++(% 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.
++
  == Schedule ==
--{{expand}}
  Note: The dates are not final yet, to be discussed during the kickoff meeting.
  (% class="fixed-table wrapped" %)
@@ -164,7 +164,7 @@
  )))
  |(% colspan="1" %)(% colspan="1" %)
  (((
--(% style="color: rgb(23,43,77);" %)In the week after above (02.05.-05.05.), individual dates
++(% style="color:#172b4d" %)In the week after above (02.05.-05.05.), individual dates
  )))|(% colspan="1" %)(% colspan="1" %)
  (((
  Individual feedback dates.
@@ -178,7 +178,7 @@
  )))
  |(% colspan="1" %)(% colspan="1" %)
  (((
--(% style="color: rgb(23,43,77);" %)In the week after above (22.05.-26.05.), individual dates
++(% style="color:#172b4d" %)In the week after above (22.05.-26.05.), individual dates
  )))|(% colspan="1" %)(% colspan="1" %)
  (((
  Individual feedback dates.
@@ -195,8 +195,7 @@
  subsequently
  )))|(% colspan="1" %)(% colspan="1" %)
  (((
--Review assignment (via email)**
--**
++Review assignment (via email)
  )))
  |(% colspan="1" %)(% colspan="1" %)
  (((
@@ -203,8 +203,7 @@
  Thu., 01.06.2023 23:59
  )))|(% colspan="1" %)(% colspan="1" %)
  (((
--Deadline reviews (in [[EasyChair>>url:https://easychair.org/conferences/?conf=kielrtsyssem23ss||shape="rect"]])**
--**
++Deadline reviews (in [[EasyChair>>url:https://easychair.org/conferences/?conf=kielrtsyssem23ss||shape="rect"]])
  )))
  |(% colspan="1" %)(% colspan="1" %)
  (((
@@ -232,18 +232,15 @@
  == The Final Presentations ==
--The presentation of the prepared topic is held during a block seminar at CAP4 R. TBD. The attendance at the seminar day is mandatory. Every attending person receives the proceedings of the current semester.
++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.
  === Agenda ===
++**[[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
--{{view-file att--filename="agenda_anonym.pdf" height="250"/}}
--{{/expand}}
--
  == Milestones and Grading ==
--{{expand}}
  (% style="margin-top: 30.0px;color: rgb(23,43,77);" %)
  == Papers, Talks, Review ==
@@ -252,7 +252,7 @@
  (% style="color: rgb(23,43,77);" %)
  === Paper ===
--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.
++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.
  (% style="color: rgb(23,43,77);" %)
  === Talk ===
@@ -285,15 +285,13 @@
  == Grades ==
  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.
--{{/expand}}
  == Technical Details ==
--{{expand}}
  (% style="margin-top: 30.0px;color: rgb(23,43,77);" %)
  === LaTeX ===
--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.
++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.
  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.
@@ -302,7 +302,7 @@
  * (((
  Think about whether you want to write your paper in German or English and make use to use the corresponding ACM-style.
--\\
++
  )))
  * 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.
  * A paper always consists of an introduction, at least one main chapter, and a conclusion.
@@ -312,18 +312,10 @@
  You can find our seminar in EasyChair: **[[Link>>url:https://easychair.org/conferences/?conf=kielrtsyssem23ss||shape="rect"]]**
--{{expand title="Klicke hier zum ausklappen..."}}
--\\
--[[doc:RTSYS.EasyChair Student Tutorial]]
++=== (% style="font-size:20.0px; font-weight:normal; letter-spacing:-0.008em" %)Resources(%%) ===
--{{include/}}
--{{/expand}}
--{{/expand}}
--=== (% style="font-size: 20.0px;font-weight: normal;letter-spacing: -0.008em;" %)Resources(%%) ===
--
--{{expand}}
  (% style="margin-top: 10.0px;" %)
  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:
@@ -333,4 +333,3 @@
  * IEEE-Xplore: [[http:~~/~~/ieeexplore.ieee.org/Xplore/dynhome.jsp>>url:http://ieeexplore.ieee.org/Xplore/dynhome.jsp||shape="rect" class="external-link"]]
  * ACM Digital Library: [[http:~~/~~/portal.acm.org/dl.cfm>>url:http://portal.acm.org/dl.cfm||shape="rect" class="external-link"]]
  * 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"]]
--{{/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 @@
++=== GENERAL EVALUATION ============================
++
++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.
++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.
++
++
++=== DETAILED COMMENTS  ============================
++
++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.
++
++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?)
++
++Kapitel 3.1, Abs. 3: Die Anzahl der Tiles in die Layer L_0 unterteilt wird, könnte noch angegeben werden.
++
++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.
++
++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.
++
++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.
++
++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.
++
++Kapitel 6: Überschrift ragt über die Spalte hinaus.
++
++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.
++
++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 @@
++=== GENERAL EVALUATION ============================
++
++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.
++
++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 :).
++
++ 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.
++
++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.
++
++
++=== DETAILED COMMENTS  ============================
++
++But als Satzanfang ist grenzwertig, würde ich selten benutzen.
++
++And als Satzanfang solltest du nicht benutzen.
++
++
++
++Introduction:
++
++Z.9 f. ‘the simple question’ - simple würde ich wegnehmen, ist eine Spur zu wertend
++
++Absatz 3 Z.2 “It also contains” <- Tippfehler
++
++Absatz 3 Z.5 Mehrere Tippfehler: “from different communites on the collected data”
++
++Absatz 3 Z.9 sums up statt summs up
++
++
++
++Results of the interviews
++
++Absatz zu Retrofit UML:
++
++“So the design is developed” ist sauberer als gets developed
++
++Absatz zu selective use:
++
++Fehlt da in der Überschrift das “use”? Ein Nomen für interviewte Leute ist interviewees - passt vlt besser als the interviewed.
++
++
++
++Selective Use in Detail:
++
++Absatz 6: elicitation  einmal vertippt
++
++“Diﬀerent diagrams are not used for the same
++task but all tasks they are used for are part of early design
++stages” der zweite Teil des Satzes liest sich etwas hackelig, da scheint ein Relativpronomen zu fehlen.
++
++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.
++
++Gleicher Absatz, zweiter Satz: “[...] that the exchange about the work ﬂow between
++diﬀerent 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”
++
++Professional Developers Absatz 2 Z.10: “They acknowledged that UML can be + as a ”thought tool” beim + fehlt ein Verb
++
++Professional Developers Absatz 2  Z.12 “In fact, the UML is a good tool for modelling purposes”  Komma hinter in fact fehlt
++
++Z.15: “that inﬂuences 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 ...
++
++
++
++Academic Community:
++
++Absatz 2 erster Satz: “On the other hand” ist doppelt durch einen Flüchtigkeitsfehler
++
++Absatz 2 Z. 5: Tippfehler bei “taught”
++
++Discussion Z.1 : Es sollte “academic community” sein Tippfehler: Academic ist groß im Text
++
++Z.4 “should not be taken too seriously” <- serious ist zumindest im britischen Englisch nur ein Adjektiv, daher sollte es hier seriously sein
++
++Z.9 ff. “On the other hand it was stated that the interviews and
++the connected research are really important since they show
++that UML is not used as expected.” - Die Verben müssen hier im Plural sein
++
++Letzter Satz des Absatzes: “The
++quote from G. Wilson sums up the discussion about the sci-
++entiﬁc relevance pretty accurately” accurately bezieht sich auf “sums up” und muss damit ein Adverb sein.
++
++
++
++Conclusion about UML:
++
++Erster Satz: Es müsste Plural in diesem Satz sein statt Singular. “the results and the ongoing discussion are still important, because they show”
++
++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
++
++Drittletzter Absatz des Abschnitts: “Summing up a part of UML really good is a quote from
++Martin Nadele:” <- Satzbauproblem, daher nicht so verständlich.
++
++Zweitletzter Absatz des Abschnitts: “Because our grammar is based on the Latin grammar and
++every time we are speaking in we use some of the concepts
++from Latin.” Satzbauproblem, daher nicht so verständlich.
++
++
++
++Summary and Outlook:
++
++1. Absatz 1. Z: Tippfehler bei develop
++
++Im 3. Absatz in Zeile 1 sprichst du von “we aquired data” - da du nur ein Autor bist, klingt das etwas merkwürdig.
++
++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 @@
++=== GENERAL EVALUATION ============================
++
++Als ein Studierender, der GraphDrawing nicht gehört hat fehlt es einem Leider an sehr
++vielen Begriffen, die benutzt aber nicht eingeführt werden. Auch ist oft nicht klar, ob
++ein Begriff vorausgesetzt wird oder noch im folgenden Text erklärt wird.
++An einigen Stellen folgt die Erklärung eines Begriffes erst einige Zeilen später.
++(pan operation) , mental map, edge routing, edge bundling, hierarchical graph, rectangular
++partitioning & vorionie partitioning,
++Manchmal sind da direkte Referenzen dran, bei denen das ganze Paper den Begriff
++erklärt. Trotzdem könnte man das kurz umreißen.
++Mutliscaling filtering and tiling ; Force Directed Layout
++Die Überschriften und auch das Codebeispiel stören das Layout der beiden Spalten.
++Überschriften für Sektionen sollten einzeilig sein.
++Die Struktur des Absatzes, in dem die Inhalte der einzelnen Kapitel beschrieben werden
++ist zu sehr wie ein Fließtext. Es sollte dem Lesenden einfach fallen die Inhalte der
++einzelnen Kapitel auf einen Blick zu sehen.
++
++
++=== DETAILED COMMENTS  ============================
++
++Intro:
++"In it subsection 3.1 introduces" klingt unrund.
++Design Philosophy:
++(pan operation ist ein eher unbekanntes Wort)
++"mental map" wird nicht eingefuhrt.
++Layer Processing:
++"edge routing" nicht eingefuhrt.
++Pseudo Code geht uber den Rand des Blocks hinaus.
++Layer Usage While Visualizing:
++Überschrift zu lang.
++Formeln innerhalb des Textes teilweise zu hoch. Lieber in eigene Blöcke.
++Results and Findings out of Experiments:
++Zu lange Überschrift.
++Comparison to Related Solutions:
++Überschrift zu lang.
++"edge bundling" nicht erklärt.
++"hierarchical graph" nicht erklärt.
++"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 @@
++=== GENERAL EVALUATION ============================
++
++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.
++
++Du erklärst die Thematik auf eine Weise, so dass sie leicht verständlich ist und erläuterst alle ihre Bestandteile gute.
++
++Es finden sich zwar Rechtschreib- und Ausdrucksfehler bisher im Text, aber diese sind meist gleichartig und behindern den Lesefluss nur unwesentlich.
++
++
++=== DETAILED COMMENTS  ============================
++
++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,....
++
++Abstract - Zeile 5: “which is explained in this term
++paper” kannst du streichen, da es klar ist, dass du das in deinem Paper hast, wenn du es im Abstract erwähnst :).
++
++Introduction:
++
++Z.9 “in order to create an usable ..”
++
++Z.25/26 Das Einleitungswort sollte ein Adverb sein kein Adjektiv: “Conclusively, this paper...”
++
++3-STAGE FILTERING SYSTEM
++
++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.
++
++Z.10 “a predictable, reproducible, and understandable system” Oxford Comma: Im Englisch setzt man bei Aufzählungen auch vor dem and ein Komma
++
++Z.34 “a City Label, a Point of Interest” Komma vergessen
++
++Z.35/36 “A label falling in one of the former two categories
++describes a point feature and therefore has a ﬁxed position” nicht have sondern has, da label singular ist.
++
++Evaluators
++
++Z.1/2: “which criteria should be used”
++
++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.
++
++Erklärung zum road length evaluator: Ich würde den ersten Satz zu “This is a road-only eval-
++uator. ” ändern. Seine bisherige Variante wirkt unpassend für ein wissenschaftliches Seminar-Paper.
++
++
++
++Erklärungstext zu Table 1: “Two example configurations” Tippfehler, da fehlte das Plural-S.
++
++Label Selection: Z.4 “is normalized” statt “gets normalized” wirkt “richtiger”
++
++
++
++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.
++
++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
++used.“)
++
++Road Labels Z.8 “If the label’s position
++is not constant the distance varies”
++
++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.
++
++Normalization:
++
++Z.2 “each score
++for a certain label and evaluator has to be normalized and
++weighted” has statt have, da es hier Singular ist.
++
++Z.4 ff. “ The
++normalization of the score for a certain label and evaluator
++is done by dividing the score by the maximum score over all
++labels for that evaluator.”
++
++Ein wenig umständlich formuliert: Besser “The score for a certain label and evaluator is normalized by dividing ...”
++
++Z.9 “the score for a label
++i is calculated as follows” as follows ist besser
++
++Z.15 “So given the weight w k for each eval-
++uator k and number of segments n the candidate score for a
++segment i is calculated the same as the score for a label”
++
++Liest sich am Anfang und gegen Ende komisch, Verbesserungsvorschlag:
++
++“Consequently, [...] is calculated in the same way as the score for a label.“
++
++
++
++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.
++
++Z.13 ff. “in Information
++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
++
++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.
++
++Summary:
++
++Z.9 “can be adjusted at runtime.” falscher Modus beim Verb
++
++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 @@
++=== GENERAL EVALUATION ============================
++
++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.
++Insgesamt ist das Paper verständlich. Jedoch würde eine Umstrukturierung der Lesbarkeit helfen.
++
++
++=== DETAILED COMMENTS  ============================
++
++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.
++
++Kapitel 1, Abs. 3: "During the run of the experiment". Besser: During the experiment.
++
++Kapitel 1, Abs. 3: "simulated spring forces" wird nicht erklärt.
++
++Kapitel 1, Abs. 4: "...by the time needed to finding of the shortest path...". Besser: ... needed to find the shortest...
++
++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.
++
++Kapitel 3.2, Abs. 2: Referenz fehlt: "??"
++
++Kapitel 4.3: "trc" wird als Abkürzung benutzt. Ich vermute jedoch das es "tcr" sein soll.
++
++Kapitel 5.2, Abs. 2: "stepwise multiple regression" wird nicht erklärt.
++
++nach "therefore" kommt ein Komma (Bsp: Kapitel 3.2, Abs.3)
++
++achte auf die Zeitform (Bsp: Kapitel 3. "The purpose of this research is to examine...")
++

Confluence.Code.ConfluencePageClass[0]

Id

@@ -1,1 +1,1 @@
--154468411
++142606434

URL

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

Changes for page 2023 Embedded Real-Time Systems

Summary

Details

Navigation

Quick Links