@inproceedings{0714437b2f424b47919c99fe09bec7be,
title = "Hybrid MARTE",
abstract = "MARTE (Modeling and Analysis of Real-Time and Embedded Systems) is a profile of UML (United Modeling Language). MARTE provides support for specification, design and verification of real-time and embedded systems. Even though MARTE time model offers a support to describe multiform clocks, it lacks the ability to model both discrete and continuous behaviors of a hybrid system. To address the problem of hybrid systems modeling, we propose Hybrid MARTE which is an extension to MARTE for hybrid system modeling and analysis. Compare to MARTE, in Hybrid MARTE, we can construct the logical time and chronometric time in a unified way. Besides, a systemic framework for the modeling the requirements and design of a hybrid system is provided. Hybrid MARTE also provides multiple views modeling, something like UML. Hybrid MARTE Class Diagram can be used for description in static view, Hybrid MARTE Sequence Diagram in interactive view and Hybrid MARTE Statechart in dynamic behavioral view. HybridMARTE is successfully used in modeling and analysis of the Train Position Determination of railway control systems.",
keywords = "Formal design, Hybrid system, MARTE",
author = "Lulu Yao and Jing Liu and Yan Zhang and Yuejun Wang",
note = "Publisher Copyright: {\textcopyright} 2015 IEEE.; 22nd Asia-Pacific Software Engineering Conference, APSEC 2015 ; Conference date: 01-12-2015 Through 04-12-2015",
year = "2016",
month = may,
day = "9",
doi = "10.1109/APSEC.2015.46",
language = "英语",
series = "Proceedings - Asia-Pacific Software Engineering Conference, APSEC",
publisher = "IEEE Computer Society",
pages = "174--181",
editor = "Jing Sun and Reddy, \{Y. Raghu\} and Arun Bahulkar and Anjaneyulu Pasala",
booktitle = "Proceedings - 22nd Asia-Pacific Software Engineering Conference, APSEC 2015",
address = "美国",
}