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

DFG-Project "SafeRobotics"
 

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

Abstract:

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.

Period:

February 2001 - January 2004

Project Leaders:

Staff:

Details:

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