skip to main content
10.1145/3239372.3239385acmconferencesArticle/Chapter ViewAbstractPublication PagesmodelsConference Proceedingsconference-collections
research-article

From Deployment to Platform Exploration: Automatic Synthesis of Distributed Automotive Hardware Architectures

Published:14 October 2018Publication History

ABSTRACT

In order to cope with the rising complexity of today's systems, model-based development of software-intensive embedded systems has become a de-facto standard in recent years. In a previous work, we demonstrated how such a model-based approach can enable automatization of certain development steps, namely the deployment of logical (platform-independent) system models to technical (platform-specific) system models. Together with Continental, we especially focused on industrial applicability.

In this work, we demonstrate how we extended, again in cooperation with Continental, the previous approach in order to enable a synthesis of the topology of technical platforms (E/E architectures) together with a deployment. We furthermore introduced variability concepts in order to model variants of technical platforms which is an industrial required need. Our approach is thus capable of calculating a platform architecture and its topology which is optimized in terms of the deployment of logical system models, constraints, optimization objectives and choses the optimal variant for all technical models.

References

  1. {n. d.}. ISO 26262 - Road vehicles - Functional safety.Google ScholarGoogle Scholar
  2. {n. d.}. ISO/IEC 42010 Systems and Software Engineering - Architectural Description.Google ScholarGoogle Scholar
  3. Nikunj Bajaj, Pierluigi Nuzzo, Michael Masin, and Alberto Sangiovanni-Vincentelli. 2015. Optimized Selection of Reliable and Cost-Effective Cyber-Physical System Architectures. Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015 (2015), 561--566. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. Andreas Bayha, Levi Lúcio, Vincent Aravantinos, Kenji Miyamoto, and Georgeta Igna. 2016. Factory product lines: Tackling the compatibility problem. In Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems. ACM, 57--64. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. K. Becker and S. Voss. 2015. Analyzing Graceful Degradation for Mixed Critical Fault-Tolerant Real-Time Systems. In 2015 IEEE 18th International Symposium on Real-Time Distributed Computing. 110--118. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. L. S. Brandt, N. Krämer, J. Metzger, and U. Lindemann. 2012. Optimization approach for function-partitioning in an automotive electric electronic system architecture. Proceedings of International Design Conference, DESIGN DS 70 (2012), 737--746.Google ScholarGoogle Scholar
  7. Manfred Broy and Ketil Stølen. 2012. Specification and development of interactive systems: focus on streams, interfaces, and refinement. Springer Science & Business Media. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. Leonardo De Moura and Nikolaj Bjørner. 2008. Z3: An efficient SMT solver. In International conference on Tools and Algorithms for the Construction and Analysis of Systems. Springer, 337--340. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. Johannes Eder, Sergey Zverlov, Sebastian Voss, Maged Khalil, and Alexandru Ipatiov. 2017. 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).Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. Michael Glaß, Martin Lukasiewycz, Rolf Wanka, Christian Haubelt, and Jürgen Teich. 2008. Multi-objective routing and topology optimization in networked embedded systems. Proceedings - 2008 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation, ICSAMOS 2008 (2008), 74--81.Google ScholarGoogle ScholarCross RefCross Ref
  11. Stefan Kugele, Gheorghe Pucea, Ramona Popa, Laurent Dieudonne, and Horst Eckardt. 2015. On the deployment problem of embedded systems. 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015 (2015), 158--167. Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. Sudeep Pasricha and Nikil Dutt. 2005. Floorplan-aware automated synthesis of bus-based communication architectures. Proceedings of the ... (2005), 565--570. Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. A Pinto, A Bonivento, R Passerone, and A Sangiovanni-Vincetelli. 2006. System level design paradigms: Platform-based design and communication synthesis. ACM Transactions on Design Automation of Electronic Systems 11, 3 (2006), 537--563. Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. Klaus Pohl, Günter Böckle, and Frank J van Der Linden. 2005. Software product line engineering: foundations, principles and techniques. Springer Science & Business Media. Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. K. V. Prasad, M. Broy, and I. Krueger. 2010. Scanning Advances in Aerospace & Automobile Software Technology. Proc. IEEE 98, 4 (April 2010), 510--514.Google ScholarGoogle ScholarCross RefCross Ref
  16. Jordan A. Ross, Alexandr Murashkin, Jia Hui Liang, Micha?? Antkiewicz, and Krzysztof Czarnecki. 2017. Synthesis and exploration of multilevel, multi-perspective architectures of automotive embedded systems. Software and Systems Modeling (2017), 1--29.Google ScholarGoogle Scholar
  17. Bernhard Schätz, Sebastian Voss, and Sergey Zverlov. 2015. Automating Designspace Exploration: Optimal Deployment of Automotive SW-components in an ISO26262 Context. Proceedings of the 52Nd Annual Design Automation Conference (2015), 99:1---99:6. Google ScholarGoogle ScholarDigital LibraryDigital Library
  18. Stephan Sommer, Alexander Camek, Klaus Becker, Christian Buckl, Andreas Zirkler, Ludger Fiege, Michael Armbruster, Gernot Spiegelberg, and Alois Knoll. 2013. RACE: A Centralized Platform Computer Based Architecture for Automotive Applications. (2013).Google ScholarGoogle Scholar
  19. Sebastian Voss and Bernhard Schatz. 2013. Deployment and scheduling synthesis for mixed-critical shared-memory applications. Proceedings of the International Symposium and Workshop on Engineering of Computer Based Systems April (2013), 100--109. Google ScholarGoogle ScholarDigital LibraryDigital Library
  20. Marc Zeller and Christian Prehofer. 2012. Modeling and efficient solving of extra-functional properties for adaptation in networked embedded real-time systems. JOURNAL OF SYSTEM ARCHITECTURE (2012). Google ScholarGoogle ScholarDigital LibraryDigital Library
  21. S. Zverlov and S. Voss. 2014. Synthesis of Pareto Efficient Technical Architectures for Multi-core Systems. In 2014 IEEE 38th International Computer Software and Applications Conference Workshops. 366--371. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. From Deployment to Platform Exploration: Automatic Synthesis of Distributed Automotive Hardware Architectures

            Recommendations

            Comments

            Login options

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

            Sign in
            • Published in

              cover image ACM Conferences
              MODELS '18: Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems
              October 2018
              478 pages
              ISBN:9781450349499
              DOI:10.1145/3239372

              Copyright © 2018 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 ACM 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]

              Publisher

              Association for Computing Machinery

              New York, NY, United States

              Publication History

              • Published: 14 October 2018

              Permissions

              Request permissions about this article.

              Request Permissions

              Check for updates

              Qualifiers

              • research-article
              • Research
              • Refereed limited

              Acceptance Rates

              MODELS '18 Paper Acceptance Rate29of101submissions,29%Overall Acceptance Rate118of382submissions,31%

            PDF Format

            View or Download as a PDF file.

            PDF

            eReader

            View online with eReader.

            eReader