Main Page
 
After this lecture students know how to design IEEE compatible floationg point units and some form of parallel computer system.
General comment: Constructions are usually presented together with correctness proofs.

Exam:
You have to pass one oral exam taking place at the end of the semester: 07.03.06 or 08.03.06

Exam Prerequisites:
In order to be admitted to the exam you have to achieve 50% of all exercise points.
In addition each student has to present one solution of an exercise at least four times.
 
Contents:
Basics of Floating Point Computation:
IEEE standard
Theory of rounding
FPU construction
Add/subtract unit
Multiply/divide unit
Rounding

Automotive systems hardware:
Serial interfaces
Clock synchronization
FlexRay like interfaces
Electronic control units

Automotive systems software:
An OSEKtime like programming model
An OSEKtime like real-time operating system
Drivers
Worst-case execution time
Pervasive correctness proof
 
News
Welcome to the lecture homepage!