P2I: An innovative MDA methodology for embedded real-time system

Proceedings - DSD'2005: 8th Euromicro Conference on Digital System Design - Architectures, Methods and Tools

Volumn 2005, Issue , 2005, Pages 26-33

  Cuccuru, A ^a   De Simone, R ^b   Saunier, T ^c   Siegel, G ^d   Sorel, Y ^e  

^a ECOLE CENTRALE DE LILLE   (France)

^b INRIA   (France)

^c Thales LJS   (France)

^d ANSYS Esterel Technologies   (France)

^e INRIA ROCQUENCOURT   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED DESIGN; COMPUTER ARCHITECTURE; CONFORMAL MAPPING; DATA FLOW ANALYSIS; DISTRIBUTED COMPUTER SYSTEMS; REAL TIME SYSTEMS;

ABSTRACT SPECIFICATION LEVELS; DESIGNER PRODUCTIVITY; HETEROGENEOUS ARCHITECTURE LEVELS; OPTIMIZED MAPPING;

EMBEDDED SYSTEMS;

EID: 33845315868     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DSD.2005.61     Document Type: Conference Paper

References (15)

1. [AD96] C. André, "Representation and Analysis of Reactive Behaviours: A Synchronous Approach", proc. CESA'96, IEEE-SMC, Lille, France (1996)
2. [AD03] C, Andre, and R. De Simone, "Towards a Synchronous UML Profile ?", In Proceedings of the first Workshop on Specification and Validation of UML models for Real-Time and Embedded Systems (SVERTS'03), 2003. submitted for publication.
3. [BB91] A. Benveniste, and G. Berry, "The synchronous approach to reactive and real-time systems", Proceedings of the IEEE, 79(9):1270-1282, September 1991.
4. [BCE+03] A. Benveniste, P. Caspi., S. Edwards, N. Halbwachs, P.L. Guernic, and R. De Simone;. "Synchronous Languages Twelve Years Later", Proceedings of the IEEE, January 2003.
5. [Ber99] G. Berry, "The Constructive Semantics of Pure Esterel" electronic version only, 1999.
6. [Boa01] OMG Architecture Board. Model driven architecture (MDA). Technical Report ormsc/2001-07-01, OMG, 2001.
7. [CBD04] A. Cuccuru, P. Boulet, and J.L. Dekeyser, "Regular Hardware Architecture Modelling with UML 2", Forum on specification and Design Languages (FDL04), Lille, France, September 2004.
8. [CMD04] A. Cuccuru, P. Marquet, and J.L. Dekeyser, "UML 2 as an ADL, Hierarchichal Hardware Modeling", Workshop on Architecture Description Languages (WADL04), Toulouse, France, August 2004.
9. [Dum03] C. Dumoulin, "Mda transf: A model to model transformation engine", dec 2003.
10. [Est02] Esterel Technologies, "Soc design, validation and verification". http://www.estereltechnologies.com/v3/7id=29453, 2002.
11. [QS03] T. Grandpierre, and Y. Sorel, "From algorithm and architecture specification to automatic code generation of distributed real-time executives: a seamless flow of graphs transformations", In proceedings of ACM IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE'03, Mont Saint-Michel, France, June 2003.
12. [ITRS03] ITRS. Design, 2003 edition, http://public.itrs.net/, 2003.
13. [MM03] J. Miller, and J. Mukerji, editors. "MDA Guide (Draft Version 0.2)", http://www.omg.org/docs/ab/03-01-03.pdf, 2003.
14. [Sor03] Y. Sorel. "SynDEx: System level CAD software for optimizing distributed real-time embedded systems",. Journal ERCIM News, 59:68-69, October 2004.
15. [Sor94] Y. Sorel,. "Massively parallel computing systems with real-time constraints - the "Algorithm Architecture Adequation" methodology", In Proceedings of the 1st International Conference on Massively Parallel Computing Systems, pages 44{54, Los Alamitos, CA, USA, May 1994, IEEE Computer Society Press.