BROWSE
Detail
Conference Paper
Translation from ECML to Linear Hybrid Automata
Cited 1 time in 
Share 
Share
- Authors
- Jaeyeon Jo, Junbeom Yoo, Han Choi, Sungdeok Cha, Hae Young Lee, Won-Tae Kim
- Issue Date
- 2012-09
- Citation
- International Workshop on Technologies and Applications for Cyber-Phyiscal Systems (TACPS) 2012, pp.293-300
- Language
- English
- Type
- Conference Paper
- Abstract
- ECML (ETRI CPS Modeling Language) is a modeling formalism for hybrid systems, recently proposed by a research institute - ETRI in Korea. It extends a basic formalism DEV&DESS (Discrete EVent & Differential Equation System Specification) with various conveniences in modeling and simulation. The formal verification tool for ECML has not been provided yet. This paper proposes translation rules from ECML to linear hybrid automata which is an input front-end of HyTech. We can verify ECML models with the HyTech model checker. © 2012 Springer Science+Business Media.
- KSP Keywords
- Differential equation system, Discrete Event(DE), Formal verification, Front-End, Hybrid system, Linear hybrid automata, Model checker, Modeling and Simulation, Research institute, System specification, Verification Tool