More Web Proxy on the site http://driver.im/

research-article

From UML diagrams to simulink models: a precise and verified translation

Authors:

Simone Cavalheiro,

Leila RibeiroAuthors Info & Claims

SAC '15: Proceedings of the 30th Annual ACM Symposium on Applied Computing

Pages 1547 - 1552

https://doi.org/10.1145/2695664.2695869

Published: 13 April 2015 Publication History

Abstract

The last decade witnessed an enormous increase in the use and complexity of embedded systems. To enable a fast development of these systems while guaranteeing their quality, different kinds of models may be used. UML and Simulink are attractive languages for embedded systems design and modeling that allow to describe systems at different levels of abstraction. An automatic mapping from UML to Simulink is an useful resource in a seamless design flow, allowing designers to use UML as modeling language for the whole system and to use facilities for code generation of Simulink. In previous work, an UML to Simulink translation was formalised using graph grammars and prototyped using a Java implementation. The use of a formal language allowed the verification of important properties of the mapping, like termination and confluence (ensuring, e.g., that there is a unique model resulting from the transformation). In this work, an extension of this formal definition is presented to support nested method calls, reducing restrictions and keeping the compatibility and the properties of termination and confluence of the original translation.

References

[1]

UML to Simulink Grammar. https://www.dropbox.com/s/i7153lwc67xy2ma/UMLtoSimulinkGrammar.gps.zip?dl=0. {Online; accessed December 2014}.

[2]

Agg: The homebase. http://user.cs.tu-berlin.de/~gragra/agg/, 2014. Accessed October 2014.

[3]

N. N. Bisi, V. Pazzini, L. Foss, S. A. da Costa Cavalheiro, L. B. de Brisolara, and F. R. Wagner. Using graph grammars to develop embedded systems based on uml models. In WEIT 2011, pages 81--87. IEEE Computer Society, 2011.

Digital Library

[4]

L. B. Brisolara, M. F. S. Oliveira, R. Redin, L. C. Lamb, L. Carro, and F. Wagner. Using UML as front-end for heterogeneous software code generation strategies. In DATE'08, pages 504--509. ACM, 2008.

Digital Library

[5]

A. Costa, V. Pazzini, L. Foss, S. A. da Costa Cavalheiro, L. B. de Brisolara, and F. R. Wagner. Automatic translation from UML to simulink CAAM using graph grammars. In WEIT 2013, pages 59--66. IEEE Computer Society, 2013.

Digital Library

[6]

L. B. de Brisolara. Strategies for embedded software development based on high-level models. Phd thesis, Federal University of Rio Grande do Sul, 2007.

[7]

H. Ehrig, K. Ehrig, J. de Lara, G. Taentzer, D. Varró, and S. Varró-Gyapay. Termination criteria for model transformation. In M. Cerioli, editor, FASE'05, volume 3442 of LNCS, pages 49--63. Springer, April 2005.

Digital Library

[8]

C. Ermel, M. Rudolf, and G. Taentzer. The AGG approach: language and environment. Handbook of graph grammars and computing by graph transformation: vol. 2: applications, languages, and tools, pages 551--603, 1999.

Digital Library

[9]

T. Farkas, C. Neumann, and A. Hinnerichs. An integrative approach for embedded software design with UML and Simulink. In COMPSAC'09, volume 2, pages 516--521. IEEE Computer Society, 2009.

Digital Library

[10]

L. Foss, S. A. da Costa Cavalheiro, N. N. Bisi, V. S. Pazzini, L. B. de Brisolara, and F. R. Wagner. From uml to simulink caam: Formal specification and transformation analysis. Revista de Informática Teórica e Aplicada (RITA), 20(1):102--139, 2013.

[11]

S.-I. Han, S.-I. Chae, L. Brisolara, L. Carro, K. Popovici, X. Guerin, A. A. Jerraya, K. Huang, L. Li, and X. Yan. Simulink®-based heterogeneous multiprocessor soc design flow for mixed hardware/software refinement and simulation. Integr. VLSI J., 42: 227--245, February 2009.

Digital Library

[12]

A. Kaur. Application of UML in real-time embedded systems. IJSEA, 3(2):59--70, march 2012.

[13]

MATHWORKS. SIMULINK Model-Based and System-Based Design, 2013.

[14]

OMG. OMG Unified Modeling Language specification (version 2.4), 2011. {Online; accessed October 2014}.

[15]

OMG. A uml profile for marte: Modeling and analysis of real-time embedded systems, June 2011. {Online; accessed October 2014}.

[16]

Papyrus. Open source tool for graphical uml2 modelling. http://www.papyrusuml.org/, 2008. {Online; accessed October 2014}.

[17]

