IROS 2017poster57 citations
Automatic property checking of robotic applications
Alvaro Miyazawa, Pedro Ribeiro, Wei Li, Ana Cavalcanti, Jon Timmis
Abstract
Robot software controllers are often concurrent and time critical, and requires modern engineering approaches for validation and verification. With this motivation, we have developed a tool and techniques for graphical modelling with support for automatic generation of underlying mathematical definitions for model checking. It is possible to check automatically both general properties, like absence of deadlock, and specific application properties. We cater both for timed and untimed modelling and verification. Our approach has been tried in examples used in a variety of robotic applications.
BibTeX
@inproceedings{iros2017_automaticpropert,
title = {Automatic property checking of robotic applications},
author = {Alvaro Miyazawa and Pedro Ribeiro and Wei Li and Ana Cavalcanti and Jon Timmis},
booktitle = {IROS 2017},
year = {2017}
}