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.