Skip to main content

Bidirectional Crosslinking of System and Software Modeling in the Automotive Domain

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

Abstract

Replacing former pure mechanical functionalities by mecha-tronics-based solutions, introducing new propulsion technologies, and connecting cars to their environment are only a few reasons for the still growing E/E-System complexity at modern passenger cars. Hence, for an engineering company in the automotive embedded system domain it is vital to establish mature development processes, including a smart tool chain orchestration. Starting from the customer requirements until the final release of the product, traceability and consistency between all development artifacts shall be given. However, achieving this by linking the development items manually is a tedious and error-prone task. The aim of this work is to enhance the development process by introducing a fully automatic transformation of a system design model into a software framework model and vice versa. With this novel approach, the full traceability, between the system and software architectural levels, is guaranteed.

Keywords

  • Automotive
  • Model-based development
  • Embedded systems
  • Traceability
  • Model-based software engineering

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-3-319-23129-7_8
  • Chapter length: 15 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   39.99
Price excludes VAT (USA)
  • ISBN: 978-3-319-23129-7
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   49.99
Price excludes VAT (USA)
Fig. 1.
Fig. 2.
Fig. 3.
Fig. 4.
Fig. 5.
Fig. 6.
Fig. 7.

Notes

  1. 1.

    http://maenad.eu/.

  2. 2.

    http://www.dspace.com/.

