Skip to main content
SpringerLink
Log in

Hardware architecture exploration: automatic exploration of distributed automotive hardware architectures

  • Special Section Paper
  • Published:
Software and Systems Modeling Aims and scope Submit manuscript

Abstract

As the engineering of distributed embedded systems is getting more and more complex, due to increasingly sophisticated functionalities demanding more and more powerful hardware, model-based development of software-intensive embedded systems has become a de facto standard in recent years. Among other advantages, it enables design space exploration methods allowing for frontloading techniques which support a system architect already at early stages of development. In this paper, we want to present an approach which is capable of automatically generating automotive E/E architectures (electric/electronic architecture; in-car network of processing units and buses). Based on the concept of viewpoints, we will introduce dedicated technical meta-models, a language to formally describe a hardware architecture exploration problem and an automatic exploration approach using satisfiability modulo theories. We will furthermore introduce a dedicated methodology and show how an exploration integrates into a system development process. In the end, we will evaluate our approach by applying it to an industrial use case provided by Continental.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8
Fig. 9
Fig. 10
Fig. 11
Fig. 12
Fig. 13
Fig. 14
Fig. 15
Fig. 16

Similar content being viewed by others

Notes

  1. https://github.com/Z3Prover.

References

  1. Alexander Diewald, S.V., Barner, S.: A Lightweight Design Space Exploration and Optimization Language, p. 4503. ACM, New York (2015). https://doi.org/10.1145/1235

    Book  Google Scholar 

  2. Aravantinos, V., Voss, S., Teufl, S., Hölzl, F., Schätz, B.: AutoFOCUS 3: tooling concepts for seamless, model-based development of embedded systems. In: CEUR Workshop Proceedings, vol. 1508, pp. 19–26 (2015)

  3. Bajaj, N., Nuzzo, P., Masin, M., Sangiovanni-Vincentelli, A.: Optimized selection of reliable and cost-effective cyber-physical system architectures. In: Design, Automation and Test in Europe Conference and Exhibition (DATE), 2015, pp. 561–566 (2015). https://doi.org/10.7873/DATE.2015.0913. http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=7092450

  4. Barner, S., Chauvel, F., Diewald, A., Eizaguirre, F., Haugen, Ø., Migge, J., Vasilevskiy, A.: Modeling and Development Process, p. 76. CRC Press, Boca Raton (2018). https://doi.org/10.1201/9781351117821-9

    Book  Google Scholar 

  5. Barrett, C., Stump, A., Tinelli, C., et al.: The SMT-LIB standard: version 2.0. In: Proceedings of the 8th International Workshop on Satisfiability Modulo Theories (Edinburgh, England), vol. 13, p. 14 (2010)

  6. Bayha, A., Lúcio, L., Aravantinos, V., Miyamoto, K., Igna, G.: Factory product lines: tackling the compatibility problem. In: Proceedings of the Tenth International Workshop on Variability Modelling of Software-Intensive Systems, pp. 57–64. ACM, New York (2016)

  7. Becker, K., Voss, S.: Analyzing graceful degradation for mixed critical fault-tolerant real-time systems. In: 2015 IEEE 18th International Symposium on Real-Time Distributed Computing, pp. 110–118 (2015). https://doi.org/10.1109/ISORC.2015.10

  8. Bilic, D., Brosse, E., Sadovykh, A., Truscan, D., Bruneliere, H., Ryssel, U.: An integrated model-based tool chain for managing variability in complex system design. In: Models and Evolution Workshop (ME 2019), Co-Located with the IEEE/ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS 2019) (2019). https://doi.org/10.1109/MODELS-C.2019.00045

  9. Bjørner, N., Phan, A.D., Fleckenstein, L.: \(\nu \)Z-an optimizing SMT solver. In: Baier, C., Tinelli, C. (eds.) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9035, pp. 194–199. Springer, Berlin (2015). https://doi.org/10.1007/978-3-662-46681-0_14

    Chapter  Google Scholar 

  10. Brandt, L.S., Krämer, N., Metzger, J., Lindemann, U.: Optimization approach for function-partitioning in an automotive electric electronic system architecture. In: Proceedings of International Design Conference, DESIGN DS, vol. 70, pp. 737–746 (2012)

  11. Broy, M., Stølen, K.: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer, Berlin (2012)

    MATH  Google Scholar 

  12. De Moura, L., Bjørner, N.: Z3: an efficient SMT solver. In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp. 337–340. Springer, Berlin (2008)

  13. Eder, J., Bahya, A., Voss, S., Ipatiov, A., Khalil, M.: From deployment to platform exploration: automatic synthesis of distributed automotive hardware architectures. In: Proceedings—21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2018 (2018). https://doi.org/10.1145/3239372.3239385

  14. Eder, J., Zverlov, S., Voss, S., Khalil, M., Ipatiov, A.: Bringing DSE to life: exploring the design space of an industrial automotive use case. In: 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS) (2017). https://doi.org/10.1109/MODELS.2017.36

  15. Glaß, M., Lukasiewycz, M., Wanka, R., Haubelt, C., Teich, J.: Multi-objective routing and topology optimization in networked embedded systems. In: Proceedings—2008 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation, IC-SAMOS 2008, pp. 74–81 (2008). https://doi.org/10.1109/ICSAMOS.2008.4664849

  16. ISO, I.: 26262: road vehicles-functional safety. In: International Standard ISO/FDIS, vol. 26262 (2011)

  17. ISO/IEC, S..: ISO/IEC 42010 systems and software engineering—architectural description. In: International Standard ISO/IEC, vol. 42010 (2011)

  18. Kugele, S., Pucea, G., Popa, R., Dieudonne, L., Eckardt, H.: On the deployment problem of embedded systems. In: 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015, pp. 158–167 (2015). https://doi.org/10.1109/MEMCOD.2015.7340482

  19. (OMG), O.M.G.: Omg systems modeling language (omg sysml\(^{\rm TM}\)) (2012)

  20. Pasricha, S., Dutt, N.: Floorplan-aware automated synthesis of bus-based communication architectures. In: Proceedings of the 42nd Annual Design Automation Conference, pp. 565–570 (2005). https://doi.org/10.1145/1065579.1065727, http://dl.acm.org/citation.cfm?id=1065727

  21. Pinto, A., Bonivento, A., Passerone, R., Sangiovanni-Vincetelli, A.: System level design paradigms: platform-based design and communication synthesis. ACM Trans. Des. Autom. Electron. Syst. 11(3), 537–563 (2006). https://doi.org/10.1145/1142980.1142982

    Article  Google Scholar 

  22. Pohl, K., Böckle, G., van Der Linden, F.J.: Software Product Line Engineering: Foundations, Principles and Techniques. Springer, Berlin (2005)

    Book  Google Scholar 

  23. Pohl, K., Broy, M., Daembkes, H., Hönninger, H.: Advanced model-based engineering of embedded systems. In: Pohl, K., Broy, M., Daembkes, H., Hönninger, H. (eds.) Advanced Model-Based Engineering of Embedded Systems, pp. 3–9. Springer, Cham (2016)

    Chapter  Google Scholar 

  24. Pohl, K., Hönninger, H., Achatz, R., Broy, M.: Model-Based Engineering of Embedded Systems: The SPES 2020 Methodology. Springer, Berlin (2012)

    Book  Google Scholar 

  25. Prasad, K.V., Broy, M., Krueger, I.: Scanning advances in aerospace and automobile software technology. Proc. IEEE 98(4), 510–514 (2010). https://doi.org/10.1109/JPROC.2010.2041835

    Article  Google Scholar 

  26. Pretschner, A., Broy, M., Krüger, I.H., Stauner, T.: Software engineering for automotive systems: a roadmap. In: FoSE 2007: Future of Software Engineering, pp. 55–71 (2007). https://doi.org/10.1109/FOSE.2007.22

  27. Ross, J.A., Murashkin, A., Liang, J.H., Antkiewicz, M., Czarnecki, K.: Synthesis and exploration of multi-level, multi-perspective architectures of automotive embedded systems. Softw. Syst. Model. (2017). https://doi.org/10.1007/s10270-017-0592-y

    Article  Google Scholar 

  28. Schätz, B., Voss, S., Zverlov, S.: Automating design-space exploration: optimal deployment of automotive SW-components in an ISO26262 context. In: Proceedings of the 52nd Annual Design Automation Conference, pp. 99:1–99:6 (2015). https://doi.org/10.1145/2744769.2747912

  29. Sommer, S., Camek, A., Becker, K., Buckl, C., Zirkler, A., Fiege, L., Armbruster, M., Spiegelberg, G., Knoll, A.: RACE: a centralized platform computer based architecture for automotive applications (2013)

  30. Voss, S., Schatz, B.: Deployment and scheduling synthesis for mixed-critical shared-memory applications. In: Proceedings of the International Symposium and Workshop on Engineering of Computer Based Systems (April), pp. 100–109 (2013). https://doi.org/10.1109/ECBS.2013.23

  31. Warmer, J.B., Kleppe, A.G.: The Object Constraint Language: Getting Your Models Ready for MDA. Addison-Wesley Professional, Boston (2003)

    Google Scholar 

  32. Zeller, M., Prehofer, C.: Modeling and efficient solving of extra-functional properties for adaptation in networked embedded real-time systems. J. Syst. Archit. (2012). https://doi.org/10.1016/j.sysarc.2012.11.003

    Article  Google Scholar 

  33. Zverlov, S., Voss, S.: Synthesis of pareto efficient technical architectures for multi-core systems. In: 2014 IEEE 38th International Computer Software and Applications Conference Workshops, pp. 366–371 (2014). https://doi.org/10.1109/COMPSACW.2014.63

Download references

Author information

Authors and Affiliations

  1. fortiss GmbH, Guerickestrasse 25, 80805, Munich, Germany

    Johannes Eder, Sebastian Voss & Andreas Bayha

  2. Continental AG, Frankfurt, Germany

    Alexandru Ipatiov & Maged Khalil

Authors
  1. Johannes Eder
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Sebastian Voss
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Andreas Bayha
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Alexandru Ipatiov
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Maged Khalil
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Johannes Eder.

Additional information

Communicated by Richard Paige, Andrzej Wasowski, and Oystein Haugen.

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Eder, J., Voss, S., Bayha, A. et al. Hardware architecture exploration: automatic exploration of distributed automotive hardware architectures. Softw Syst Model 19, 911–934 (2020). https://doi.org/10.1007/s10270-020-00786-6

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10270-020-00786-6

Keywords

Search

Navigation