Automatic property checking of robotic applications

Alvaro Miyazawa, Pedro Ribeiro, Wei Li, Ana Cavalcanti, Jon Timmis

Research output: Chapter in Book/Report/Conference proceedingConference Proceeding (Non-Journal item)

34 Citations (SciVal)

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.

Original languageEnglish
Title of host publicationIROS 2017 - IEEE/RSJ International Conference on Intelligent Robots and Systems
PublisherIEEE Press
Pages3869-3876
Number of pages8
ISBN (Electronic)9781538626825
DOIs
Publication statusPublished - 13 Dec 2017
Event2017 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2017 - Vancouver, Canada
Duration: 24 Sept 201728 Sept 2017

Publication series

NameIEEE International Conference on Intelligent Robots and Systems
Volume2017-September
ISSN (Print)2153-0858
ISSN (Electronic)2153-0866

Conference

Conference2017 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2017
Country/TerritoryCanada
CityVancouver
Period24 Sept 201728 Sept 2017

Fingerprint

Dive into the research topics of 'Automatic property checking of robotic applications'. Together they form a unique fingerprint.

Cite this