Abstract
The development of human-assistive robots challenges engineering and introduces new ethical and legal issues. One fundamental concern is whether human-assistive robots can be trusted. Essential components of trustworthiness are usefulness and safety; both have to be demonstrated before such robots could stand a chance of passing product certification. This paper describes the setup of an environment to investigate safety and liveness aspects in the context of human-robot interaction. We present first insights into setting up and testing a human-robot interaction system in which the role of the robot is that of serving drinks to a human. More specifically, we use this system to investigate when the right time is for the robot to release the drink such that the action is both safe and useful. We briefly outline follow-on research that uses the safety and liveness properties of this scenario as specification.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Basu, A., Gallien, M., Lesire, C., Nguyen, T.H., Bensalem, S., Ingrand, F., Sifakis, J.: Incremental component-based construction and verification of a robotic system. In: European Conference on Artificial Intelligence, pp. 631–635. IOS Press, Amsterdam (2008)
Bensalem, S., Gallien, M., Ingrand, F., Kahloul, I., Nguyen, T.H.: Toward a More Dependable Software Architecture for Autonomous Robots. IEEE Robotics and Automation Magazine 16(1), 67–77 (2009)
Clarke, E.M., Grumberg, O., Peled, D.: Model checking. MIT Press, Cambridge (1999)
Fitzpatrick, P., Metta, G., Natale, L.: Towards long-lived robot genes. Robotics and Autonomous Systems 56(1), 29–45 (2008)
Lallée, S., Lemaignan, S., Lenz, A., Melhuish, C., Natale, L., Zant, T.V.D., Warneken, F., Dominey, P.F.: Towards a Platform-Independent Cooperative Human-Robot Interaction System: I. Perception. In: International Conference on Intelligent Robots and Systems (IROS 2010), pp. 4444–4451. IEEE, Los Alamitos (2010)
Lenz, A., Skacheck, S., Hamann, K., Steinwender, J., Pipe, A., Melhuish, C.: The BERT2 infrastructure: An integrated system for the study of human-robot interaction. In: International Conference on Humanoid Robots. IEEE, Los Alamitos (2010)
Magee, J., Kramer, J.: Concurrency: State Models & Java Programs. Wiley, Chichester (2006)
Metta, G., Natale, L., Pathak, S., Pulina, L., Tacchella, A.: Safe and Effective Learning: A Case Study. In: ICRA 2010, pp. 4809–4814 (2010)
Pappas, G., Kress-Gazit, H. (eds.): ICRA Workshop on Formal Methods in Robotics and Automation (2009)
RTCA: DO178B Software Considerations in Airborne Systems and Equipment Certification (1992)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Grigore, E.C., Eder, K., Lenz, A., Skachek, S., Pipe, A.G., Melhuish, C. (2011). Towards Safe Human-Robot Interaction. In: Groß, R., Alboul, L., Melhuish, C., Witkowski, M., Prescott, T.J., Penders, J. (eds) Towards Autonomous Robotic Systems. TAROS 2011. Lecture Notes in Computer Science(), vol 6856. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-23232-9_29
Download citation
DOI: https://doi.org/10.1007/978-3-642-23232-9_29
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-23231-2
Online ISBN: 978-3-642-23232-9
eBook Packages: Computer ScienceComputer Science (R0)