Page History

...

Many of the links do only work in the university network. Through the usage of a VPN or a remote session to the terminal server, those are also accessible from home. If any problems occur feel free to contact us.

Bachelor Recommendations

[assigned] A. Procter, W. Harrison, I. Graves, M. Becchi, G. Allwein, "Semantics Driven Hardware Design, Implementation, and Verification with ReWire", LCTES 2015

[assigned] Nicolas Harrand, Franck Fleurey, Brice Morin, and Knut Eilif Husa. 2016. ThingML: A language and code generation framework for heterogeneous targets. 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.

...

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

[assigned] 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, 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE), Florence, Italy, 2019, pp. 552-557.

[assigned] 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. In Proceedings of the 56th Annual Design Automation Conference 2019 (DAC '19). ACM, New York, NY, USA, Article 63, 6 pages.

[assigned] 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. In Proceedings of the 26th International Conference on Real-Time Networks and Systems (RTNS '18). ACM, New York, NY, USA, 30-40.

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] N. Hili, A. Girault and É. Jenn, Worst-Case Reaction Time Optimization on Deterministic Multi-Core Architectures with Synchronous Languages, 2019 IEEE 25th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Hangzhou, China, 2019

[assigned] Mathijs Saey, Joeri De Koster, and Wolfgang De Meuter, Skitter: A DSL for Distributed Reactive Workflows, In Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems (REBLS 2018), New York, USA, 2018

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

[assigned] Sven Peldszus, Katja Tuma, Daniel Strüber, Jan Jürjens and Riccardo Scandariato, Secure Data-Flow Compliance Checks between Models and Code Based on Automated Mappings, 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS), Munich, Germany, 2019

[assigned] Byron DeVries and Betty Cheng, Goal-Based Modeling and Analysis of Non-Functional Requirements, 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS), Munich, Germany, 2019

[assigned] Betty H. C. Cheng, Bradley Doherty, Nick Polanco and Matthew Pasco, Security Patterns for Automotive Systems, 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), Munich, Germany, 2019

Master Recommendations

Jordan A. Ross, Alexandr Murashkin, Jia Hui Liang, Michał Antkiewicz, Krzysztof Czarnecki, Synthesis and exploration of multi-level, multi-perspective architectures of automotive embedded systems, Software & Systems Modeling 2019

[assigned] Fabio Cremona, Marten Lohstroh, David Broman, Edward A. Lee, Michael Masin, Stavros Tripakis, Hybrid co-simulation: it’s about time, Software & Systems Modeling 2019

...

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. 

Schedule

...

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

Papers, Talks, Review

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

...

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 for writing a thesis. You can write your paper either in English or German.

Talk

The talk should be 40 minutes (master) or 25 minutes (bachelor) long. This is followed by 5 minutes of questions. The slides should contain page numbers to allow the participants to ask specific questions after the talk. It would be great to include a short tool demo if your topic includes some concrete implementation.

...

• Think about whether you want to write your paper in German or English and make use to use the corresponding ACM-style.
• Graphics If you use graphics from your original paper, you should not just be screenshotted and added to your paper. Ideally, you create your own graphic add a screenshotted 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) to have good quality graphics. 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.

...

You can find our seminar in EasyChair: TBA Link

...