Design Domains and Abstraction Levels for Effective Smart System Simulation

  • Sara Vinco
  • Michele Lora
  • Valerio Guarnieri
  • Jan Vanhese
  • Dimitrios Trachanis
  • Franco FummiEmail author


Smart systems represent a broad class of systems defined as intelligent, miniaturized devices incorporating functionality like sensing, actuation, and control. In order to support these functions, they must include sophisticated and heterogeneous components and subsystems such as: application-specific sensors and actuators, multiple power sources and storage devices, intelligence in the form of power management, baseband computation, digital signal processing, power actuators, and subsystems for various types of wireless connectivity (as shown in Fig. 3.1).


Design Domain Abstraction Level Design Flow Hybrid Automaton Smart System 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Accellera Systems Initiative, SystemC (2015), Scholar
  2. 2.
    Accellera Systems Initiative, SystemC-AMS 2.0 Standard (2015), standards/systemcGoogle Scholar
  3. 3.
    Accellera Systems Initiative, SystemC TLM (Transaction-Level Modeling) (2015), groups/systemc-tlmGoogle Scholar
  4. 4.
    Agilent Technologies, SystemVue Electronic System-Level (ESL) Design Software (2015),
  5. 5.
    F. Balarin, Y. Watanabe, H. Hsieh, L. Lavagno, C. Passarone, A. Sangiovanni-Vincentelli, Metropolis: an integrated electronic system design environment. Computer 36(1), 45–52 (2003)CrossRefGoogle Scholar
  6. 6.
    N. Bombieri, G.D. Guglielmo, M. Ferrari et al., HIFSuite: tools for HDL code conversion and manipulation. EURASIP J. Embed. Syst., 1–20 (2010)Google Scholar
  7. 7.
    N. Bombieri, F. Fummi, G. Pravadelli, Abstraction of RTL IPs into embedded software, in ACM/IEEE Design Automation Conference (2010), pp. 24–29Google Scholar
  8. 8.
    N. Bombieri, F. Fummi, G. Pravadelli, Automatic abstraction of RTL IPs into equivalent TLM descriptions. IEEE Trans. Comput. 60(12), 1730–1743 (2011)CrossRefMathSciNetGoogle Scholar
  9. 9.
    N. Bombieri, F. Fummi, V. Guarnieri, F. Stefanni, S. Vinco, HDTLib: an efficient implementation of SystemC data types for fast simulation at different abstraction levels. Des. Autom. Embed. Syst. 16(2), 115–135 (2012)CrossRefGoogle Scholar
  10. 10.
    F. Bouchhima, M. Briere, G. Nicolescu, M. Abid, E. Aboulhamid, A SystemC/Simulink co-simulation framework for continuous/discrete-events simulation, in Proceedings of the IEEE International Behavioral Modeling and Simulation Conference (2007), pp. 1–6Google Scholar
  11. 11.
    J.C. Butcher, Numerical Methods for Ordinary Differential Equation (Wiley, New York, 2003)CrossRefGoogle Scholar
  12. 12.
    Coventor, Inc., MEMS+: MEMS Simulation Software (2015), Google Scholar
  13. 13.
    G. De Micheli, R. Ernst, W. Wolf, Readings in Hardware/Software Co-Design (Morgan Kaufmann, San Francisco, 2001)Google Scholar
  14. 14.
    L. Di Guglielmo, F. Fummi, G. Pravadelli, F. Stefanni, S. Vinco, A formal support for homogeneous simulation of heterogeneous embedded systems, in Proceedings of the IEEE International Symposium on Industrial Embedded Systems (2012), pp. 211–219Google Scholar
  15. 15.
    EDALab s.r.l., HIFSuite (2015),
  16. 16.
    G. Frehse, PHAVer: algorithmic verification of hybrid systems past HyTech, in Hybrid Systems: Computation and Control. Lecture Notes in Computer Science, vol. 3414 (Springer, Berlin/Heidelberg, 2005), pp. 258–273Google Scholar
  17. 17.
    F. Fummi, M. Loghi, M. Poncino, G. Pravadelli, A cosimulation methodology for HW/SW validation and performance estimation. ACM Trans. Des. Autom. Electron. Syst. 14, 23:1–23:32 (2009)Google Scholar
  18. 18.
    D.D. Gajski, N.D. Dutt, A.C.-H. Wu, S.Y.-L. Lin, High-Level Synthesis: Introduction to Chip and System Design (Kluwer Academic Publishers, Norwell, 1992)CrossRefGoogle Scholar
  19. 19.
    L.D. Guglielmo, F. Fummi, G. Pravadelli, F. Stefanni, S. Vinco, UNIVERCM: the UNIversal VERsatile computational model for heterogeneous system integration. IEEE Trans. Comput. 62(2), 225–241 (2013)CrossRefMathSciNetGoogle Scholar
  20. 20.
    T. Henzinger, The theory of hybrid automata, in IEEE Symposium on Logic in Computer Science (LICS) (1996), pp. 278–292Google Scholar
  21. 21.
    C.-J. Hsu, J. Pino, F.-J. Hu, A mixed-mode vector-based dataflow approach for modeling and simulating LTE physical layer, in Proceedings of the ACM/IEEE Design Automation Conference (2008), pp. 18–23Google Scholar
  22. 22.
    E.A. Lee, Overview of the Ptolemy project (2001), ptolemy.eecs.berkeley.eduGoogle Scholar
  23. 23.
    Mentor Graphics, Questa Advanced Simulator (2015),
  24. 24.
    S. Mijalkovic, Advanced circuit and device modeling with Verilog-A, in Proceeding of the IEEE Microelectronics (2006), pp. 439–442Google Scholar
  25. 25.
    P. Schneider, C. Bayer, K. Einwich, A. Kohler, System level simulation - a core method for efficient design of MEMS and mechatronic systems, in Proceedings of the IEEE Systems, Signals and Devices (2012), pp. 1–6Google Scholar
  26. 26.
    The MathWorks Inc., Stateflow: Design and Simulate State Machines and Control Logic (2007),
  27. 27.
    B. van Beek, The Compositional Interchange Format: Introduction (2015), Scholar
  28. 28.
    F.F.S. Vinco, M. Lora, Conservative behavioural modelling in SystemC-AMS, in IEEE/ECSI FDL (2015), pp. 1–8Google Scholar

Copyright information

© Springer International Publishing Switzerland 2016

Authors and Affiliations

  • Sara Vinco
    • 1
  • Michele Lora
    • 2
  • Valerio Guarnieri
    • 3
  • Jan Vanhese
    • 4
  • Dimitrios Trachanis
    • 4
  • Franco Fummi
    • 5
    Email author
  1. 1.Politecnico di TorinoTorinoItaly
  2. 2.University of VeronaVeronaItaly
  3. 3.EDALab s.r.l.VeronaItaly
  4. 4.Keysight TechnologiesRotselaarBelgium
  5. 5.University of Verona and EDALab s.r.l.VeronaItaly

Personalised recommendations