Heterogeneous co-simulation for embedded and cyber-physical systems design

The growing complexity of embedded and cyber-physical systems makes the design of all system components from scratch increasingly impractical. Consequently, already from early stages of a design flow, designers rely on prior experience, which comes in the form of legacy code or third-party intellectual property (IP) blocks. Current approaches partly address the co-simulation problem for specific scenarios in an ad hoc style. This work suggests a general method for co-simulation of heterogeneous IPs with a system modeling and simulation framework. The external IPs can be integrated as high-level models running in an external simulator or as software- and hardware-in-the-loop simulation with minimal effort. Examples of co-simulation scenarios for wrapping models with different semantics are presented together with their practical usage in two case studies. The presented method is also used to formulate a refinement-by-replacement workflow for IP-based system design.

[1]  Andrea Domenici,et al.  A PVS-Simulink Integrated Environment for Model-Based Analysis of Cyber-Physical Systems , 2018, IEEE Transactions on Software Engineering.

[2]  Cinzia Bernardeschi,et al.  Co-simulation of Semi-autonomous Systems: The Line Follower Robot Case Study , 2017, SEFM Workshops.

[3]  Christian Wietfeld,et al.  Analyzing Cyber-Physical Energy Systems:The INSPIRE Cosimulation of Power and ICT Systems Using HLA , 2014, IEEE Transactions on Industrial Informatics.

[4]  Alberto L. Sangiovanni-Vincentelli,et al.  metroII , 2013, ACM Trans. Embed. Comput. Syst..

[5]  Timothy Bourke,et al.  Non-standard semantics of hybrid systems modelers , 2012, J. Comput. Syst. Sci..

[6]  Edward A. Lee,et al.  A framework for comparing models of computation , 1998, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[7]  Massimo Poncino,et al.  A cosimulation methodology for HW/SW validation and performance estimation , 2009, TODE.

[8]  Axel Jantsch,et al.  System modeling and transformational design refinement in ForSyDe [formal system design] , 2004, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[9]  Stephen A. Edwards,et al.  Design of embedded systems: formal models, validation, and synthesis , 1997, Proc. IEEE.

[10]  Michael Wetter,et al.  Co-simulation of building energy and control systems with the Building Controls Virtual Test Bed , 2011 .

[11]  Franco Fummi,et al.  System/network design-space exploration based on TLM for networked embedded systems , 2010, TECS.

[12]  Franco Fummi,et al.  UNIVERCM: The UNIversal VERsatile Computational Model for Heterogeneous System Integration , 2013, IEEE Transactions on Computers.

[13]  Edward A. Lee,et al.  Taming heterogeneity - the Ptolemy approach , 2003, Proc. IEEE.

[14]  Seyed-Hosein Attarzadeh-Niaki,et al.  An extensible modeling methodology for embedded and cyber-physical system design , 2016, Simul..

[15]  Flávio Rech Wagner,et al.  Tangram: virtual integration of IP components in a distributed cosimulation environment , 2005, IEEE Design & Test of Computers.