Design Space Exploration for Distributed Cyber-Physical Systems: State-of-the-art, Challenges, and Directions

—Industrial Cyber-Physical Systems (CPS) are com- plex heterogeneous and distributed computing systems, typically integrating and interconnecting a large number of subsystems and containing a substantial number of hardware and software components. Producers of these distributed Cyber-Physical Sys- tems (dCPS) face serious challenges with respect to designing the next generations of these machines and require proper support in making (early) design decisions to avoid expensive and time consuming oversights. This calls for efficient and scalable system- level Design Space Exploration (DSE) methods for dCPS. In this position paper, we review the current state of the art in DSE, and argue that efficient and scalable DSE technology for dCPS is more or less non-existing and constitutes a largely unchartered research area. Moreover, we identify several research challenges that need to be addressed and discuss possible directions for targeting such DSE technology for dCPS.

[1]  Guangxi Wan,et al.  Codesign of Architecture, Control, and Scheduling of Modular Cyber-Physical Production Systems for Design Space Exploration , 2022, IEEE Transactions on Industrial Informatics.

[2]  Robert I. Davis,et al.  A comprehensive survey of industry practice in real-time systems , 2021, Real-Time Systems.

[3]  Hao Zheng,et al.  Model Synthesis for Communication Traces of System Designs , 2021, 2021 IEEE 39th International Conference on Computer Design (ICCD).

[4]  Twan Basten,et al.  Model-Driven System-Performance Engineering for Cyber-Physical Systems : Industry Session Paper , 2021, 2021 International Conference on Embedded Software (EMSOFT).

[5]  Debayan Roy,et al.  Control Performance Optimization for Application Integration on Automotive Architectures , 2020 .

[6]  Niraj K. Jha,et al.  DISPATCH: Design Space Exploration of Cyber-Physical Systems , 2020, ArXiv.

[7]  Leticia Lemus Cárdenas,et al.  Large-Scale Simulations Manager Tool for OMNeT++: Expediting Simulations and Post-Processing Analysis , 2020, IEEE Access.

[8]  Giacomo Tanganelli,et al.  A methodology for the design and deployment of distributed cyber-physical systems for smart environments , 2020, Future Gener. Comput. Syst..

[9]  Joachim Denil,et al.  Leveraging Domain Knowledge for the Efficient Design-Space Exploration of Advanced Cyber-Physical Systems , 2019, 2019 22nd Euromicro Conference on Digital System Design (DSD).

[10]  Hiroaki Takada,et al.  Security/Timing-Aware Design Space Exploration of CAN FD for Automotive Cyber-Physical Systems , 2019, IEEE Transactions on Industrial Informatics.

[11]  Andras Varga,et al.  A Practical Introduction to the OMNeT++ Simulation Framework , 2019, Recent Advances in Network Simulation.

[12]  Basavaraj Talawar,et al.  Trace-Driven Simulation and Design Space Exploration of Network-on-Chip Topologies on FPGA , 2018, 2018 8th International Symposium on Embedded Computing and System Design (ISED).

[13]  Martin Törngren,et al.  Architecture exploration for distributed embedded systems: a gap analysis in automotive domain , 2017, 2017 12th IEEE International Symposium on Industrial Embedded Systems (SIES).

[14]  Roberto Bruni,et al.  Models of Computation , 2017, Texts in Theoretical Computer Science. An EATCS Series.

[15]  Andy D. Pimentel.  Exploring Exploration: A Tutorial Introduction to Embedded Systems Design Space Exploration , 2017, IEEE Design & Test.

[16]  Donatella Sciuto,et al.  Optimization Strategies in Design Space Exploration , 2017, Handbook of Hardware/Software Codesign.

[17]  Andy D. Pimentel,et al.  Why Comparing System-Level MPSoC Mapping Approaches is Difficult: A Case Study , 2016, 2016 IEEE 10th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSOC).

[18]  Gero Dittmann,et al.  Analytic processor model for fast design-space exploration , 2015, 2015 33rd IEEE International Conference on Computer Design (ICCD).

[19]  Premysl Sucha,et al.  An efficient configuration methodology for time-division multiplexed single resources , 2015, 21st IEEE Real-Time and Embedded Technology and Applications Symposium.

[20]  Michael Glaß,et al.  Multi-variant-based design space exploration for automotive embedded systems , 2014, 2014 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[21]  Arquimedes Canedo,et al.  Architectural Design Space Exploration of Cyber-physical Systems Using the Functional Modeling Compiler☆ , 2014 .

[22]  Andy D. Pimentel,et al.  Exploiting domain knowledge in system-level MPSoC design space exploration , 2013, J. Syst. Archit..

[23]  Reza Sedaghat,et al.  A multi structure genetic algorithm for integrated design space exploration of scheduling and allocation in high level synthesis for DSP kernels , 2012, Swarm Evol. Comput..

[24]  Gilles Sassatelli,et al.  Accuracy evaluation of GEM5 simulator system , 2012, 7th International Workshop on Reconfigurable and Communication-Centric Systems-on-Chip (ReCoSoC).

[25]  Michael Glaß,et al.  A co-simulation approach for control performance analysis during design space exploration of cyber-physical systems , 2011, SIGBED.

[26]  Reza Sedaghat,et al.  Integrated scheduling, allocation and binding in High Level Synthesis using multi structure genetic algorithm based design space exploration , 2011, 2011 12th International Symposium on Quality Electronic Design.

[27]  Franco Fummi,et al.  Modeling of Communication Infrastructure for Design-Space Exploration , 2010, FDL.

[28]  Flávio Rech Wagner,et al.  Model driven engineering for MPSOC design space exploration , 2007, SBCCI.

[29]  Nikil D. Dutt,et al.  Design space exploration of real-time multi-media MPSoCs with heterogeneous scheduling policies , 2006, Proceedings of the 4th International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS '06).

[30]  Andy D. Pimentel,et al.  Multiobjective optimization and evolutionary algorithms for the application mapping problem in multiprocessor system-on-chip design , 2006, IEEE Transactions on Evolutionary Computation.

[31]  Andy D. Pimentel,et al.  A systematic approach to exploring embedded system architectures at multiple abstraction levels , 2006, IEEE Transactions on Computers.

[32]  M.A. El-Sharkawi,et al.  Pareto Multi Objective Optimization , 2005, Proceedings of the 13th International Conference on, Intelligent Systems Application to Power Systems.

[33]  Mario Schölzel,et al.  DESCOMP: A New Design Space Exploration Approach , 2005, ARCS.

[34]  Matthias Gries,et al.  Methods for evaluating and covering the design space during early design development , 2004, Integr..

[35]  Daniel Gajski,et al.  Transaction level modeling: an overview , 2003, First IEEE/ACM/IFIP International Conference on Hardware/ Software Codesign and Systems Synthesis (IEEE Cat. No.03TH8721).

[36]  K. Keutzer,et al.  System-level design: orthogonalization of concerns andplatform-based design , 2000, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[37]  A.C.J. Kienhuis,et al.  Design Space Exploration of Stream-based Dataflow Architectures , 1999 .