학술논문
Codesign Methodologies and Tools for Cyber–Physical Systems
Document Type
Periodical
Author
Source
Proceedings of the IEEE Proc. IEEE Proceedings of the IEEE. 106(9):1484-1500 Sep, 2018
Subject
Language
ISSN
0018-9219
1558-2256
1558-2256
Abstract
Cyber–physical system (CPS) analysis and design are challenging due to the intrinsic heterogeneity of those systems. Today, CPSs are often designed by leveraging existing solutions and by adding cyber components to an existing physical system, thus decomposing the design into two separate phases. In this paper, we argue that the codesign of the cyber and physical components would expose solutions that are better under all aspects, such as safety, efficiency, security, performance, reliability, fault tolerance, and extensibility. To do so, automated codesign tools are a necessity due to the complexity of the problems at hand. In the paper, we will discuss the key needs and challenges in developing modeling, simulation, synthesis, validation, and verification tools for CPS codesign, present promising codesign approaches from our teams and others, and point out where additional research is needed.