An End-to-End Tool for Developing CPSs from Design to Implementation

Abstract

For a Cyber-Physical System (CPS), the real-time execution must be guaranteed at the design time for the safe and reliable interaction between a Cyber and a Physical System. Thus, simulation method is widely used to verify and validate the behavior of a CPS, in the development process. Commercial tools of today, however, only mimic the functional behavior of the system, not the temporal behavior. Moreover, when the simulation target system is changed, developers have to reconfigure all settings to simulate properly. To overcome this limitation, we introduce our End-to-End Development Tool that can support the functional and temporal co-validation and smooth migration for the change of the simulation target system.