Modèle de contraintes temporelles pour systèmes polychrones

"Polychronous systems" are systems referring to multiple, usually interdependent, time bases. The UML profile for real-time and embedded system (MARTE) can deal with such systems, and the Clock Constraint Specification Language (CCSL), part of MARTE, can be used to specify temporal constraints. In MARTE, the semantics of CCSL is informal. In this paper, we propose a formal semantics of a kernel of CCSL, in terms of "Time System" evolutions. A Time System is a dynamic model which associates a set of configurations with a structural model made of discrete clocks and relationships among these clocks. Time Systems are compared to other existing causality models. An ABS controller illustrates the use of CCSL.

[1]  Prof. Dr. Christoph Meinel,et al.  Algorithms and Data Structures in VLSI Design , 1998, Springer Berlin Heidelberg.

[2]  Frédéric Mallet,et al.  On the Semantics of UML/MARTE Clock Constraints , 2009, 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing.

[3]  Charles André,et al.  Syntax and Semantics of the Clock Constraint Specification Language (CCSL) , 2009 .

[4]  Stephen A. Edwards,et al.  The Synchronous Languages Twelve Years Later , 1997 .

[5]  Albert Benveniste,et al.  programmi language and its , 2001 .

[6]  Frédéric Mallet,et al.  Specification and verification of time requirements with CCSL and Esterel , 2009, LCTES '09.

[7]  Philip Meir Merlin,et al.  A study of the recoverability of computing systems. , 1974 .

[8]  Randal E. Bryant,et al.  Efficient implementation of a BDD package , 1991, DAC '90.

[9]  Robert de Simone,et al.  Modeling time(s) , 2007, MODELS'07.

[10]  Wolfgang Reisig.  Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.

[11]  François Vernadat,et al.  Time Petri Nets Analysis with TINA , 2006, Third International Conference on the Quantitative Evaluation of Systems - (QEST'06).

[12]  Alberto L. Sangiovanni-Vincentelli,et al.  Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA) , 2004, EMSOFT '04.