IP-XACT for smart systems design: extensions for the integration of functional and extra-functional models

Smart systems are miniaturized devices integrating computation, communication, sensing and actuation. As such, their design can not focus solely on functional behavior, but it must rather take into account different extra-functional concerns, such as power consumption or reliability. Any smart system can thus be modeled through a number of views, each focusing on a specific concern. Such views may exchange information, and they must thus be simulated simultaneously to reproduce mutual influence of the corresponding concerns. This paper shows how the IP-XACT standard, with some necessary extensions, can effectively support this simultaneous simulation. The extended IP-XACT descriptions allow to model extra-functional properties with a homogeneous format, defined by analysing requirements and characteristic of three main concerns, i.e., power, temperature and reliability. The IP-XACT descriptions are then used to automatically generate a skeleton of the simulation infrastructure in SystemC. The skeleton can be easily populated with models available in the literature, thus reaching simultaneous simulation of multiple concerns.

[1]  Timo Hämäläinen,et al.  Kactus2: Environment for Embedded Product Development Using IP-XACT and MCAPI , 2011, 2011 14th Euromicro Conference on Digital System Design.

[2]  Li Shang,et al.  Power, Thermal, and Reliability Modeling in Nanometer-Scale Microprocessors , 2007, IEEE Micro.

[3]  Frédéric Pétrot,et al.  Extending IP-XACT to support an MDE based approach for SoC design , 2009, 2009 Design, Automation & Test in Europe Conference & Exhibition.

[4]  Sarita V. Adve,et al.  AS SCALING THREATENS TO ERODE RELIABILITY STANDARDS, LIFETIME RELIABILITY MUST BECOME A FIRST-CLASS DESIGN CONSTRAINT. MICROARCHITECTURAL INTERVENTION OFFERS A NOVEL WAY TO MANAGE LIFETIME RELIABILITY WITHOUT SIGNIFICANTLY SACRIFICING COST AND PERFORMANCE , 2005 .

[5]  Franco Fummi,et al.  HIFSuite: Tools for HDL Code Conversion and Manipulation , 2010, 2010 IEEE International High Level Design Validation and Test Workshop (HLDVT).

[6]  Timo Hämäläinen,et al.  Extending IP-XACT to embedded system HW/SW integration , 2013, 2013 International Symposium on System on Chip (SoC).

[7]  Emmanuel Vaumorin.  SPIRIT IP-XACT Extensions and Exploitation for Verification Software Methodology , 2008 .

[8]  Franco Fummi,et al.  A SystemC-based framework for modeling and simulation of networked embedded systems , 2008, 2008 Forum on Specification, Verification and Design Languages.

[9]  Franco Fummi,et al.  Moving from co-simulation to simulation for effective smart systems design , 2014, 2014 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[10]  David Broman,et al.  Viewpoints, formalisms, languages, and tools for cyber-physical systems , 2012, MPM '12.

[11]  Xiao Pan,et al.  A framework for model-based design of embedded systems for energy management , 2013, 2013 Workshop on Modeling and Simulation of Cyber-Physical Energy Systems (MSCPES).

[12]  Kevin T. Pedretti,et al.  SST + gem5 = a scalable simulation infrastructure for high performance computing , 2012, SimuTools.

[13]  Kevin Skadron,et al.  HotSpot: a dynamic compact thermal model at the processor-architecture level , 2003, Microelectron. J..

[14]  Edward A. Lee,et al.  Modeling Cyber–Physical Systems , 2012, Proceedings of the IEEE.

[15]  Sharad Malik,et al.  Instruction level power analysis and optimization of software , 1996, Proceedings of 9th International Conference on VLSI Design.

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

[17]  Dimitri Galayko,et al.  SystemC-AMS modeling of an electromechanical harvester of vibration energy , 2008, 2008 Forum on Specification, Verification and Design Languages.

[18]  Vasyl Teslyuk,et al.  Verilog-AMS model of mechanical component of integrated angular velocity microsensor for schematic design level , 2015, 2015 16th International Conference on Computational Problems of Electrical Engineering (CPEE).

[19]  Massimo Poncino,et al.  Heterogeneous co-simulation of networked embedded systems , 2004, Proceedings Design, Automation and Test in Europe Conference and Exhibition.

[20]  Enrico Macii,et al.  An open-source framework for formal specification and simulation of electrical energy systems , 2014, 2014 IEEE/ACM International Symposium on Low Power Electronics and Design (ISLPED).

[21]  Donghwa Shin,et al.  An automated framework for generating variable-accuracy battery models from datasheet information , 2013, International Symposium on Low Power Electronics and Design (ISLPED).

[22]  Enrico Macii,et al.  Fast thermal simulation using SystemC-AMS , 2016, 2016 International Great Lakes Symposium on VLSI (GLSVLSI).

[23]  Mohammad Abdullah Al Faruque,et al.  A model-based design of Cyber-Physical Energy Systems , 2014, 2014 19th Asia and South Pacific Design Automation Conference (ASP-DAC).

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

[25]  Luca Benini,et al.  Reliability-aware design for nanometer-scale devices , 2008, 2008 Asia and South Pacific Design Automation Conference.

[26]  Massimo Poncino,et al.  Smart Systems Integration and Simulation , 2016 .