Open access peer-reviewed chapter

Formal Foundations for the Generation of Heterogeneous Executable Specifications in SystemC from UML/MARTE Models

By Pablo Peñil, Fernando Herrera and Eugenio Villar

Submitted: May 27th 2011Reviewed: October 30th 2011Published: March 2nd 2012

DOI: 10.5772/36918

Downloaded: 1883

© 2012 The Author(s). Licensee IntechOpen. This chapter is distributed under the terms of the Creative Commons Attribution 3.0 License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

How to cite and reference

Link to this chapter Copy to clipboard

Cite this chapter Copy to clipboard

Pablo Peñil, Fernando Herrera and Eugenio Villar (March 2nd 2012). Formal Foundations for the Generation of Heterogeneous Executable Specifications in SystemC from UML/MARTE Models, Embedded Systems - Theory and Design Methodology, Kiyofumi Tanaka, IntechOpen, DOI: 10.5772/36918. Available from:

chapter statistics

1883total chapter downloads

More statistics for editors and authors

Login to your personal dashboard for more detailed statistics on your publications.

Access personal reporting

Related Content

This Book

Next chapter

Concurrent Specification of Embedded Systems: An Insight into the Flexibility vs Correctness Trade-Off

By F. Herrera and I. Ugarte

Related Book

First chapter

Parallel Embedded Computing Architectures

By Michael Schmidt, Dietmar Fey and Marc Reichenbach

We are IntechOpen, the world's leading publisher of Open Access books. Built by scientists, for scientists. Our readership spans scientists, professors, researchers, librarians, and students, as well as business professionals. We share our knowledge and peer-reveiwed research papers with libraries, scientific and engineering societies, and also work with corporate R&D departments and government entities.

More About Us