Skip to main content

Analysis of Simulink Models Using Databases and Model Transformations

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 7706))

Abstract

In the automotive domain software developers are confronted with steadily increasing complexity of models in MATLAB/Simulink. To assist developers with complexity handling, we suggest automatic analyses resulting in special views on Simulink models, e. g. to visualise dependencies of model parts. To this end, we present (1) a modelbased approach based on the Eclipse Modeling Framework (EMF) and model transformations and (2) an alternative approach applying a central database combined with MATLAB/Simulink and Java functionality. We compare the approaches with each other especially in terms of scalability and efficiency.

This is a preview of subscription content, log in via an institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   49.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Amelunxen, C., Legros, E., Schürr, A., Stürmer, I.: Checking and Enforcement of Modeling Guidelines with Graph Transformations. In: Schürr, A., Nagl, M., Zündorf, A. (eds.) AGTIVE 2007. LNCS, vol. 5088, pp. 313–328. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  2. Anquetil, N., Kulesza, U., Mitschke, R., Moreira, A., Royer, J.C., Rummler, A., Sousa, A.: A Model-Driven Traceability Framework for Software Product Lines. Software and Systems Modeling 9(4), 427–451 (2010)

    Article  Google Scholar 

  3. Broy, M., Feilkas, M., Herrmannsdoerfer, M., Merenda, S., Ratiu, D.: Seamless Model-Based Development: From Isolated Tools to Integrated Model Engineering Environments. Proceedings of the IEEE 98(4), 526–545 (2010)

    Article  Google Scholar 

  4. Dziobek, C., Ringler, T., Wohlgemuth, F.: Herausforderungen bei der modellbasierten Entwicklung verteilter Fahrzeugfunktionen in einer verteilten Entwicklungsorganisation. In: MBEES, pp. 1–10 (2012)

    Google Scholar 

  5. Eclipse Foundation: ATL – Atlas Transformation Language (June 2012), http://www.eclipse.org/atl/

  6. Eclipse Foundation: Eclipse modeling project (June 2012), http://www.eclipse.org/modeling/

  7. JBoss Community: Hibernate (June 2012), http://www.hibernate.org/

  8. JGraph Ltd.: Java Graph Drawing Component (July 2012), http://www.jgraph.com/jgraph.html

  9. Legros, E., Schäfer, W., Schürr, A., Stürmer, I.: MATE - A Model Analysis and Transformation Environment for MATLAB Simulink. In: Giese, H., Karsai, G., Lee, E., Rumpe, B., Schätz, B. (eds.) Model-Based Engineering of Embedded Real-Time Systems. LNCS, vol. 6100, pp. 323–328. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  10. Merschen, D., Duhr, Y., Ringler, T., Hedenetz, B., Kowalewski, S.: Model-Based Analysis of Design Artefacts Applying an Annotation Concept. In: SE 2012, pp. 169–180. Gesellschaft für Informatik e.V. (GI) (March 2012)

    Google Scholar 

  11. Merschen, D., Polzer, A., Botterweck, G., Kowalewski, S.: Experiences of Applying Model-Based Analysis to Support the Development of Automotive Software Product Lines. In: VaMoS, pp. 141–150 (2011)

    Google Scholar 

  12. Merschen, D., Pott, J., Kowalewski, S.: Integration and analysis of design artefacts in embedded software development. In: TIP 2012, Colocated within the COMPSAC 2012, Izmir, Turkey. IEEE (July 2012)

    Google Scholar 

  13. Oracle Corporation: Java Persistence API (June 2012), http://www.oracle.com/technetwork/java/javaee/tech/persistence-jsp-140049.html

  14. Polzer, A., Merschen, D., Botterweck, G., Pleuss, A., Thomas, J., Hedenetz, B., Kowalewski, S.: Managing Complexity and Variability of a Model-Based Embedded Software Product Line. ISSE 8, 35–49 (2011)

    Google Scholar 

  15. Polzer, A., Merschen, D., Thomas, J., Hedenetz, B., Botterweck, G., Kowalewski, S.: View-Supported Rollout and Evolution of Model-Based ECU Applications. In: MOMPES 2010 Collocated within the ASE, pp. 37–44. ACM (September 2010)

    Google Scholar 

  16. Stürmer, I., Dörr, H., Giese, H., Kelter, U., Schürr, A., Zündorf, A.: Das MATE Projekt - visuelle Spezifikation von MATLAB Simulink/Stateflow Analysen und Transformationen. In: MBEES, pp. 83–94 (2007)

    Google Scholar 

  17. Thomas, J., Dziobek, C., Hedenetz, B.: Variability Management in the AUTOSAR-Based Development of Applications for In-Vehicle Systems. In: VaMoS, pp. 137–140 (2011)

    Google Scholar 

  18. TU Darmstadt: MOFLON (June 2012), http://www.moflon.org/

  19. University of Paderborn: The Fujaba Project (June 2012), http://www.fujaba.de

  20. Varró, G., Friedl, K., Varró, D.: Graph Transformation in Relational Databases. Electron. Notes Theor. Comput. Sci. 127(1), 167–180 (2005)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Merschen, D., Gleis, R., Pott, J., Kowalewski, S. (2013). Analysis of Simulink Models Using Databases and Model Transformations. In: Machado, R.J., Maciel, R.S.P., Rubin, J., Botterweck, G. (eds) Model-Based Methodologies for Pervasive and Embedded Software. MOMPES 2012. Lecture Notes in Computer Science, vol 7706. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-38209-3_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-38209-3_5

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-38208-6

  • Online ISBN: 978-3-642-38209-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics