Microelectronics Engineering Group

Microelectronics Engineering Group

Electronics Technology, Systems and Automation Engineering Department University of Cantabria
Home    Staff    Research    Teaching    Doctorate    Publications    Tools    versión en español Tue 19-Mar-24 . 11:52



Web Map


Location

News

Santander Info

GIM>Research>Publication
   PUBLICATION
 
   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.
© Copyright GIM (TEISA-UC)    ¤    All rights reserved.    ¤    Legal TermsE-Mail Webmaster