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).