State-based representation of CCSL operators

Frédéric Mallet 1, * Jean-Vivien Millo 1 Yuliia Romenska 1
* Corresponding author
1 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , Inria Paris-Rocquencourt, Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : The UML Profile for Modeling and Analysis of Real-Time and Embedded systems promises a general modeling framework to design and analyze systems. Lots of works have been published on the modeling capabilities offered by MARTE, much less on verification techniques supported. The Clock Constraint Specification Language (CCSL), first introduced as a companion language for MARTE, was devised to offer a formal support to conduct causal and temporal analyses on MARTE models. This work introduces formally a state-based semantics for CCSL operators.
Document type :
Reports
Complete list of metadatas

Cited literature [18 references]  Display  Hide  Download

https://hal.inria.fr/hal-00846684
Contributor : Frédéric Mallet <>
Submitted on : Thursday, September 12, 2013 - 4:42:47 PM
Last modification on : Monday, November 5, 2018 - 3:36:03 PM
Long-term archiving on : Thursday, April 6, 2017 - 7:10:51 PM

Files

rr-8334.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00846684, version 4

Citation

Frédéric Mallet, Jean-Vivien Millo, Yuliia Romenska. State-based representation of CCSL operators. [Research Report] RR-8334, INRIA. 2013. ⟨hal-00846684v4⟩

Share

Metrics

Record views

398

Files downloads

254