By Topic

Using Graph Grammars to Develop Embedded Systems Based on UML Models

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

6 Author(s)
Bisi, N.N. ; Centro de Desenvolvimento Tecnol., Univ. Fed. de Pelotas, Pelotas, Brazil ; Pazzini, V. ; Foss, L. ; Cavalheiro, S.A.D.C.
more authors

UML and Simulink models are widely used in embedded systems design. UML offers proper high-level abstractions for software-oriented models specification, while Simulink allows a better dataflow description. The features of each model motivate the development of proposals unifying and creating mappings between them. This article proposes a formal definition for a translation from UML to a Simulink model, previously proposed, using the graph grammar formalism. This mapping was previously described in natural language and a prototype implemented in Java. The formal definition using graph grammars not only eliminates possible ambiguities in the mapping, but also allows the use of the Groove tool to automate the translation.

Published in:

Theoretical Computer Science (WEIT), 2011 Workshop-School on

Date of Conference:

24-26 Aug. 2011