General Information
The embedded systems group is offering courses, seminars, projects, and theses with a focus on the model-based design of embedded systems. The courses are offered to students of different study programs of the RPTU Kaiserslautern-Landau, in particular, to the Bachelor and Master students of Computer Science in the specialization of a Embedded Systems and Robotics (see also this video). We are organizing our courses typically with our own student portal, where interested students should register first.
Lectures
| Digitaltechnik und Rechnerarchitektur (Digital Circuit Design and Computer Architecture) |
|---|
|
This Bachelor course considers the basics of the digital circuit design to implement processors starting with efficient encodings of data, computer arithmetics, propositional logic, circuits for efficient computer arithmetic, and leads up to the single-cycle design (macro architecture) or RISC processors.
|
| Rechnerorganisation und Systemsoftware (Computer Organization and System Software) |
|
This Bachelor course considers the overall architecture of a computer system, and first starts with the macro architecture (instruction set) of a typical RISC processor, and discusses then its micro architecture in terms of pipelining. After this, the memory system consisting of caches and virtual memory is considered, and the process management and runtime system of an operating system is presented. Finally, the major tasks of compilers in parsing and code generation is an important topic of the course.
|
| Processor Architecture |
|
Building upon the above Bachelor courses on computer architecture, this Bachelor/Master course considers different techniques to increase the instruction-level parallelism of processor architectures.
|
| Parallel Computing |
|
This Bachelor/Master course presents important parallel PRAM algorithms, special parallel architectures like systolic arrays, and topics of multithreaded computing like cache coherence, interconnection networks, and weak memory consistency models.
|
| Model-based Design of Embedded Systems |
|
This Master course considers different models of computation used in embedded system design, related languages, and procedures for compiling them to hardware and software implementations.
|
| Verification of Reactive Systems |
|
This Master course considers the specification and verification of temporal properties of reactive system with an emphasis on model-checking based on symbolic techniques and induction.
|
Seminar
| Seminar Embedded Systems and Robotics (Bachelor/Master) |
|---|
|
In our seminar, Bachelor and Master Students are given topics for a literature survey to work out a report and a presentation. The topics differs from semester to semester. Our seminar is always offered in summer.
|
Student Projects
| Bachelor/Master Project for Specialization Embedded Systems and Robotics | This Semester: FPGA Synthesis |
|---|---|
|
|
|
| Applied Verification Project (Master) | |
|
Based on the theoretical knowledge of verification methods, students learn to implement and to use different algorithms and tools used for formal verification. The course builds upon the lecture on Verification of Reactive Systems and on the Averest framework provided by the chair of embedded systems.
|
Theses
| Bachelor/Master Theses |
|---|
|
We are constantly looking for students who are interested in working with us during their Bachelor or Master theses. We provide an agreeable climate, very good support and collaboration on an active research area (see also our guidelines for a successful thesis. You may also have a look at some of the completed theses. Please have a look at the currently offered topics. If none of these topics really finds your interests, but you are interested in the topics we consider in teaching and research, feel free to contact us with a suggestion of a potential topic you would like to consider. Note, however, that we do not supervise theses outside our fields of competence. |