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 2018 Publication 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.
[2]
{n. d.}. ISO/IEC 42010 Systems and Software Engineering - Architectural Description.
[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.
[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.
[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.
[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.
[7]
Manfred Broy and Ketil Stølen. 2012. Specification and development of interactive systems: focus on streams, interfaces, and refinement. Springer Science & Business Media.
[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.
[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).
[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.
[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.
[12]
Sudeep Pasricha and Nikil Dutt. 2005. Floorplan-aware automated synthesis of bus-based communication architectures. Proceedings of the ... (2005), 565--570.
[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.
[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.
[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.
[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.
[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.
[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).
[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.
[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).
[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.

Cited By

View all

Recommendations

Comments

Information & Contributors

Information

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
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]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 14 October 2018

Permissions

Request permissions for this article.

Check for updates

Qualifiers

  • Research-article
  • Research
  • Refereed limited

Conference

MODELS '18
Sponsor:

Acceptance Rates

MODELS '18 Paper Acceptance Rate 29 of 101 submissions, 29%;
Overall Acceptance Rate 144 of 506 submissions, 28%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)8
  • Downloads (Last 6 weeks)2
Reflects downloads up to 10 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2023)A Toolchain for Synthesizing and Validating Safety ArchitecturesSN Computer Science10.1007/s42979-023-01712-54:4Online publication date: 15-Apr-2023
  • (2023)Strukturierte SoftwareentwicklungSoftware im Automobil10.1007/978-3-662-67156-6_3(141-214)Online publication date: 13-Jun-2023
  • (2023)The Next Big Thing: From Embedded Systems to Embodied ActorsFormal Methods10.1007/978-3-031-27481-7_2(10-25)Online publication date: 3-Mar-2023
  • (2022)Toward a Graphical Modeling Tool for Response-Time Requirements Based on Soft and Hard Real-Time Capabilities in Industrial Cyber-Physical SystemsIEEE Journal of Emerging and Selected Topics in Industrial Electronics10.1109/JESTIE.2021.30932483:1(13-22)Online publication date: Jan-2022
  • (2022)Model-based fleet deployment in the IoT–edge–cloud continuumSoftware and Systems Modeling10.1007/s10270-022-01006-z21:5(1931-1956)Online publication date: 3-May-2022
  • (2020)Model-based fleet deployment of edge computing applicationsProceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems10.1145/3365438.3410951(132-142)Online publication date: 16-Oct-2020
  • (2020)Hardware architecture exploration: automatic exploration of distributed automotive hardware architecturesSoftware and Systems Modeling10.1007/s10270-020-00786-6Online publication date: 12-Mar-2020
  • (2019)Improving solution reuse in automotive embedded applications using a pattern library based approachProceedings of the 22nd International Conference on Model Driven Engineering Languages and Systems Companion10.1109/MODELS-C.2019.00100(653-659)Online publication date: 15-Sep-2019
  • (2018)Design patterns to the rescueProceedings of the 25th Conference on Pattern Languages of Programs10.5555/3373669.3373687(1-21)Online publication date: 24-Oct-2018
  • (2018)Exploration of hardware topologies based on functions, variability and timingProceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings10.1145/3270112.3275333(145-149)Online publication date: 14-Oct-2018
  • Show More Cited By

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media