| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
Polychronous Analysis of Timing Constraints in UML MARTE
Abstract : The UML Profile for Modeling and Analysis of Real-Time and Embedded systems (MARTE) defines a broadly expressive Time Model to provide a generic timed interpretation for UML models. As a part of MARTE, Clock Constraint Specification Language (CCSL) allows the specification of systems with multiple clock domains as well as nondeterminism. In this paper, we propose to take advantage of Polychrony clock calculus, named hierarchization, to analyze timed systems specified in CCSL, and to generate code for simulation considering determinism. Hierarchization enables to identify the endochrony property in a system that allows code generation ensuring determinism. The presented work is being integrated into the TimeSquare environment dedicated to the simulation of MARTE timed systems.
Cited literature [15 references]
https://hal.inria.fr/inria-00497249
Contributor : Yu Huafeng Connect in order to contact the contributor
Submitted on : Friday, July 2, 2010 - 7:54:44 PM
Last modification on : Friday, January 21, 2022 - 3:18:01 AM
Long-term archiving on: : Tuesday, October 23, 2012 - 9:37:24 AM
Contributor : Yu Huafeng Connect in order to contact the contributor
Submitted on : Friday, July 2, 2010 - 7:54:44 PM
Last modification on : Friday, January 21, 2022 - 3:18:01 AM
Long-term archiving on: : Tuesday, October 23, 2012 - 9:37:24 AM
File
yu2010mobe.pdf
Files produced by the author(s)