Fast and robust modelling using a direct translation from a robotic application to its abstracted behaviour.
RSP(2019)
摘要
In traditional model-based engineering (MBE), explicit behavioural models are defined with modelling or domain-specific languages like UML or AADL. These models then refer to corresponding parts of the source code. We propose an alternative scheme, where the application's abstracting code is both the behavioural model and an integral part of the implementation. Together with a special library of explicit objects, like a periodic thread, a running application is able to export its abstracted model. That model can then be refined with our translator from application sources to state machines. As we model cyberphysical systems, the models in question can be probabilistic, non-deterministic and temporal.
In order to verify our approach in practice, we have implemented the said library and adapted the translator in question. To demonstrate the potential usage, we refine a model of an application of a robot performing SLAM.
更多查看译文
关键词
model checking, model-based engineering, real-time
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要