Einführung in aiT

			Functional safety Real-time systems Worst-case execution time
			Modelling hardware The timing problem Static analysis
			Abstract interpretation Aerospace: DO-178B/DO-178C Automotive: ISO-26262
			Automotive: ISO-26262 (cont’d) Automotive: ISO-26262 (cont’d) E&E systems: ICE-61508 — Edition 2.0
			E&E systems: ICE-61508 (cont’d) Railway: prEN-50128 Industry perspective
			aiT WCET Analyzers Qualification Support Kits Final overview