Page History

...

Juha-Pekka Tolvanen and Steven Kelly. 2018. Effort Used to Create Domain-Specific Modeling Languages. 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.

Björn [assigned] Döbel, Hermann Härtig, Can We Put Concurrency Back Into Redundant Multithreading?, EMSOFT 2014

[assigned] Yooseong Kim, David Broman, Jian Cai, and Aviral Shrivastaval, WCET-Aware Dynamic Code Management on Scratchpads for Software-Managed Multicores, In Proceedings of the 20th IEEE Real-Time and Embedded Technology and Application Symposium (RTAS 2014), Berlin, Germany, 2014

[assigned] Marten Lohstroh and Edward A. Lee, Deterministic Actors, 2019 Forum for Specification and Design Languages (FDL), Southampton, United Kingdom, 2019

[assigned] Charles Hartsell, Nagabhushan Mahadevan, Shreyas Ramakrishna, Abhishek Dubey, Theodore Bapty, Taylor Johnson, Xenofon Koutsoukos, Janos Sztipanovits and Gabor Karsai, CPS Design with Learning-Enabled Components: A Case Study, In Proceedings of the 30th International Workshop on Rapid System Prototyping (RSP'19), New York, NY, USA, 2019

...

Mladen Skelin and Marc Geilen. Compositionality in scenario-aware dataflow: a rendezvous perspective. 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

[assigned] Zhe Jiang, Neil C. Audsley and Pan Dong. BlueVisor: A Scalable Real-Time Hardware Hypervisor for Many-Core Embedded Systems. 2018 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Porto, 2018

Yecheng Zhao and Haibo Zeng. Optimization techniques for time-critical cyber-physical systems. In Proceedings of the Workshop on Design Automation for CPS and IoT (DESTION '19). Association for Computing Machinery, New York, NY, USA, 2019

[assigned] Himanshu Neema, Janos Sztipanovits, Cornelius Steinbrink, Thomas Raub, Bastian Cornelsen, and Sebastian Lehnhoff. Simulation integration platforms for cyber-physical systems. In Proceedings of the Workshop on Design Automation for CPS and IoT (DESTION '19). Association for Computing Machinery, New York, NY, USA, 2019

[assigned] Jeffrey M. Fischer and Rupak Majumdar. Programming event processors with thingflow. In Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS '19). Association for Computing Machinery, New York, NY, USA, 2019

vergeben [assigned] Francois Pěcheux, Liliana Andrade, Marie-Minerve Louërat, Ilias Bournias, Roselyne Chotin and Daniela Genius. Virtual Prototyping of Open Source Heterogeneous Systems with an Open Source Framework Featuring SystemC MDVP Extensions. 2020 Forum for Specification and Design Languages (FDL), Kiel, Germany, 2020

...

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. 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.

[assigned] Arne Hamann, Dakshina Dasari, Jorge Martinez, and Dirk Ziegenbein. 2018. Response Time Analysis for Fixed Priority Servers. In Proceedings of the 26th International Conference on Real-Time Networks and Systems (RTNS '18). ACM, New York, NY, USA, 254-264.

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. In Proceedings of the 25th International Conference on Real-Time Networks and Systems (RTNS '17). ACM, New York, NY, USA, 168-177. 

[assigned] Alessandro Biondi and Marco Di Natale. Achieving Predictable Multicore Execution of Automotive Applications Using the LET Paradigm. 2018 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Porto, 2018

...

...

Usually, 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.

Tue. 13.07.

Papers, Talks, Review

This seminar includes creating a paper, a talk, and two reviews.

...

Your papers should be created using LaTeX and have to be in the ACM with LaTeX using the provided style. You can find all necessary files in this archive, 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 myrefs.bib, which holds the references. ACM provides a short overview with examples of bibliography entries.

...

• 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 screenshotted screenshot of the pdf your paper. Try to use the image from the original paper by exporting them, including the pdf directly (\inlcudegraphics[page=... trim=...]{*.pdf}), 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.

...