A formal support for homogeneous simulation of heterogeneous embedded systems

7th IEEE International Symposium on Industrial Embedded Systems, SIES 2012 - Conference Proceedings

Volumn , Issue , 2012, Pages 211-219

  Di Guglielmo, Luigi ^a   Fummi, Franco ^a,b   Pravadelli, Graziano ^a,b   Stefanni, Francesco ^a,b   Vinco, Sara ^a  

^a UNIVERSITY OF VERONA   (Italy)

^b EDALab Srl   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS;

AUTOMATIC TRANSLATION; COMPONENT BASED DESIGN; DESCRIPTION LANGUAGES; HETEROGENEOUS COMPONENT; HETEROGENEOUS EMBEDDED SYSTEM; HOMOGENEOUS MODELS; INTERCHANGE FORMATS; INTERMEDIATE FORMATS;

EMBEDDED SYSTEMS;

EID: 84871588229     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SIES.2012.6356587     Document Type: Conference Paper

References (34)

1. E. Lee and A. Sangiovanni-Vincentelli, "Component-based design for the future," in Proc. of ACM/IEEE DATE, 2011, pp. 1-5.
2. M. Fernandez, Models of Computation - An Introduction to Computability Theory. Springer, 2009.
3. T. Henzinger, "The theory of hybrid automata," in IEEE LICS, 1996, pp. 278-292.
4. J. Eker, J. W. Janneck, E. A. Lee, J. Liu, X. Liu, J. Ludvig, S. Neuendorffer, S. Sachs, and Y. Xiong, "Taming Heterogeneity - The Ptolemy Approach," Proc. of the IEEE, vol. 91, pp. 127-144, 2003.
5. F. Balarin, Y. Watanabe, H. Hsieh, L. Lavagno, C. Passerone, and A. Sangiovanni-Vincentelli, "Metropolis: An integrated electronic system design environment," IEEE Computer, vol. 36, pp. 45-52, 2003.
6. The University of Pennsylvania MoBIES Group, "HSIF semantics (version 3, synchronous edition)," 2002.
7. C. Sonntag, R. Schiffelers, D. van Beek, J. Rooda, and S. Engell, "Modeling and Simulation using the Compositional Interchange Format for Hybrid Systems," in MATHMOD, 2009, pp. 640-650.
8. D.D. Gajski and Z. Jianwen and R. Domer and A. Gerstlauer and Z. Shuqing, SpecC: Specification Language and Methodology. Springer, 2000.
9. SystemVerilog Working Group, "SystemVerilog," URL:http://www.systemverilog.org.
10. Open SystemC Initiative, "SystemC," URL: http://www.systemc. org.
11. -, "SystemC-AMS 1.0 standard," URL: http://www.systemc.org/ downloads/standards/ams10.
12. H. Patel, S. Shukla, and R. Bergamaschi, "Heterogeneous behavioral hierarchy extensions for SystemC," IEEE TCAD, vol. 26, pp. 765-780, 2007.
13. F. Herrera and E. Villar, "A framework for embedded system specification under different models of computation in SystemC," in Proc. of ACM/IEEE DAC, 2006, pp. 911-914.
14. M. Vasilevski, F. Pecheux, N. Beilleau, H. Aboushady, and K. Einwich, "Modeling refining heterogeneous systems with SystemC-AMS: application to WSN," in Proc. of ACM/IEEE DATE, 2008, pp. 134-139.
15. F. Bouchhima, M. Briere, G. Nicolescu, M. Abid, and E. Aboulhamid, "A SystemC/Simulink Co-Simulation Framework for Continuous/Discrete-Events Simulation," in IEEE BMAS, 2007, pp. 1-6.
16. F. Fummi, M. Loghi, M. Poncino, and G. Pravadelli, "A cosimulation methodology for HW/SW validation and performance estimation," ACM TODAES, vol. 14, pp. 23:1-23:32, 2009.
17. S. Tudoret, S. Nadjm-Tehrani, A. Beneviste, and J.-E. Strömberg, "Cosimulation of hybrid systems: Signal-simulink," in FTRTFT, 2000, pp. 134-151.
18. EDALab s.r.l., "HIFSuite," URL: http://www.hifsuite.com.
19. L. Di Guglielmo, F. Fummi, G. Pravadelli, F. Stefanni, and S. Vinco, "univerCM: the UNIversal VERsatile Computational Model for heterogeneous embedded system design," in Proc. of HLDVT, 2011.
20. G. De Micheli, R. Ernst, and W. Wolf, Readings in Hardware/Software Co-Design. Morgan Kaufmann Publishers, 2001.
21. T. MathWorks, "Stateflow: Design and simulate state machines and control logic," URL: http://www.mathworks.com/products/stateflow/.
22. F. Boulanger and C. Hardebolle, "Simulation of multi-formalism models with modhelx," in Proceedings of IEEE International Conference on Software Testing, Verification, and Validation, 2008, pp. 318-327.
23. P. Diallo, J. Champeau, and V. Leilde, "Model Based Engineering for the support of Models of Computation: The Cometa Approach," in Proceedings of MPM, 2011, pp. 1-13.
24. I. Sander and A. Jantsch, "System modeling and transformational design refinement in ForSyDe," in Proceedings of IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2004, pp. 17-32.
25. S. H. Attarzadeh Niaki and I. Sander, "Co-simulation of embedded systems in a heterogeneous MoC-based modeling framework," in Proc. of SIES, 2011, pp. 238-247.
26. D. D. Gajski, N. D. Dutt, A. C.-H. Wu, and S. Y.-L. Lin, High-level synthesis: introduction to chip and system design. Kluwer Academic Publishers, 1992.
27. A. Basu, M. Bozga, and J. Sifakis, "Modeling heterogeneous real-time components in bip," in Proc. of SEFM, 2006, pp. 3 -12.
28. IEEE 1076.1 Working Group, "IEEE Standard VHDL Analog and Mixed-Signal Extensions."
29. Accellera, "Verilog-AMS LRM," URL: http://www.verilog.org/ verilogams/ htmlpages/public-docs/lrm/2.3.1/VAMS-LRM-2-3-1.pdf.
30. S.Yoo and A.A.Jerraya, "Introduction to hardware abstraction layers for SoC," in Proc. of ACM/IEEE DATE, 2003, pp. 336-337.
31. N. Bombieri, F. Fummi, G. Pravadelli, and S. Vinco, "Correct- byconstruction generation of device drivers based on RTL testbenches," in Proc. of ACM/IEEE DATE, 2009, pp. 1500-1505.
32. G. Frehse, "PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech," in Hybrid Systems: Computation and Control, ser. LNCS. Springer Berlin / Heidelberg, 2005, vol. 3414, pp. 258-273.
33. The MathWorks, Inc., "Simulink 7.6," http://www.mathworks.com, 2010.
34. F. Fummi, D. Quaglia, S. Vinco, G. Perbellini, and S. Saggin, "Mixing Simulated and Actual Hardware Devices to Validate Device Drivers in a Complex Embedded Platform," in Proc. of MTV, 2009, pp. 63-68.