By Topic

An Interaction-Driven Approach to Identifying Functional Behaviors of Service Robot Systems

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

4 Author(s)
Youngdo Cho ; Dept. of Comp. Sci. & Eng., Sogang Univ., Seoul, South Korea ; Hwangwook Kim ; Dae-Kyoo Kim ; Sooyong Park

The service robot domain has gained increasing attention for its significant impact on human society. By its nature, the service robot domain is component-based and distributed and comprising components are usually developed by third parties as black-box. In general, very limited information is available even in execution logs. This makes it difficult for the system integrator to understand and verify the functional behaviors of the system. The existing work on deriving functional behaviors focuses on sequential systems and assumes certain level of information available, which is not suitable for the service robot domain. In this work, we present an interaction-based approach for systematically identifying functional behaviors of a service robot system. This approach allows not only identifying functional behaviors, but also their dependencies as invariants which are useful for verifying system behaviors. We demonstrate the approach using a cognitive game robot and the results show the potential of the approach.

Published in:

Engineering of Complex Computer Systems (ICECCS), 2012 17th International Conference on

Date of Conference:

18-20 July 2012