Scenarios@run.time - Distributed Execution of Specifications on IoT-connected Robots
Scenarios@run.time - Distributed Execution of Specifications on IoT-connected Robots
复制标题
Scenarios@run.time - 物联网连接机器人规范的分布式执行
DOI：
--
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
Raphael Voges
中科院分区：
文献类型：
--
作者：
Joel Greenyer;D. Gritzner;T. Gutjahr;Tim Duente;Stefan Dulle;F. Deppe;Nils Glade;Marius Hilbich;F. König;Jannis Luennemann;Nils Prenner;K. Raetz;Thilo Schnelle;Martin Singer;Nicolas Tempelmeier;Raphael Voges
在许多领域，我们发现网络物理系统由多个软件控制的组件组成，这些组件通过通信来控制复杂的物理过程。随着客户需求日益丰富的功能，组件交互变得越来越复杂。我们正在开发一种基于场景的正式方法，用于指定扩展实时序列图概念的组件间行为。这种方法直观而精确，并且自动化分析功能可以帮助工程师处理上述复杂性。特别是，通过播出算法的执行支持对场景相互作用中出现的行为的模拟。然而，从组件间规范导出分布式实现是一项具有挑战性的任务。另一种选择是通过分布式系统来播放规范。在本文中，我们提出了一种分布式播放方法，其中组件通过 MQTT（物联网应用中使用的一种协议）进行协调。我们通过在基于 Raspberry Pi 的机器人上实现的 Car-to-X 示例来演示该方法。
In many areas we find cyber-physical systems consisting of multiple software-controlled components that communicate to control complex physical processes. As customers demand increasingly rich functionality, the component interactions become more and more complex. We are developing a formal scenario-based method for specifying the inter-component behavior that extends the concepts of Live Sequence Charts. This method is intuitive, yet precise, and automated analysis capabilities help engineers deal with the aforementioned complexity. In particular, the execution via the play-out algorithm supports a simulation of the behavior emerging from the interplay of the scenarios. Deriving a distributed implementation from an inter-component specification, however, is a challenging task. An alternative is the play-out of the specification by the distributed system. In this paper, we present a distributed play-out approach where the components coordinate via MQTT, a protocol used in IoT applications. We demonstrate the approach by a Car-to-X example implemented on Raspberry Pi-based robots.