Translation from ECML to linear hybrid automata

Jaeyeon Jo, Junbeom Yoo, Han Choi, Sungdeok Cha, Hae Young Lee, Won Tae Kim

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

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.

Original languageEnglish
Title of host publicationEmbedded and Multimedia Computing Technology and Service, EMC 2012
Pages293-300
Number of pages8
DOIs
Publication statusPublished - 2012
Event7th International Conference on Embedded and Multimedia Computing, EMC 2012 - Gwangju, Korea, Republic of
Duration: 2012 Sep 62012 Sep 8

Publication series

NameLecture Notes in Electrical Engineering
Volume181 LNEE
ISSN (Print)1876-1100
ISSN (Electronic)1876-1119

Other

Other7th International Conference on Embedded and Multimedia Computing, EMC 2012
CountryKorea, Republic of
CityGwangju
Period12/9/612/9/8

Keywords

  • ECML
  • Formal Verification
  • Hybrid System
  • Linear Hybrid Automata
  • Translation

ASJC Scopus subject areas

  • Industrial and Manufacturing Engineering

Fingerprint Dive into the research topics of 'Translation from ECML to linear hybrid automata'. Together they form a unique fingerprint.

  • Cite this

    Jo, J., Yoo, J., Choi, H., Cha, S., Lee, H. Y., & Kim, W. T. (2012). Translation from ECML to linear hybrid automata. In Embedded and Multimedia Computing Technology and Service, EMC 2012 (pp. 293-300). (Lecture Notes in Electrical Engineering; Vol. 181 LNEE). https://doi.org/10.1007/978-94-007-5076-0_34