The Clock Constraint Specification Language for building timed causality models

Frédéric Mallet 1 Julien Deantoni 1 Charles André 1 Robert De Simone 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 : The UML Profile for Modeling and Analysis of Real-Time and Embedded (RTE) systems has recently been adopted by the OMG. Its Time Model extends the informal and simplistic Simple Time package proposed by Unified Modeling Language (UML2) and offers a broad range of capabilities required to model RTE systems including discrete/dense and chronometric/logical time. The Marte specification introduces a Time Structure inspired from several time models of the concurrency theory and proposes a new clock constraint specification language (CCSL) to specify, within the context of the UML, logical and chronometric time constraints. A semantic model in CCSL is attached to a (UML) model to give its timed causality semantics. In that sense, CCSL is comparable to the Ptolemy environment, in which directors give the semantics to models according to predefined models of computations and communication. This paper focuses on one historical model of computation of Ptolemy [SynchronousData Flow(SDF)] and shows how to build SDF graphs by combining UML and CCSL models.
Keywords : CCSL SDF MoCC
Type de document :
Article dans une revue
Innovations in Systems and Software Engineering, Springer Verlag, 2010, 6 (1-2), pp.99-106. 〈10.1007/s11334-009-0109-0〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00464894
Contributeur : Frédéric Mallet <>
Soumis le : jeudi 18 mars 2010 - 11:58:48
Dernière modification le : lundi 5 octobre 2015 - 16:59:17

Identifiants

Collections

Citation

Frédéric Mallet, Julien Deantoni, Charles André, Robert De Simone. The Clock Constraint Specification Language for building timed causality models. Innovations in Systems and Software Engineering, Springer Verlag, 2010, 6 (1-2), pp.99-106. 〈10.1007/s11334-009-0109-0〉. 〈inria-00464894〉

Partager

Métriques

Consultations de la notice

416