Hybrid MARTE statecharts

Authors:
Jing Liu;Ziwei Liu;Jifeng He;Frédéric Mallet;Zuohua Ding
Affiliations:
Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China 200062;Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China 200062;Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China 200062;INRIA Sophia Antipolis Méditerranée, Sophia Antipolis, France 06902;Center of Math Computing and Software Engineering, Zhejiang Sci-Tech University, Hangzhou, China 310018
Venue:
Frontiers of Computer Science: Selected Publications from Chinese Universities
Year:
2013

Citing 11
Cited 0

Statecharts: A visual formalism for complex systems

Science of Computer Programming
Sooner is safer than later

Information Processing Letters
Modeling, Verification, and Exploration of Task-Level Concurrency of Real-Time Embedded Systems

Modeling, Verification, and Exploration of Task-Level Concurrency of Real-Time Embedded Systems
Constraint checking in UML modeling

SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
The Expressive Power of Clocks

ICALP '95 Proceedings of the 22nd International Colloquium on Automata, Languages and Programming
Strings of Vehicles: Modeling and Safety Conditions

HSCC '98 Proceedings of the First International Workshop on Hybrid Systems: Computation and Control
Safety-Liveness Semantics for UML 2.0 Sequence Diagrams

ACSD '05 Proceedings of the Fifth International Conference on Application of Concurrency to System Design
A Systematic Approach to Domain-Specific Language Design Using UML

ISORC '07 Proceedings of the 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing
Inclusion dynamics hybrid automata

Information and Computation
Are Statecharts Finite Automata?

CIAA '09 Proceedings of the 14th International Conference on Implementation and Application of Automata
Modeling time(s)

MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

The specification of modeling and analysis of real-time and embedded systems (MARTE) is an extension of the unified modeling language (UML) in the domain of real-time and embedded systems. Even though MARTE time model offers a support to describe both discrete and dense clocks, the biggest effort has been put so far on the specification and analysis of discrete MARTE models. To address hybrid real-time and embedded systems, we propose to extend statecharts using both MARTE and the theory of hybrid automata. We call this extension hybrid MARTE statecharts. It provides an improvement over the hybrid automata in that: the logical time variables and the chronometric time variables are unified. The formal syntax and semantics of hybrid MARTE statecharts are given based on labeled transition systems and live transition systems. As a case study, we model the behavior of a train control system with hybrid MARTE statecharts to demonstrate the benefit.