Abstract
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).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Accellera Systems Initiative, SystemC (2015), accellera.org/downloads/standards/systemc
Accellera Systems Initiative, SystemC-AMS 2.0 Standard (2015), accellera.org/downloads/ standards/systemc
Accellera Systems Initiative, SystemC TLM (Transaction-Level Modeling) (2015), accellera.org/activities/working- groups/systemc-tlm
Agilent Technologies, SystemVue Electronic System-Level (ESL) Design Software (2015), www.home.agilent.com/en/pc-1297131/systemvue
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)
N. Bombieri, G.D. Guglielmo, M. Ferrari et al., HIFSuite: tools for HDL code conversion and manipulation. EURASIP J. Embed. Syst., 1–20 (2010)
N. Bombieri, F. Fummi, G. Pravadelli, Abstraction of RTL IPs into embedded software, in ACM/IEEE Design Automation Conference (2010), pp. 24–29
N. Bombieri, F. Fummi, G. Pravadelli, Automatic abstraction of RTL IPs into equivalent TLM descriptions. IEEE Trans. Comput. 60(12), 1730–1743 (2011)
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)
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–6
J.C. Butcher, Numerical Methods for Ordinary Differential Equation (Wiley, New York, 2003)
Coventor, Inc., MEMS+: MEMS Simulation Software (2015), www.coventor.com/mems-solutions/products/mems
G. De Micheli, R. Ernst, W. Wolf, Readings in Hardware/Software Co-Design (Morgan Kaufmann, San Francisco, 2001)
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–219
EDALab s.r.l., HIFSuite (2015), www.hifsuite.com
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–273
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)
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)
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)
T. Henzinger, The theory of hybrid automata, in IEEE Symposium on Logic in Computer Science (LICS) (1996), pp. 278–292
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–23
E.A. Lee, Overview of the Ptolemy project (2001), ptolemy.eecs.berkeley.edu
Mentor Graphics, Questa Advanced Simulator (2015), www.mentor.com/products/fv/questa
S. Mijalkovic, Advanced circuit and device modeling with Verilog-A, in Proceeding of the IEEE Microelectronics (2006), pp. 439–442
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–6
The MathWorks Inc., Stateflow: Design and Simulate State Machines and Control Logic (2007), www.mathworks.com/products/stateflow/
B. van Beek, The Compositional Interchange Format: Introduction (2015), se.wtb.tue.nl/sewiki/media/vanbeek/cifintro.pdf
F.F.S. Vinco, M. Lora, Conservative behavioural modelling in SystemC-AMS, in IEEE/ECSI FDL (2015), pp. 1–8
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Vinco, S., Lora, M., Guarnieri, V., Vanhese, J., Trachanis, D., Fummi, F. (2016). Design Domains and Abstraction Levels for Effective Smart System Simulation. In: Bombieri, N., Poncino, M., Pravadelli, G. (eds) Smart Systems Integration and Simulation. Springer, Cham. https://doi.org/10.1007/978-3-319-27392-1_3
Download citation
DOI: https://doi.org/10.1007/978-3-319-27392-1_3
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-27390-7
Online ISBN: 978-3-319-27392-1
eBook Packages: EngineeringEngineering (R0)