@inproceedings{6e71dc1dc6e34e9a9cf891a9a9ebba1c,
title = "HSD: Hybrid MARTE Sequence Diagram",
abstract = "Modeling and Analysis of Real-Time and Embedded systems (MARTE) is a profile of United Modeling Language (UML), which provides support for specification, design and verification for Real-Time Embedded Systems (RTES). MARTE sequence diagram can deal with both discrete and dense time in which a clock can be either chronometric or logical. However it lacks the ability to describe the continuous behavior of a hybrid system. We propose a new method named Hybrid MARTE Sequence Diagram (HSD) to describe the communication between participants and the continuous evolution within the execution occurrence of a hybrid system. HSD combines the time model from MARTE and specification of the time-continuous behavior aspects from hybrid automata with MARTE sequence diagram. It improves the MARTE sequence diagram in that: the logical time and the chronometric time are unified. Besides, the description of continuous evolution of a hybrid system is provided. We firstly extend the basic MARTE elements to support both discrete and continuous aspects. Then we define the formal syntax and semantics of HSD based on hybrid transition system. Using this new method, we model an industrial application named Train Position Determination (TPD).",
author = "Lulu Yao and Jing Liu and Yan Zhang and Yuejun Wang and Haiying Sun and Qingsheng Wang and Dehui Du and Xiaohong Chen",
note = "Publisher Copyright: {\textcopyright} 2015 IEEE.; IEEE International Conference on Software Quality, Reliability and Security, QRS 2015 ; Conference date: 03-08-2015 Through 05-08-2015",
year = "2015",
month = sep,
day = "21",
doi = "10.1109/QRS.2015.35",
language = "英语",
series = "Proceedings - 2015 IEEE International Conference on Software Quality, Reliability and Security, QRS 2015",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "189--194",
booktitle = "Proceedings - 2015 IEEE International Conference on Software Quality, Reliability and Security, QRS 2015",
address = "美国",
}