Verification of security properties
A substantial problem that balks the use of service robots in the everyday life is to provide evidence that certain safety characteristics and - boundaries are kept in any case. Robots shall be able to act autonomously, i.e. that they have to decide or learn based on certain situations. Thus their behavior will change situation-dependently during run-time.
The required flexibility that necessitates autonomous behavior is conflicting with the predictable safety limits. An extensive application of autonomous service robots therefore requires methods, with whose help one can proof that the safety limits with respect to its behavior is kept in each case, despite flexibility and adaptability.
For this purpose an analysis tool shall be developed and tested within this subproject.
|