Lazy Parallel Synchronous Composition of In finite Transition Systems

Yuliia Romenska 1 Frédéric Mallet 1
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, COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : Embedded System Design is becoming a field of choice for Model-Driven Engineering techniques. On the engineering side, models bring an abstraction of the code that can then be generated (and regenerated) at will. On the semantic side, they bring a reasoning framework to guarantee or verify properties on the generated code. We focus here on the Clock Constraint Specification Language, initially de fined as a companion language of the UML Profile for MARTE. More specifically, we define a state-based representation of CCSL operators. To deal with unbounded operators, we propose to use lazy evaluation to represent intentionally in finite transition systems. We provide an algorithm to make the synchronized product of such transition systems and we study its complexity. Even though the transition systems are infinite, the result of the composition may become finite, in which case the (semi)algorithm terminates and exhaustive analysis becomes possible.
Type de document :
Communication dans un congrès
International Conference on ICT in Education, Research and Industrial Applications, Jun 2013, Kherson, Ukraine. CEUR-WS.org, 1000, pp.130-145, 2013, <http://ceur-ws.org/Vol-1000/ICTERI-2013-p-130-145.pdf>


https://hal.inria.fr/hal-00839978
Contributeur : Frédéric Mallet <>
Soumis le : lundi 1 juillet 2013 - 16:49:03
Dernière modification le : lundi 5 octobre 2015 - 16:56:30
Document(s) archivé(s) le : mercredi 2 octobre 2013 - 04:12:19

Fichiers

06_ICTERI13.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

  • HAL Id : hal-00839978, version 1

Collections

Citation

Yuliia Romenska, Frédéric Mallet. Lazy Parallel Synchronous Composition of In finite Transition Systems. International Conference on ICT in Education, Research and Industrial Applications, Jun 2013, Kherson, Ukraine. CEUR-WS.org, 1000, pp.130-145, 2013, <http://ceur-ws.org/Vol-1000/ICTERI-2013-p-130-145.pdf>. <hal-00839978>

Partager

Métriques

Consultations de
la notice

308

Téléchargements du document

202