The work carried out at our chair is focused mainly on techniques for the development and safety assurance of dependable embedded systems. Current research projects address the improvement and automation of model-based techniques in this field as well as dynamic risk assessment and safety assurance under uncertainty.
Interested students looking for projects are always welcome to contact us to discuss interests and potential topics.
Our key research areas:
- Dependability: safety, security, reliability, availability
- Systems engineering of dependable embedded systems
- Model-based safety and reliability analysis
- Dynamic risk assessment and safety assurance under uncertainty
Looking for a suitable project, bachelor or master thesis topic and you did not find it on our page? If you have an idea or topic in your mind write to us at seda_teaching(at)cs.uni-kl.de.