References

  1. Blom, H., Loenn, H., Hagl, F., Papadopoulos, Y., Reiser, M.-O., Sjoestedt, C.-J., Chen, D., Kolagari., R.: EAST-ADL - an architecture description language for automotive software-intensive systems. White Paper 2.1.12 (2013)

    Google Scholar 

  2. Boldt, R.: Modeling AUTOSAR systems with a UML/SysML profile. Technical report, IBM Software Group (2009)

    Google Scholar 

  3. Broy, M., Feilkas, M., Herrmannsdoerfer, M., Merenda, S., Ratiu, D.: Seamless model-based development: from isolated tool to integrated model engineering environments, IEEE Magazin (2008)

    Google Scholar 

  4. Buchmann, T., Westfechtel, B.: Towards incremental round-trip engineering using model transformations. In: 2013 39th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA), pp. 130–133, Sept 2013

    Google Scholar 

  5. Chen, D.J., Johansson, R., Lönn, H., Papadopoulos, Y., Sandberg, A., Törner, F., Törngren, M.: Modelling support for design of safety-critical automotive embedded systems. In: Harrison, M.D., Sujan, M.-A. (eds.) SAFECOMP 2008. LNCS, vol. 5219, pp. 72–85. Springer, Heidelberg (2008)

    CrossRef  Google Scholar 

  6. Ebert, C., Jones, C.: Embedded software: facts, figures, and future. IEEE Comput. Soc. 0018–9162(09), 42–52 (2009)

    MATH  CrossRef  Google Scholar 

  7. Giese, H., Hildebrandt, S., Neumann, S.: Model synchronization at work: keeping SysML and AUTOSAR models consistent. In: Engels, G., Lewerentz, C., Schäfer, W., Schürr, A., Westfechtel, B. (eds.) Nagl Festschrift. LNCS, vol. 5765, pp. 555–579. Springer, Heidelberg (2010)

    CrossRef  Google Scholar 

  8. Holtmann, J., Meyer, J., Meyer, M.: A seamless model-based development process for automotive systems (2011)

    Google Scholar 

  9. ISO - International Organization for Standardization. ISO 26262 Road vehicles functional safety, Part 1–10 (2011)

    Google Scholar 

  10. Kawahara, R., Dotan, D., Sakairi, T., Ono, K., Kirshin, A., Nakamura, H., Hirose, S., Ishikawa, H.: Verification of embedded system’s specification using collaborative simulation of SysML and Simulink models. In: Proceedings of Second International Conference on Model Based Systems Engineering, pp. 21–28, March 2009

    Google Scholar 

  11. Lau, K.-K., Tepan, P., Tran, C., Saudrais, S., Tchakaloff, B.: A holistic (Component-based) approach to AUTOSAR designs. In: 2013 39th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA), pp. 203–207, Sept 2013

    Google Scholar 

  12. Macher, G., Armengaud, E., Kreiner, C.: Automated generation of AUTOSAR description file for safety-critical software architectures. In: 12. Workshop Automotive Software Engineering (ASE), Lecture Notes in Informatics (2014)

    Google Scholar 

  13. Macher, G., Armengaud, E., Kreiner, C.: Bridging automotive systems, safety and software engineering by a seamless tool chain. In: 7th European Congress Embedded Real Time Software and Systems Proceedings, pp. 256–263 (2014)

    Google Scholar 

  14. Mader, R., Griessnig, G., Eric, A., Andrea, L., Christian, K., Bourrouilh, Q., Steger, C., Weiss, R.: A bridge from system to software development for safety-critical automotive embedded systems. In: 38th Euromicro Conference on Software Engineering and Advanced Applications, pp. 75–79 (2012)

    Google Scholar 

  15. Meyer, J.: Eine durchgaengige modellbasierte Entwicklungsmethodik fuer die automobile Steuergeraeteentwicklung unter Einbeziehung des AUTOSAR Standards. Ph.D thesis, Universitaet Paderborn, Fakultaet fuer Elektrotechnik, Informatik und Mathematik, July 2014

    Google Scholar 

  16. Pagel, M., Brörkens, M.: Definition and generation of data exchange formats in AUTOSAR, process independent model. In: Rensink, A., Warmer, J. (eds.) ECMDA-FA 2006. LNCS, vol. 4066, pp. 52–65. Springer, Heidelberg (2006)

    CrossRef  Google Scholar 

  17. Petrissans, A., Krawczyk, S., Veronesi, L., Cattaneo, G., Feeney, N., Meunier, C.: Design of future embedded systems toward system of systems - trends and challenges. European Commission, May 2012

    Google Scholar 

  18. Pretschner, A., Broy, M., Kruger, I.H., Stauner, T.: Software engineering for automotive systems: a roadmap. In: 2007 Future of Software Engineering, FOSE 2007, Washington, DC, USA, pp. 55–71, IEEE Computer Society (2007)

    Google Scholar 

  19. Quadri, I.R., Sadovykh, A.: MADES: a SysML/MARTE high level methodology for real-time and embedded systems (2011)

    Google Scholar 

  20. Rodriguez-Priego, E., Garcia-Izquierdo, F., Rubio, A.: Modeling issues: a survival guide for a non-expert modeler. Models 2010(2), 361–375 (2010)

    Google Scholar 

  21. Sandmann, G., Seibt., M.: AUTOSAR-compliant development workflows: from architecture to implementation - tool interoperability for round-trip engineering and verification and validation. In: SAE World Congress and Exhibition 2012, (SAE 2012–01-0962) (2012)

    Google Scholar 

  22. Scuro, G.: Automotive industry: innovation driven by electronics (2012). http://embedded-computing.com/articles/automotive-industry-innovation-driven-electronics/

  23. Sjoestedt, C.-J., Shi, J., Toerngren, M., Servat, D., Chen, D., Ahlsten, V., Loenn, H.: Mapping simulink to UML in the design of embedded systems: investigating scenarios and structural and behavioral mapping. In: OMER 4 Post Workshop Proceedings, April 2008

    Google Scholar 

  24. Thyssen, J., Ratiu, D., Schwitzer, W., Harhurin, E., Feilkas, M., München, T.U., Thaden, E.: A system for seamless abstraction layers for model-based development of embedded software. In: Software Engineering Workshops, pp. 137–148 (2010)

    Google Scholar 

  25. Voget, S.: SAFE RTP: an open source reference tool platform for the safety modeling and analysis. In: Embedded Real Time Software and Systems Conference Proceedings (2014)

    Google Scholar 

  26. Zurawka, T., Schaeuffele, J.: Method for checking the safety and reliability of a software-based electronic system, January 2007

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Harald Sporer .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

Sporer, H., Macher, G., Höller, A., Kreiner, C. (2015). Bidirectional Crosslinking of System and Software Modeling in the Automotive Domain. In: Fantechi, A., Pelliccione, P. (eds) Software Engineering for Resilient Systems. SERENE 2015. Lecture Notes in Computer Science(), vol 9274. Springer, Cham. https://doi.org/10.1007/978-3-319-23129-7_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-23129-7_8

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-23128-0

  • Online ISBN: 978-3-319-23129-7

  • eBook Packages: Computer ScienceComputer Science (R0)