FORMAL VERIFICATION OF SAFETY BEHAVIOURS OF THE OUTDOOR ROBOT RAVON

Martin Proetzsch, Karsten Berns, T. Schuele, K. Schneider

2007

Abstract

This paper presents an approach to the formal verification of safety properties of the behaviour-based control network of the mobile outdoor robot RAVON. In particular, we consider behaviours that are used for the computation of the projected vehicle’s velocity from obstacle proximity sensor data and inclination information. We describe how this group of behaviours is implemented in the synchronous language Quartz in order to be formally verified using model checking techniques of the Averest verification framework. Moreover, by integrating the automatically generated and verified code into the behaviour network, it can be guaranteed that the robot slows down and stops as required by the given safety specifications.

Download


Paper Citation


in Harvard Style

Proetzsch M., Berns K., Schuele T. and Schneider K. (2007). FORMAL VERIFICATION OF SAFETY BEHAVIOURS OF THE OUTDOOR ROBOT RAVON . In Proceedings of the Fourth International Conference on Informatics in Control, Automation and Robotics - Volume 2: ICINCO, ISBN 978-972-8865-83-2, pages 157-164. DOI: 10.5220/0001619101570164

in Bibtex Style

@conference{icinco07,
author={Martin Proetzsch and Karsten Berns and T. Schuele and K. Schneider},
title={FORMAL VERIFICATION OF SAFETY BEHAVIOURS OF THE OUTDOOR ROBOT RAVON},
booktitle={Proceedings of the Fourth International Conference on Informatics in Control, Automation and Robotics - Volume 2: ICINCO,},
year={2007},
pages={157-164},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001619101570164},
isbn={978-972-8865-83-2},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Fourth International Conference on Informatics in Control, Automation and Robotics - Volume 2: ICINCO,
TI - FORMAL VERIFICATION OF SAFETY BEHAVIOURS OF THE OUTDOOR ROBOT RAVON
SN - 978-972-8865-83-2
AU - Proetzsch M.
AU - Berns K.
AU - Schuele T.
AU - Schneider K.
PY - 2007
SP - 157
EP - 164
DO - 10.5220/0001619101570164