Generating heterogeneous executable specifications in SystemC from UML/MARTE models

Innovations in Systems and Software Engineering

Volumn 6, Issue 1, 2010, Pages 65-71

  Penil P ^a   Medina, J ^a   Posadas, H ^a   Villar, E ^a  

^a UNIVERSITY OF CANTABRIA   (Spain)

Author keywords

Heterogeneity; MARTE; Models of computation and communication; SystemC; UML

Indexed keywords

AUTOMATIC GENERATION; COMMUNICATION FEATURES; DESIGN FLOWS; DESIGN METHODOLOGY; DESIGN STEPS; DEVELOPMENT PROCESS; EXECUTABLE MODEL; EXECUTABLE SPECIFICATIONS; HETEROGENEITY; MODELING AND ANALYSIS; MODELS OF COMPUTATION; REAL-TIME EMBEDDED SYSTEMS; REFINEMENT STEP; SYSTEM IMPLEMENTATION; SYSTEM STRUCTURES; SYSTEMC;

EMBEDDED SYSTEMS; SPECIFICATIONS;

DESIGN;

EID: 77949310957     PISSN: 16145046     EISSN: 16145054     Source Type: Journal    
DOI: 10.1007/s11334-009-0105-4     Document Type: Article

References (25)

1. Jantsch A (2004) Modeling embedded systems and SoCs. Morgan Kaufmann, Menlo Park.
2. Object Management Group (2008) UML profile for MARTE, beta 2. OMG document number: ptc/08-07-09.
3. Herrera F, Villar E (2006) A framework for embedded system specification under different models of computation in SystemC. In: Annual ACM IEEE design automation conference proceedings of the 43rd annual conference on design automation.
4. Herrera F, Villar E (2008) A framework for heterogeneous specification and design of electronic embedded systems in SystemC. In: ACM transactions on design automation of electronic systems, special issue on demonstrable software systems and hardware platforms, V. 12, Issue 3, N. 22. 2007-08.
5. Vanderperren Y, Mueller W, Dehaene W (2008) UML for electronic systems design: a comprehensive overview. J Des Autom Embed Syst.
6. Lavagno L, Martin G, Selic B (2003) UML for real: design of embedded real-time systems. ISBN 1-4020-7501-4.
7. OMG (2006) UML profile for system on chip (SoC) specification v1. 0. 1.
8. Müller W, Rosenstiel W, Ruf J (2003) SystemC, methodologies and applications. ISBN 1-4020-7479-4.
9. Bocchio S, Riccobene E, Rosti A, Scandurra P (2005) A SoC design flow based on UML 2. 0 and SystemC. In DAC, Workshop UML-Sock'05.
10. Mueller W, Rosti A, Bocchio S, Riccobene E, Scandurra P, Dehaene W, Vanderperren Y (2006) UML for ESL design-basic principals, tools, and applications. In: IEEE/ACM.
11. Andersson P, Höst M (2007) UML and SystemC a comparison and mapping rules for automatic code generation. In: Embedded systems specification and design languages selected contributions from FDL'07.
12. Kreku J, Hoppari M, Kestilä T (2007) SystemC workload model generation from UML for performance simulation, FDL '07.
13. Raslan W, Sameh A (2007) Mapping SysML to SystemC, FDL '07.
14. Raslan W, Sameh A (2007) System-level modeling and design using SysML and SystemC. DAC.
15. Mraidha C, Tanguy Y, Jouvray C, Terrier F, Gérard S (2008) An execution framework for MARTE-based models. In: Thirteenth IEEE international conference on the engineering of complex computer systems, ICECCS.
16. Taha S, Radermacher A, Gerard S, Dekeeyser J-L (2007) MARTE: UML-based hardware design from modeling to simulation. FDL'2007, Barcelona, Spain.
17. Revol S, Taha S, Terrier F, Clouard A, Gerard S, Radermacher A, Dekeyser J-L (2008) Unifying HW analysis and SoC Design flows by bridging two key standards: UML and IP-XACT.
18. Piel É, Ben Atitallah R, Marquet P, Meftali S, Niar S, Etien A, Jean-Luc Dekeyser, Boulet P (2008) Gaspard2: from MARTE to SystemC simulation.
19. Mura M, Panda A, Prevostini M (2008) Executable models and verification from MARTE and SysML: a comparative study of code generation capabilities.
20. Mallet F (2008) Clock constraints specification language: specifying clock constraints with UML/MARTE. Innov Syst Softw Eng 4(3): 309-314.
21. Mallet F, André C (2009) On the semantics of UML/MARTE clock constraints. In: International symposium on object/component/service-oriented real-time distributed computing (ISORC), pp 301-312.
22. Mallet F, de Simone R (2008) MARTE: a profile for RT/E systems modeling, analysis-and simulation? In: Proceedings of first international conference on simulation tools and techniques for communications, networks on systems. ACM, Marseille.
23. Kahn G (1974) The semantics of a simple language for parallel programming. In: Proceedings of the international federation for information processing working conference on data semantics.
24. Hoare CAR (1978) Communicating sequential processes. Commun ACM 21: 8.
25. Lee EA, Messerschmitt DG (1987) Static scheduling of synchronous data flow programs for digital signal processing. IEEE Trans Comput 36: 1.