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

TopicsSorted descending
- Verification of Simulation Models
- Simulation of Real-time Ethernet
- Real-time Calculus
- Network Simulation
- Fault-tolerant Real-time Communication
- Compositional Performance Analysis

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.