CHARIOT: a domain specific language for extensible cyber-physical systems
CHARIOT: a domain specific language for extensible cyber-physical systems
复制标题
CHIOT：可扩展网络物理系统的领域特定语言
DOI：
--
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
Martin Lehofer
中科院分区：
文献类型：
--
作者：
Subhav Pradhan;A. Dubey;A. Gokhale;Martin Lehofer
无线网络技术、集成传感器、执行器和边缘计算设备的广泛采用、可用性和普遍性正在促进范式转变，使我们能够从传统的静态配置的网络物理系统（CPS）垂直孤岛过渡到更加开放、动态和可扩展的下一代CPS。分段航天器、智能城市计算架构、无人机（UAV）集群都是可扩展CPS的示例，其中可扩展性由物理资源的动态聚合、物理动态对计算资源可用性的影响以及托管在这些系统上的各种多域应用程序来暗示。然而，实现可扩展的CPS需要解决设计时和运行时的挑战，从这些系统的特定属性。在本文中，我们首先描述了可扩展CPS的不同属性-动态性，可扩展性，远程部署，安全性，异构性和弹性。然后，我们确定不同的设计时的挑战，源于异构性和弹性的要求。我们特别关注软件异构性所产生的各种通信中间件的可用性。然后，我们提出了适当的解决方案，在一个新的领域特定的语言的背景下，并描述这种语言及其功能已经从我们过去的工作。
Wider adoption, availability and ubiquity of wireless networking technologies, integrated sensors, actuators, and edge computing devices is facilitating a paradigm shift by allowing us to transition from traditional statically configured vertical silos of Cyber-Physical Systems (CPS) to next generation CPS that are more open, dynamic and extensible. Fractionated spacecraft, smart cities computing architectures, Unmanned Aerial Vehicle (UAV) clusters are all examples of extensible CPS wherein extensibility is implied by the dynamic aggregation of physical resources, affect of physical dynamics on availability of computing resources, and various multi-domain applications hosted on these systems. However, realization of extensible CPS requires resolving design-time and runtime challenges emanating from properties specific to these systems. In this paper, we first describe different properties of extensible CPS - dynamism, extensibility, remote deployment, security, heterogeneity and resilience. Then we identify different design-time challenges stemming from heterogeneity and resilience requirements. We particularly focus on software heterogeneity arising from availability of various communication middleware. We then present appropriate solutions in the context of a novel domain specific language and describe how this language and its features have evolved from our past work.