S-Space College of Engineering/Engineering Practice School (공과대학/대학원) Dept. of Computer Science and Engineering (컴퓨터공학부) Journal Papers (저널논문_컴퓨터공학부)
An End-to-End Tool for Developing CPSs from Design to Implementation
Cited 0 time in Web of Science Cited 0 time in Scopus
- Issue Date
- Proceedings of the The First Workshop on Verification and Validation of Cyber-Physical Systems, pp. 1-7
- 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.
- Files in This Item:
Items in S-Space are protected by copyright, with all rights reserved, unless otherwise indicated.