Research department/group

Cyber-Physical Systems

 The Cyber-Physical Systems group is headed by Prof. Dr. Rolf Drechsler, who succeeded Prof. Dr. Bernd Krieg-Br├╝ckner in October 2011. Research focuses on formal methods and quality-driven design of cyber-physical systems; it covers the entire range from basic research to application-oriented development.

Our projects are application-oriented, and are carried out in close collaboration with industrial partners. Our methods include hardware and software verification, formal modeling, and the management of documents throughout the entire development process. Our research areas include circuit and system design, software development and dedicated applications of cyber-physical systems. Important application areas are transportation in general, where quality-driven design on all stages is a key to success, and ambient assisted living, as exhibited in the Bremen Ambient Assisted Living Lab (BAALL).

 

Head: Prof. Dr. Rolf Drechsler
Deputy Head: Prof. Dr. Christoph L├╝th and Prof. Dr. Dieter Hutter

Kontakt

German Research Center for Artificial Intelligence, DFKI
Cyber-Physical Systems
Cartesium
Bibliothekstra├če 1
D-28359 Bremen
Germany

Phone: +49 421 218 64221
Fax: +49 421 218 9864221
eMail: cps-info@dfki.de
Homepage: http://www.dfki.de/cps