Formal verification of behaviour networks including sensor failures
详细信息 查看全文
- 作者：Lisa Kiekbusch ; kiekbusch@cs.uni-kl.de" class="auth_mail" title="E-mail the corresponding authorAuthor Vitae ; Christopher ArmbrustAuthor Vitae ; Karsten BernsAuthor Vitae
- 关键词：Behaviour-based system ; Behaviour network ; Behaviour modelling ; Behaviour network verification ; Model checking
- 刊名：Robotics and Autonomous Systems
- 出版年：2015
- 出版时间：December 2015
- 年：2015
- 卷：74
- 期：part_PB
- 页码：331-339
- 全文大小：2098 K
文摘
- •
Behaviour-based systems are verified using model checking.
- •
The model checking toolbox Uppaal is used.
- •
Sensor failures are integrated into the model.
- •
Crucial properties are checked to ensure the safety of the analysed systems.
- •
Examples from real robotic systems show the soundness of the presented approach.