BRACE: An assertion framework for debugging cyber-physical systems
BRACE: An assertion framework for debugging cyber-physical systems
复制标题
BRACE：用于调试网络物理系统的断言框架
DOI：
--
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
Miryung Kim
中科院分区：
文献类型：
--
作者：
Kevin Boos;Chien;C. Julien;Miryung Kim
开发网络物理系统（CPS）是具有挑战性的，因为正确性取决于逻辑状态和物理状态，这些状态总体难以观察。开发人员通常需要在观察其行为的同时反复重新运行该系统，并调整硬件和软件，直到满足最低要求为止。这个过程乏味，容易出错，缺乏严格性。为了解决这个问题，我们提出了Brace，这是一个框架，通过使开发人员能够通过断言将系统（即逻辑）和物理属性相关联，从而简化了该过程。本文介绍了我们对此类断言的要求和语义的初步调查，我们称之为CPS主张。我们讨论了使用移动机器人实施和使用框架的经验，并突出了未来的关键研究挑战。
Developing cyber-physical systems (CPS) is challenging because correctness depends on both logical and physical states, which are collectively difficult to observe. The developer often need to repeatedly rerun the system while observing its behavior and tweak the hardware and software until it meets minimum requirements. This process is tedious, error-prone, and lacks rigor. To address this, we propose BRACE, A framework that simplifies the process by enabling developers to correlate cyber (i.e., logical) and physical properties of the system via assertions. This paper presents our initial investigation into the requirements and semantics of such assertions, which we call CPS assertions. We discusses our experience implementing and using the framework with a mobile robot, and highlight key future research challenges.