Technische Universität München Robotics and Embedded Systems
 

Formal Timing Analysis of Distributed Real-time Systems

 
Organizer Morteza Hashemi Farzaneh M.Sc.
Module TBD
Type Proseminar
Semester SS 2016
Final Oral Presentation German or English
ECTS 4.0
SWS 2

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.