首页> 外文会议>International symposium on leveraging applications of formal method, verification and validation >Synthesizing Capabilities for Collective Adaptive Systems from Self-descriptive Hardware Devices Bridging the Reality Gap
【24h】

Synthesizing Capabilities for Collective Adaptive Systems from Self-descriptive Hardware Devices Bridging the Reality Gap

机译:从自我描述的硬件设备中综合自适应系统的能力,弥合现实差距

获取原文

摘要

In the field of collective adaptive systems (CASs) robotic applications are mostly executed in a simulated environment with simulated hardware and abstract capabilities due to their complexity. These simulated systems usually cannot be applied in reality without major modifications. We propose an approach to bridge the gap between abstract capabilities and the execution of concrete capabilities on real hardware through a semantic description of the hardware itself, its drivers, interfaces and capabilities, enabling the realization of CAS in the real world. With a plug and play mechanism for hardware modules and the semantic description it is now possible to develop a CAS without committing to a concrete set of hardware and, moreover, the set of hardware to the requirements of the system.
机译:在集体自适应系统(CAS)领域,由于其复杂性,机器人应用程序大多在具有模拟硬件和抽象功能的模拟环境中执行。如果没有重大修改,这些模拟系统通常无法在现实中应用。我们提出了一种方法,通过对硬件本身,其驱动程序,接口和功能的语义描述来弥合抽象功能与实际功能在实际硬件上的执行之间的差距,从而在现实世界中实现CAS。利用用于硬件模块和语义描述的即插即用机制,现在可以开发CAS,而无需提交一组具体的硬件,而且也不必遵循系统要求的一组硬件。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号