Heterogeneous co-simulation for embedded and cyber-physical systems 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.