Polychronous analysis of timing constraints in UML MARTE

ISORC Workshops 2010 - 2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops

Volumn 2, Issue , 2010, Pages 145-151

  Yu, Huafeng ^a   Talpin, Jean Pierre ^a   Besnard, Loïc ^a   Gautier, Thierry ^a   Mallet, Frédéric ^b   André, Charles ^b   De Simone, Robert ^b  

^a INRIA   (France)

^b UNIVERSITÉ CÔTE D'AZUR   (France)

Author keywords

CCSL; Clok calculus; MARTE; Polychrony; Simulation; Timesquare

Indexed keywords

CLOCK CALCULUS; CLOCK CONSTRAINTS; CODE GENERATION; HIERARCHIZATION; MODELING AND ANALYSIS; MULTIPLE CLOCK DOMAINS; NON-DETERMINISM; REAL-TIME AND EMBEDDED SYSTEMS; TIME MODEL; TIMED SYSTEMS; TIMING CONSTRAINTS; UML MODEL; UML PROFILES;

CALCULATIONS; CLOCKS; EMBEDDED SYSTEMS; SPECIFICATIONS; TIME SHARING SYSTEMS; TIMING CIRCUITS; UNIFIED MODELING LANGUAGE;

REAL TIME SYSTEMS;

EID: 77954766741     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISORCW.2010.10     Document Type: Conference Paper

References (9)

1. Object Management Group (OMG), "UML 2.2 Superstructure and Infrastructure," http://www.omg.org/spec/UML/2.2, February 2009, formal/2009-02-04.
2. -, "Modeling and Analysis of Real-time and Embedded systems (MARTE), v1.0," http://www.omgmarte.org/Documents/Specifications/08-06-09.pdf, November 2009, document number: formal/2009-11-02.
3. E. Lee and A. Sangiovanni-Vincentelli, "A Framework for Comparing Models of Computation," IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 17, no. 12, pp. 1217-1229, December 1998.
4. A. Benveniste, P. Caspi, S. Edwards, N. Halbwachs, P. Le Guernic, and R. de Simone, "The Synchronous Languages Twelve Years Later," Proceedings of the IEEE, vol. 91, no. 1, pp. 64-83, January 2003.
5. C. André, F. Mallet, and R. D. Simone, "Modeling Time(s)," in ACM/IEEE Int. Conf. on Model Driven Engineering Languages and Systems (MoDELS/UML'07), ser. LNCS 4735. TN, USA: Springer, October 2007, pp. 559-573.
6. INRIA AOSTE team, "TimeSquare," http://wwwsop.inria.fr/aoste/ dev/timesquare, 2009.
7. INRIA ESPRESSO team, "Polychrony V4.15.10," http://www.irisa.fr/espresso/Polychrony, December 2008.
8. L. Besnard, T. Gautier, P. Le Guernic, and J.-P. Talpin, "Compilation of polychronous data flow equations," in Correct-by-Construction Embedded Software Synthesis: Formal Frameworks, Methodologies, and Tools, S. Shukla and J.-P. Talpin, Eds. Springer, 2010.
9. C. André, "Syntax and Semantics of the Clock Constraint Specification Language (CCSL)," INRIA, Research Report RR-6925, 2009, 37 pages. [Online]. Available: http://hal.inria.fr/inria-00384077/en/.