BROWSE
Detail
Conference Paper
DEV&DESS based Verification Tool for Cyber-Physical System
Cited - time in 
Share 
Share
- Authors
- Jin Myoung Kim, Hae Young Lee, In Geol Chun, Won Tae Kim, Seung Min Park, Tae Ho Cho
- Issue Date
- 2011-06
- Citation
- The Society for Modeling and Simulation International 2011, pp.1-4
- Language
- English
- Type
- Conference Paper
- Abstract
- Cyber-Physical Systems (CPS) is a highly complex system integrating physical components having sensors/actuators with computing components for the control. As the complexity of the system, the system should be designed using model-based approach and it should be verified before an implementation. In this paper, we exploit a simulation methodology for verifying the designed system by model-based approach. Simulation is an ideal way to predict behavior in complex systems that we cannot otherwise test. We describe CPS features and its hybrid modeling language that is based on the DEV&DESS formalism. Also modeled systems are simulated via hybrid simulation environment. In experimental result, we show the implementation of the simulation environment.
- KSP Keywords
- Complex systems, Experimental Result, Hybrid Simulation, Hybrid modeling, Model-based approach, Simulation Environment, Simulation methodology, Verification Tool, cyber physical system(CPS), modeling language