Registration
Topic Assignment
| Topics |
| - Network Simulation |
| - Simulation of Real-time Ethernet |
| - Verification of Simulation Models |
| - Compositional Performance Analysis |
| - Real-time Calculus |
| - Fault-tolerant Real-time Communication |
Groups
| G1 |
Philip |
Nicolas |
Christopher |
| G2 |
Simin |
Manuel |
Jan Carl |
Felix H |
| G3 |
Felix S |
Max |
Marco |
Niklas |
| G4 |
Anton |
Julia |
Maximilian |
Thomas |
Template
Word-Vorlage-Simulation
Additional material
Description
In this Proseminar the students learn about basic methodologies of formal timing analysis which is a very important
part of developing process of distributed real-time systems. The students are asked to focus on a specific topic review the state of the
art in the literature.