blockcourse from August 5th - September 12th
Content: This lecture addresses students who do not speak German. It simply
presents the content of basic lecture 'Systemarchitektur' in English. The
lecture has three major parts.
i) Hardware: a MIPS processor is designed at the gate level, and it is shown
that it works
ii) Compiler: for a fairly large subset C0 of C a compiler is constructed
and its correctness is shown.
iii) Operating system kernel: a small generic operating system kernel for
MIPS processors is written in C0 + MIPS assembly language. Using compiler
correctness theory we construct semantics for C0 + assembly programs and
then show that the kernel construction is correct.
Clearly this looks like very much material for a single class. The reason
why we can fit that much material in a single class are the correctness
proofs. If we present a construction in the classroom, we should explain
anyway why it works. Mathematical correctness proofs happen to be a very
fast way to present these explanations.
Examinations of this lecture will be offered at two levels:
- for students in the Bachelor program at the under graduate level. One gets
the usual certificate for the Bachelor program
- for students in the graduate school at a clearly more advanced level. One
gets a certificate for 'special lecture system architecture (graduate
level)'
You cannot use both certificates if you get two degrees at Saarbrucken.
|
