Universität Bremen  
  FB3 TZI Contact  
  AG BKB > Cognitive Robotics > Deutsch

DFG-Project "SafeRobotics"


Formal Fault-tree Analysis, Specification and Testing of Hybrid Real-Time Systems in Application to Service Robotics


Within the framework of this research project, formal methods are developed that support the design of service-robot applications as safe systems. The approach is generally useful to specify safety requirements for hybrid real-time systems and to prove that they hold. Applying the method to the Bremen Autonomous Wheelchair is a key aspect of the project. Pursuing the idea of provably correct system behavior is a new concept in the promising area of rehabilitation robotics. Especially in cases where the requirements of a shared control system that is jointly operated by a human and the automation have to be considered.


February 2001 - January 2004

Project Leaders:



Author: Axel Lankenau
Last updated: August 2, 2005   impressum