| Full record |
| Title: | Formal Foundations for the Generation of Heterogeneous Executable Specifications in SystemC from UML/MARTE Models |
| Type: | Book chapter |
| Where: | Kiyofumi Tanaka: "Embedded Systems - Theory and Design Methodology", InTech, Croatia |
| Date: | 2012-02 |
| Authors: |
Pablo Peñil
Fernando Herrera
Eugenio Villar
|
| R&D Lines: |
Design and verification of HW/SW embedded systems
|
| Projects: |
FP7 IP 247999 COMPLEX
FP7 216807 SATURN
|
| ISBN: | 978-953-51-01673 |
| PDF File: |
|
| Abstract: | This article provides the formal foundations necessary in order to establish a link between MARTE and SystemC. These foundations are based on the ForSyDe formalism. ForSyDe demonstrates the equivalence among MARTE models of a SystemC executable specification, ensuring that the transformation is correct-by-construction.
Book. |
