TY - GEN
T1 - Automatic property checking of robotic applications
AU - Miyazawa, Alvaro
AU - Ribeiro, Pedro
AU - Li, Wei
AU - Cavalcanti, Ana
AU - Timmis, Jon
N1 - Funding Information:
We thank Abdulrazaq Abba, Augusto Sampaio, Jim Woodcock and anonymous referees for good suggestions. This work is funded by the EPSRC (EP/M025756/1).
Publisher Copyright:
© 2017 IEEE.
PY - 2017/12/13
Y1 - 2017/12/13
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=85035142104&partnerID=8YFLogxK
U2 - 10.1109/IROS.2017.8206238
DO - 10.1109/IROS.2017.8206238
M3 - Conference Proceeding (Non-Journal item)
AN - SCOPUS:85035142104
T3 - IEEE International Conference on Intelligent Robots and Systems
SP - 3869
EP - 3876
BT - IROS 2017 - IEEE/RSJ International Conference on Intelligent Robots and Systems
PB - IEEE Press
T2 - 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2017
Y2 - 24 September 2017 through 28 September 2017
ER -