상세정보
학술대회
Translation from ECML to Linear Hybrid Automata
- 발행일
- 201209
- 출처
- International Workshop on Technologies and Applications for Cyber-Phyiscal Systems (TACPS) 2012, pp.293-300
- 협약과제
- 12MD1300, 고신뢰 자율제어 SW를 위한 CPS(Cyber Physical Systems) 핵심 기술 개발, 김원태
- 초록
- 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 제안 키워드
- Differential equation system, Discrete Event(DE), Formal Verification, Front-End, Linear hybrid automata, Model checker, Modeling and Simulation, Research institute, System specification, Verification Tool, hybrid systems