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 . 04:14



Web Map


Location

News

Santander Info

GIM>Research>Publication
   PUBLICATION
 
   Full record
Title:Formal Foundations for MARTE-SystemC Interoperability
Type:International Conference
Where:Forum on specification & Design Languages 2010, FDL'2010, IEEE
Date:2010-09
Authors: Pablo Peñil
Fernando Herrera
Eugenio Villar
R&D Lines: Design and verification of HW/SW embedded systems
Projects: FP7 216807 SATURN
FP7 IP 247999 COMPLEX
ISBN:1636-9874
PDF File:see file
Abstract:Model Driven Architecture (MDA) and Electronic System Level
(ESL) design are key approaches for succeeding in the
specification and design of current embedded systems, which are
increasingly complex and heterogeneous. MARTE is the most
advanced UML profile for abstract specification of real-time
embedded systems in the MDA context, while SystemC is the
language most widely adopted by the ESL design community.
This paper provides formal foundations for a consistent and
synergistic link between MARTE and SystemC. These foundations
are based on the ForSyDe formalism, used to reflect the abstract
execution semantics of both the MARTE model and its
corresponding SystemC executable specification. The concepts
introduced are shown through the specification of an essential
part of a video decoder.
IEEEXplore FDL'10 Proceedings
© Copyright GIM (TEISA-UC)    ¤    All rights reserved.    ¤    Legal TermsE-Mail Webmaster