面向机器人控制架构验证的中间件逆向工程
机器人学
2014-11-10 v1 形式语言与自动机理论
软件工程
摘要
我们考虑自动化验证依赖发布-订阅中间件的分布式控制软件的问题。在此场景中，主要挑战在于软件正确性本质上依赖于中间件组件的正确使用，但此类组件的结构化模型可能无法用于分析，例如，因为它们过于庞大和复杂，无法以经济高效的方式进行精确描述。为了克服这个问题，我们提出将中间件的抽象模型识别为有限状态自动机，然后在组合的中间件和控制软件模型上进行验证。这两个步骤均以计算机辅助方式，使用基于自动机识别和验证的最新技术完成。我们的主要贡献是表明，当考虑分布式控制软件实现中出现的典型问题时，识别与验证的结合是可行且有用的。
引用
@article{arxiv.1411.1907,
title = {Reverse Engineering of Middleware for Verification of Robot Control Architectures},
author = {Ali Khalili and Lorenzo Natale and Armando Tacchella},
journal= {arXiv preprint arXiv:1411.1907},
year = {2014}
}
备注
14 pages, 4 figures. The final version of the article is published in Proc. of "Simulation, Modeling, and Programming for Autonomous Robots", SIMPAR 2014 (published by Springer)