A. Rensink. The GROOVE simulator: A tool for state space generation. In Applications of Graph Transformations with Industrial Relevance, volume 3062 of LNCS, pages 479--485. Springer, 2004.

[18]

A. Rensink, I. Boneva, H. Kastenberg, and T. Staijen. User Manual for the GROOVE Tool Set. Department of Computer Science, University of Twente, 2010.

[19]

G. Rozenberg, editor. Handbook of Graph Grammars and Computing by Graph Transformation: Volume I. Foundations. World Scientific Publishing, 1997.

Digital Library

[20]

C.-J. Sjöstedt, J. Shi, M. Törngren, D. Servat, D. Chen, V. Ahlsten, and H. Lönn. Mapping Simulink to UML in the Design of Embedded Systems: Investigating Scenarios and Structural and Behavioral Mapping. In OMER4 Post-proceedings, 2008.

[21]

D. Steinberg, F. Budinsky, M. Paternostro, and E. Merks. EMF Eclipse Modeling Framework. The Eclipse Series. Addison-Wesley, 2 edition, 2008.

Digital Library

[22]

Y. Vanderperren and W. Dehaene. From UML/SysML to Matlab/Simulink: current state and future perspectives. In DATE'06, pages 93--93. European Design and Automation Association, 2006.

Digital Library

[23]

J. Vidal, F. de Lamotte, G. Gogniat, P. Soulard, and J.-P. Diguet. A co-design approach for embedded system modeling and code generation with UML and MARTE. In DATE'09, pages 226--231. European Design and Automation Association, 2009.

Digital Library

Cited By

Paz AEl Boussaidi G(2019)Supporting Consistency in the Heterogeneous Design of Safety-Critical Software2019 IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC)10.1109/COMPSAC.2019.00015(37-46)Online publication date: Jul-2019
https://doi.org/10.1109/COMPSAC.2019.00015

Index Terms

From UML diagrams to simulink models: a precise and verified translation
1. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Formal software verification
  2. Software organization and properties
    1. Software functional properties
      1. Formal methods

Recommendations

A UML Model to Simulink Model Transformation Method in the Design of Embedded Software
CIS '14: Proceedings of the 2014 Tenth International Conference on Computational Intelligence and Security

Model Driven Development is becoming the trend of embedded software development, UML and Simulink are very important modeling languages. However, UML is a semi-formal modeling language, lacking of accurate semantics, which can't validate correctness of ...
Integrating UML diagrams for production control systems
ICSE '00: Proceedings of the 22nd international conference on Software engineering

This paper proposes to use SDL block diagrams, UML class diagrams, and UML behavior diagrams like collaboration diagrams, activity diagrams, and statecharts as a visual programming language. We describe a modeling approach for flexible, autonomous ...
Towards Transformation from UML to Event-B
QRS-C '15: Proceedings of the 2015 IEEE International Conference on Software Quality, Reliability and Security - Companion

UML is one of the most widely used modeling languages for software development. It provides unique metamodels to describe systems in the form of graphics, which makes the whole modeling process visual and easy to handle. However, UML is a semi-formal ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

SAC '15: Proceedings of the 30th Annual ACM Symposium on Applied Computing

April 2015

2418 pages

ISBN:9781450331968

DOI:10.1145/2695664

Conference Chairs:
Roger L. Wainwright
University of Tulsa
,
Juan Manuel Corchado
University of Salamanca, Spain
,
Program Chairs:
Alessio Bechini
University of Pisa, Italy
,
Jiman Hong
Soongsil University, South Korea

Copyright © 2015 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

Sponsors

SIGAPP: ACM Special Interest Group on Applied Computing

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 13 April 2015

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Funding Sources

Conference

SAC 2015

Sponsor:

SIGAPP

SAC 2015: Symposium on Applied Computing

April 13 - 17, 2015

Salamanca, Spain

Acceptance Rates

SAC '15 Paper Acceptance Rate 291 of 1,211 submissions, 24%;

Overall Acceptance Rate 1,650 of 6,669 submissions, 25%

Upcoming Conference

SAC '25

Sponsor:
sigapp

The 40th ACM/SIGAPP Symposium on Applied Computing

March 31 - April 4, 2025

Catania , Italy

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

1
Total Citations
View Citations
175
Total Downloads

Downloads (Last 12 months)5
Downloads (Last 6 weeks)0

Reflects downloads up to 12 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Paz AEl Boussaidi G(2019)Supporting Consistency in the Heterogeneous Design of Safety-Critical Software2019 IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC)10.1109/COMPSAC.2019.00015(37-46)Online publication date: Jul-2019
https://doi.org/10.1109/COMPSAC.2019.00015

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents