Changes for page 2019/20 Echtzeitsysteme und eingebettete Systeme
Last modified by Richard Kreissig on 2025/01/30 11:57
<
>
edited by Richard Kreissig
on 2023/09/06 11:36
on 2023/09/06 11:36
edited by Alexander Schulz-Rosengarten
on 2023/07/11 10:17
on 2023/07/11 10:17
Change comment:
Update document after refactoring.
Summary
-
Page properties (3 modified, 0 added, 0 removed)
Details
- Page properties
-
- Title
-
... ... @@ -1,1 +1,1 @@ 1 - 2019/20 (Echtzeitsysteme und eingebettete Systeme)1 +WS19/20 (Echtzeitsysteme und eingebettete Systeme) - Author
-
... ... @@ -1,1 +1,1 @@ 1 -XWiki.s tu2309801 +XWiki.als - Content
-
... ... @@ -1,7 +1,7 @@ 1 - 1 +\\ 2 2 3 3 (% class="bodytext" style="text-align: left;" %) 4 -(% style="color: #222222" %)Der Sinn dieses Seminars ist es, sich mit einem Themengebiet aus dem Bereich der Echtzeitsysteme und Eingebetteten Systeme und angrenzenden Themen intensiv und selbständig wissenschaftlich auseinanderzusetzen. Das Thema ist in einem mündlichen Vortrag und einer schriftlichen Ausarbeitung zusammenzufassen. Ein weiterer Sinn dieses Seminars ist es, das Arbeiten in strukturierten zeitlichen Abläufen zu praktizieren, wie es z.B. für Workshops/Tagungen üblich ist. Beide Aspekte sind erfahrungsgemäß eine gute Vorbereitung auf die Anfertigung einer Abschlussarbeit.4 +(% style="color: rgb(34,34,34);" %)Der Sinn dieses Seminars ist es, sich mit einem Themengebiet aus dem Bereich der Echtzeitsysteme und Eingebetteten Systeme und angrenzenden Themen intensiv und selbständig wissenschaftlich auseinanderzusetzen. Das Thema ist in einem mündlichen Vortrag und einer schriftlichen Ausarbeitung zusammenzufassen. Ein weiterer Sinn dieses Seminars ist es, das Arbeiten in strukturierten zeitlichen Abläufen zu praktizieren, wie es z.B. für Workshops/Tagungen üblich ist. Beide Aspekte sind erfahrungsgemäß eine gute Vorbereitung auf die Anfertigung einer Abschlussarbeit. 5 5 6 6 7 7 (% class="bodytext" style="text-align: left;" %) ... ... @@ -40,34 +40,34 @@ 40 40 === Bachelor Empfehlung === 41 41 42 42 (% style="margin-left: 30.0px;" %) 43 -(% style="color: #003366" %)**[vergeben]**#000000" %)[[StarL: Towards a Unified Framework for Programming, Simulating and Verifying Distributed Robotic Systems>>url:https://dl.acm.org/citation.cfm?id=2754966||shape="rect"]], (% style="color:#003366" %)LCTES 201543 +(% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)**[vergeben]** Yixiao Lin, Sayan Mitro, (% style="color: rgb(0,0,0);" %)[[StarL: Towards a Unified Framework for Programming, Simulating and Verifying Distributed Robotic Systems>>url:https://dl.acm.org/citation.cfm?id=2754966||shape="rect"]], (% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)LCTES 2015 44 44 45 45 (% style="margin-left: 30.0px;" %) 46 -(% style="color: #003366" %)A. Procter, W. Harrison, I. Graves, M. Becchi, G. Allwein, "[[Semantics Driven Hardware Design, Implementation, and Verification with ReWire>>url:https://dl.acm.org/citation.cfm?id=2754970||shape="rect"]]", LCTES 201546 +(% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)A. Procter, W. Harrison, I. Graves, M. Becchi, G. Allwein, "[[Semantics Driven Hardware Design, Implementation, and Verification with ReWire>>url:https://dl.acm.org/citation.cfm?id=2754970||shape="rect"]]", LCTES 2015 47 47 48 48 (% style="margin-left: 30.0px;" %) 49 -(% style="color: #003366" %)Nicolas Harrand, Franck Fleurey, Brice Morin, and Knut Eilif Husa. 2016. [[ThingML: A language and code generation framework for heterogeneous targets>>url:https://dl.acm.org/citation.cfm?id=2976812||shape="rect"]]. In //Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems// (MODELS '16). ACM, New York, NY, USA, 125-135.49 +(% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)Nicolas Harrand, Franck Fleurey, Brice Morin, and Knut Eilif Husa. 2016. [[ThingML: A language and code generation framework for heterogeneous targets>>url:https://dl.acm.org/citation.cfm?id=2976812||shape="rect"]]. In //Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems// (MODELS '16). ACM, New York, NY, USA, 125-135. 50 50 51 51 (% style="margin-left: 30.0px;" %) 52 -(% 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.52 +(% 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. 53 53 54 54 (% style="margin-left: 30.0px;" %) 55 -(% style="color: #003366" %)Björn Döbel, Hermann Härtig,(% style="color:#000000" %) [[Can We Put Concurrency Back Into Redundant Multithreading?>>url:http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6986127||shape="rect"]], (% style="color:#003366" %)EMSOFT 201455 +(% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)Björn Döbel, Hermann Härtig,(% style="color: rgb(0,0,0);" %) [[Can We Put Concurrency Back Into Redundant Multithreading?>>url:http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6986127||shape="rect"]], (% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)EMSOFT 2014 56 56 57 57 (% style="margin-left: 30.0px;" %) 58 -(% style="color: #003366" %)**[vergeben]**58 +(% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)**[vergeben]** J. Talpin, J. Marty, S. Narayan, D. Stefan and R. Gupta, [[Towards verified programming of embedded devices>>url:https://ieeexplore.ieee.org/document/8715067||shape="rect"]], //2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)//, Florence, Italy, 2019, pp. 1445-1450. 59 59 60 60 (% style="margin-left: 30.0px;" %) 61 -(% style="color: #003366" %)F. Glaser, G. Haugou, D. Rossi, Q. Huang and L. Benini, [[Hardware-Accelerated Energy-Efficient Synchronization and Communication for Ultra-Low-Power Tightly Coupled Clusters>>url:https://ieeexplore.ieee.org/document/8715266||shape="rect"]], //2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)//, Florence, Italy, 2019, pp. 552-557.61 +(% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)F. Glaser, G. Haugou, D. Rossi, Q. Huang and L. Benini, [[Hardware-Accelerated Energy-Efficient Synchronization and Communication for Ultra-Low-Power Tightly Coupled Clusters>>url:https://ieeexplore.ieee.org/document/8715266||shape="rect"]], //2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)//, Florence, Italy, 2019, pp. 552-557. 62 62 63 63 (% style="margin-left: 30.0px;" %) 64 64 Thomas Nyman, Ghada Dessouky, Shaza Zeitouni, Aaro Lehikoinen, Andrew Paverd, N. Asokan, and Ahmad-Reza Sadeghi. 2019. [[HardScope: Hardening Embedded Systems Against Data-Oriented Attacks>>url:https://dl.acm.org/citation.cfm?doid=3316781.3317836||shape="rect"]]. In //Proceedings of the 56th Annual Design Automation Conference 2019// (DAC '19). ACM, New York, NY, USA, Article 63, 6 pages. 65 65 66 66 (% style="margin-left: 30.0px;" %) 67 -(% style="color: #003366" %)**[vergeben]** (%%)Daniel Casini, Alessandro Biondi, and Giorgio Buttazzo. 2019. [[Analyzing Parallel Real-Time Tasks Implemented with Thread Pools>>url:https://dl.acm.org/citation.cfm?doid=3316781.3317771||shape="rect"]]. In //Proceedings of the 56th Annual Design Automation Conference 2019// (DAC '19). ACM, New York, NY, USA, Article 92, 6 pages.67 +(% style="color: rgb(0,51,102);" %)**[vergeben]** (%%)Daniel Casini, Alessandro Biondi, and Giorgio Buttazzo. 2019. [[Analyzing Parallel Real-Time Tasks Implemented with Thread Pools>>url:https://dl.acm.org/citation.cfm?doid=3316781.3317771||shape="rect"]]. In //Proceedings of the 56th Annual Design Automation Conference 2019// (DAC '19). ACM, New York, NY, USA, Article 92, 6 pages. 68 68 69 69 (% style="margin-left: 30.0px;" %) 70 -(% style="color: #003366" %)**[vergeben]** (%%)James Devine, Joe Finney, Peli de Halleux, Michał Moskal, Thomas Ball, and Steve Hodges. 2018. [[MakeCode and CODAL: intuitive and efficient embedded systems programming for education>>url:https://dl.acm.org/citation.cfm?doid=3211332.3211335||shape="rect"]]. In //Proceedings of the 19th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems// (LCTES 2018). ACM, New York, NY, USA, 19-30.70 +(% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)**[vergeben]** (%%)James Devine, Joe Finney, Peli de Halleux, Michał Moskal, Thomas Ball, and Steve Hodges. 2018. [[MakeCode and CODAL: intuitive and efficient embedded systems programming for education>>url:https://dl.acm.org/citation.cfm?doid=3211332.3211335||shape="rect"]]. In //Proceedings of the 19th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems// (LCTES 2018). ACM, New York, NY, USA, 19-30. 71 71 72 72 (% style="margin-left: 30.0px;" %) 73 73 **[vergeben]** H. Abbas, I. Saha, Y. Shoukry, R. Ehlers, G. Fainekos, R. Gupta, R. Majumdar, D. Ulus, [[Special Session: Embedded Software for Robotics: Challenges and Future Directions>>url:https://ieeexplore.ieee.org/document/8537236||shape="rect"]], //2018 International Conference on Embedded Software (EMSOFT)//, Turin, 2018, pp. 1-10. ... ... @@ -76,60 +76,60 @@ 76 76 Wenchen Wang, Daniel Mosse, Daniel Cole, and Jason G. Pickel. 2018. [[Dynamic Wireless Network Reconfiguration for Control System applied to a Nuclear Reactor Case Study>>url:https://dl.acm.org/citation.cfm?doid=3273905.3273912||shape="rect"]]. In //Proceedings of the 26th International Conference on Real-Time Networks and Systems// (RTNS '18). ACM, New York, NY, USA, 30-40. 77 77 78 78 (% style="margin-left: 30.0px;" %) 79 -(% style="color: #003366" %)**[vergeben]**#000000" %) [[Modeling Cyber-Physical Systems>>url:https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=5995279||shape="rect"]],(% style="color:#003366" %) //Proceedings of the IEEE (special issue on CPS), //100(1):13-28, January 201279 +(% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)**[vergeben]** Patricia Derler, Edward A. Lee, Alberto Sangiovanni-Vincentelli,(% style="color: rgb(0,0,0);" %) [[Modeling Cyber-Physical Systems>>url:https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=5995279||shape="rect"]],(% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %) //Proceedings of the IEEE (special issue on CPS), //100(1):13-28, January 2012 80 80 81 81 (% style="margin-left: 30.0px;" %) 82 -(% style="color: #003366" %)Yooseong Kim, David Broman, Jian Cai, and Aviral Shrivastaval,(% style="color:#000000" %) [[WCET-Aware Dynamic Code Management on Scratchpads for Software-Managed Multicores>>url:http://www.bromans.com/publ/kim-et-al-2014-wcet-scm-ssm.pdf||shape="rect"]], (% style="color:#003366" %)In //Proceedings of the 20th IEEE Real-Time and Embedded Technology and Application Symposium// (RTAS 2014), Berlin, Germany, 201482 +(% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)Yooseong Kim, David Broman, Jian Cai, and Aviral Shrivastaval,(% style="color: rgb(0,0,0);" %) [[WCET-Aware Dynamic Code Management on Scratchpads for Software-Managed Multicores>>url:http://www.bromans.com/publ/kim-et-al-2014-wcet-scm-ssm.pdf||shape="rect"]], (% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)In //Proceedings of the 20th IEEE Real-Time and Embedded Technology and Application Symposium// (RTAS 2014), Berlin, Germany, 2014 83 83 84 84 (% style="margin-left: 30.0px;" %) 85 -(% style="color: #003366" %)**[vergeben]**#000000" %) [[Schedulability Analysis of Global Memory-predictable Scheduling>>url:http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6986128||shape="rect"]], (% style="color:#003366" %)EMSOFT 201485 +(% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)**[vergeben]** Ahmed Alhammad, Rodolfo Pellizzoni,(% style="color: rgb(0,0,0);" %) [[Schedulability Analysis of Global Memory-predictable Scheduling>>url:http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6986128||shape="rect"]], (% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)EMSOFT 2014 86 86 87 87 === Master Empfehlung === 88 88 89 89 (% style="margin-left: 30.0px;" %) 90 -(% 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 201990 +(% 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(%%) 91 91 92 92 93 93 (% style="margin-left: 30.0px;" %) 94 -(% class="authors__name" style="color: #003366" %)Fabio Cremona, Marten Lohstroh, David Broman, Edward A. Lee, Michael Masin, Stavros Tripakis(% class="authors__name" %), [[Hybrid co-simulation: it’s about time>>url:https://rdcu.be/bQRuU||shape="rect"]], (% style="color:#003366" %)Software & Systems Modeling 201994 +(% class="authors__name" style="color: rgb(0,51,102);" %)Fabio Cremona, Marten Lohstroh, David Broman, Edward A. Lee, Michael Masin, Stavros Tripakis(% class="authors__name" %), [[Hybrid co-simulation: it’s about time>>url:https://rdcu.be/bQRuU||shape="rect"]], (% style="color: rgb(0,51,102);" %)Software & Systems Modeling 2019(%%) 95 95 96 96 97 97 (% style="margin-left: 30.0px;" %) 98 -(% 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.98 +(% 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. 99 99 100 100 (% style="margin-left: 30.0px;" %) 101 -(% 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.101 +(% 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. 102 102 103 103 (% style="margin-left: 30.0px;" %) 104 -(% 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.104 +(% 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. 105 105 106 106 (% style="margin-left: 30.0px;" %) 107 -(% style="color: #003366" %)**[vergeben]**107 +(% style="color: rgb(0,51,102);" %)**[vergeben]** Wanli Chang, Shuai Zhao, Ran Wei, Andy Wellings, and Alan Burns. 2019. [[From Java to real-time Java: a model-driven methodology with automated toolchain (invited paper)>>url:https://dl.acm.org/citation.cfm?doid=3316482.3326360||shape="rect"]]. In //Proceedings of the 20th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems// (LCTES 2019). ACM, New York, NY, USA, 123-134. 108 108 109 109 (% style="margin-left: 30.0px;" %) 110 -(% 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.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. 111 111 112 112 (% style="margin-left: 30.0px;" %) 113 -(% style="color: #003366" %)**[vergeben]**113 +(% style="color: rgb(0,51,102);" %)**[vergeben]** Eike Schweissguth, Peter Danielis, Dirk Timmermann, Helge Parzyjegla, and Gero Mühl. 2017. [[ILP-based joint routing and scheduling for time-triggered networks>>url:https://dl.acm.org/citation.cfm?doid=3139258.3139289||shape="rect"]]. In //Proceedings of the 25th International Conference on Real-Time Networks and Systems// (RTNS '17). ACM, New York, NY, USA 114 114 115 115 (% style="margin-left: 30.0px;" %) 116 -(% 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.116 +(% 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. 117 117 118 118 (% style="margin-left: 30.0px;" %) 119 -(% 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.119 +(% 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. 120 120 121 121 (% style="margin-left: 30.0px;" %) 122 -(% 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.122 +(% 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. 123 123 124 124 (% style="margin-left: 30.0px;" %) 125 -(% style="color: #003366" %)Arne Hamann, Dakshina Dasari, Jorge Martinez, and Dirk Ziegenbein. 2018. [[Response Time Analysis for Fixed Priority Servers>>url:https://dl.acm.org/citation.cfm?doid=3273905.3273927||shape="rect"]]. In //Proceedings of the 26th International Conference on Real-Time Networks and Systems// (RTNS '18). ACM, New York, NY, USA, 254-264.125 +(% style="color: rgb(0,51,102);" %)Arne Hamann, Dakshina Dasari, Jorge Martinez, and Dirk Ziegenbein. 2018. [[Response Time Analysis for Fixed Priority Servers>>url:https://dl.acm.org/citation.cfm?doid=3273905.3273927||shape="rect"]]. In //Proceedings of the 26th International Conference on Real-Time Networks and Systems// (RTNS '18). ACM, New York, NY, USA, 254-264. 126 126 127 127 (% style="margin-left: 30.0px;" %) 128 -(% 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.128 +(% 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. 129 129 130 130 == Termine == 131 131 132 -(% class="fixed-table wrapped" %)132 +(% class="wrapped fixed-table" %) 133 133 |=((( 134 134 Datum 135 135 )))|=((( ... ... @@ -185,7 +185,8 @@ 185 185 anschließend 186 186 )))|(% colspan="1" %)(% colspan="1" %) 187 187 ((( 188 -Zuordnung Ausarbeitungen/Reviewer (per Email) 188 +Zuordnung Ausarbeitungen/Reviewer (per Email)** 189 +** 189 189 ))) 190 190 |(% colspan="1" %)(% colspan="1" %) 191 191 ((( ... ... @@ -199,7 +199,8 @@ 199 199 Di., 14.01., 08:00 Uhr 200 200 )))|(% colspan="1" %)(% colspan="1" %) 201 201 ((( 202 -Abgabe der Reviews (in [[EasyChair>>url:https://easychair.org/conferences/?conf=kielrtsyssem19ws||shape="rect"]]) 203 +Abgabe der Reviews (in [[EasyChair>>url:https://easychair.org/conferences/?conf=kielrtsyssem19ws||shape="rect"]])** 204 +** 203 203 ))) 204 204 |(% colspan="1" %)(% colspan="1" %) 205 205 ((( ... ... @@ -226,7 +226,7 @@ 226 226 == Agenda des Blockseminars == 227 227 228 228 Die Vorstellung des jeweils bearbeiteten Themas wird im Rahmen eines Blockseminars stattfinden. Die Teilnahme am Seminartag ist Pflicht. 229 -Jede teilnehmende Person erhält die Proceedings des laufenden Seminars. 231 +Jede teilnehmende Person erhält die Proceedings des laufenden Seminars.\\ 230 230 231 231 232 232 ... ... @@ -265,6 +265,7 @@ 265 265 266 266 Das Seminar ist benotet. Die Endnote basiert auf den einzelnen Meilensteinen (Versionen der Ausarbeitung, Reviews, Folien, Vortrag). Es werden jeweils die Qualität sowie die Rechtzeitigkeit (siehe Terminplanung) bewertet. Das Nicht-Einhalten von Terminen kann zum Nicht-Bestehen des Seminars führen. 267 267 270 +\\ 268 268 269 269 == Technische Details == 270 270 ... ... @@ -292,6 +292,7 @@ 292 292 {{include/}} 293 293 {{/expand}} 294 294 298 +\\ 295 295 296 296 == Weiterführende Hinweise / Links == 297 297 ... ... @@ -304,6 +304,7 @@ 304 304 * ACM Digital Library: [[http:~~/~~/portal.acm.org/dl.cfm>>url:http://portal.acm.org/dl.cfm||shape="rect" class="external-link"]] 305 305 * 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"]] 306 306 311 +\\ 307 307 308 308 (% style="display: none;" %) 309 309 (((