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
期刊:
影响因子:
--
通讯作者:
S. Chakraborty
中科院分区:
文献类型:
--
作者:
Debayan Roy;Licong Zhang;Wanli Chang;S. Chakraborty
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.
DOI:
10.1109/rtas.2016.7461344
发表时间:
2016
期刊:
2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)
影响因子:
--
作者:
Goswami;Chakraborty
通讯作者:
Chakraborty