Automated synthesis of cyber-physical systems from joint controller/architecture specifications

Automated synthesis of cyber-physical systems from joint controller/architecture specifications
复制标题

根据联合控制器/架构规范自动合成网络物理系统

DOI:
10.1109/fdl.2016.7880389
复制
发表时间:
2016
期刊:
2016 Forum on Specification and Design Languages (FDL)
影响因子:
--
通讯作者:
S. Chakraborty
S. Chakraborty
中科院分区:
--
文献类型:
--
作者:
Debayan Roy;Licong Zhang;Wanli Chang;S. Chakraborty

文献摘要

参考文献

被引文献

相似文献

一个新兴的研究方向,以解决信息物理系统(CPS)的设计是协同设计的架构和控制器。协同设计技术在早期阶段将控制和体系结构的设计集成在一起,双方的参数可以根据一定的设计目标进行综合。这探讨了双方的特点,以实现更有效的设计这样的系统。在本文中,我们给出了一个概述的CPS从联合控制器/架构规范的自动化合成,通过解释这种方法的背景和动机,并说明这种设计模式与一个具体的例子,基于FlexRay的嵌入式控制系统。此外,我们通过解释可能的扩展和相关的挑战,在这个方向上提供了未来的前景。
One emerging research direction to address the design of Cyber-Physical Systems (CPS) is the co-design of the architecture and the controllers. The co-design techniques integrate the design of control and architecture in an early phase and the parameters on both sides can be synthesized according to certain design objectives. This explores the characteristics on both sides to achieve more efficient design of such systems. In this paper, we give an overview of the automated synthesis of CPS from joint controller/architecture specifications by explaining the background and motivation for such methods and illustrating this design paradigm with a concrete example of a FlexRay-based embedded control system. Furthermore, we provide the future outlook in this direction by explaining possible extensions and the related challenges.
基于FlexRay的分布式控制系统的多目标协同优化
DOI: 10.1109/rtas.2016.7461344
发表时间: 2016
期刊: 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)
影响因子: --
作者:
Goswami;Chakraborty
通讯作者: Chakraborty