|
|
We are constantly looking for students who are interested in working with our group for their bachelor or master theses. We provide an agreeable climate, very good support and collaboration on an active research area. The following list gives you an overview of our working areas. The proposals given there are only some examples. Actual projects will be defined according to your needs and skills. Please contact us for additional proposals and information. (The proposals are only available wihtin the university network.)
The Averest system, which is currently developed by the Embeddd Systems Group, is intended to provide a framework for the development of heterogeneous hardware-software systems. We are looking for students who help us to improve and implement various aspects of our compiler and synthesis tools. In this area, previous knowledges of common system description languages and good programming skills are advantageous.
Model checking is an efficent technique for the automated verification of embedded systems. Controller Synthesis goes one step beyond Model Checking: instead of verifying that an embedded System satisfies a specification, we want either to correct a given reactive system or to automatically generate a system satisfying the specification. We are looking for students that want to contribute to our research by improving and evaluating various algorithms and approaches. In this area, good knowledge of the theoretical background (Verification of Reactive Systems) is essential.
For some systems, automated verification is not applicable. E.g., this is the case if complicated mathematical background or special abstractions are needed in the course of the verification process. These systems can be verified by an interactive theorem prover like the HOL System. In this area, experiences in the usage of an interactive theorem prover (Specification and Verification in Higher Order Logic) is essential.
|