Translation, Abstraction and Integration for Effective Smart System Design

Virtual platforms are a powerful support for the development and early validation of embedded SW. However, complex smart devices are built by aggregating heterogeneous components provided by different vendors, thus requiring the development of custom ad-hoc virtual platforms. Even worse, components of the underneath HW platform may belong to different design domains, that are usually expressed using a huge variety of different languages. This high degree of heterogeneity in terms of both design and specification languages must be effectively managed by the design flow so to help engineers in assembling the final system. This paper proposes a meet-in-the-middle approach to create virtual platforms of heterogeneous systems. The starting point is a set of heterogeneous models, developed by adopting the designer's favorite language and formalism. The methodology envisions the adoption of existing automatic translation and abstraction tools to automatically integrate models of components into a single homogeneous system-level executable description. The approach is supported by an analysis of the typical design flow, that leads to the definition of design domain/abstraction level taxonomies. Such taxonomies are then used to identify what characteristics would allow efficient system-level simulation, and the corresponding transformations to be applied to the starting models to achieve a “holistic” system executable representation. The benefit of such an approach is particularly evident on any kind of highly heterogeneous systems, such as smart devices. The proposed methodology has been applied to two case studies with different degrees of heterogeneity, with the goal exemplifying its adoption on concrete scenarios and to prove its effectiveness.

[1]  Scott Little,et al.  Modeling and Simulation Aided Verification of Analog / Mixed-Signal Circuits ? , 2008 .

[2]  Jeff A. Estefan,et al.  of Model-Based Systems Engineering ( MBSE ) Methodologies , 2008 .

[3]  Graziano Pravadelli,et al.  A common architecture for co-simulation of SystemC models in QEMU and OVP virtual platforms , 2014, 2014 22nd International Conference on Very Large Scale Integration (VLSI-SoC).

[4]  Gianmaria De Tommasi,et al.  Modeling of MARTe-Based Real-Time Applications With SysML , 2013, IEEE Transactions on Industrial Informatics.

[5]  Xiaobin Zhang,et al.  Co-simulation platforms for co-design of networked control systems: An overview , 2014 .

[6]  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).

[7]  Franco Fummi,et al.  A formal support for homogeneous simulation of heterogeneous embedded systems , 2012, 7th IEEE International Symposium on Industrial Embedded Systems (SIES'12).

[8]  Stephen G. Tell,et al.  An engineering environment for hardware/software co-simulation , 1992, [1992] Proceedings 29th ACM/IEEE Design Automation Conference.

[9]  Edward A. Lee,et al.  Metronomy: A function-architecture co-simulation framework for timing verification of cyber-physical systems , 2014, 2014 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS).

[10]  Karem A. Sakallah,et al.  Automatic abstraction and verification of verilog models , 2004, Proceedings. 41st Design Automation Conference, 2004..

[11]  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.

[12]  Andreas Junghanns,et al.  Functional Mockup Interface 2.0: The Standard for Tool independent Exchange of Simulation Models , 2012 .

[13]  A. Sangiovanni-Vincentelli,et al.  A Next-Generation Design Framework for Platform-Based Design , 2007 .

[14]  Axel Jantsch,et al.  Toward Smart Embedded Systems , 2016, ACM Trans. Embed. Comput. Syst..

[15]  Jan Haase,et al.  Using Transaction Level Modeling techniques for wireless sensor network simulation , 2010, 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010).

[16]  Alberto L. Sangiovanni-Vincentelli Is a Unified Methodology for System-Level Design Possible? , 2008, IEEE Design & Test of Computers.

[17]  Frédéric Pétrot,et al.  Automatic instrumentation of embedded software for high level hardware/software co-simulation , 2009, 2009 Asia and South Pacific Design Automation Conference.

[18]  Franco Fummi,et al.  A unifying flow to ease smart systems integration , 2016, 2016 IEEE International High Level Design Validation and Test Workshop (HLDVT).

[19]  Franco Fummi,et al.  Multi-domain simulation as a foundation for the engineering of smart systems: Challenges and the SMAC vision , 2014, 2014 21st IEEE International Conference on Electronics, Circuits and Systems (ICECS).

[20]  Erwin A. de Kock,et al.  Industrial IP integration flows based on IP-XACT standards , 2008, 2008 Design, Automation and Test in Europe.

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

[22]  Thomas A. Henzinger,et al.  Theory in practice for system design and verification , 2015, SIGL.

[23]  Rainer Leupers,et al.  Virtual platforms: Breaking new grounds , 2012, 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[24]  Elizabeth Latronico,et al.  System Design, Modeling, and Simulation Using Ptolemy Ii Ontologies , 2013 .

[25]  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).

[26]  Franco Fummi,et al.  Analog Models Manipulation for Effective Integration in Smart System Virtual Platforms , 2018, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[27]  Franco Fummi,et al.  Hardware Synthesis from Software-Oriented UML Descriptions , 2014, 2014 15th International Microprocessor Test and Verification Workshop.

[28]  Franco Fummi,et al.  UNIVERCM: The UNIversal VERsatile Computational Model for Heterogeneous System Integration , 2013, IEEE Transactions on Computers.

[29]  Franco Fummi,et al.  The strange pair: IP-XACT and univerCM to integrate heterogeneous embedded systems , 2012, 2012 IEEE International High Level Design Validation and Test Workshop (HLDVT).

[30]  Wolfgang Nebel,et al.  Connecting SystemC-AMS models with OSCI TLM 2.0 models using temporal decoupling , 2008, 2008 Forum on Specification, Verification and Design Languages.

[31]  Elmar Ahle,et al.  The Functional Mockup Interface - seen from an industrial perspective , 2014 .

[32]  François Pêcheux,et al.  VHDL-AMS and Verilog-AMS as alternative hardware description languages for efficient modeling of multidiscipline systems , 2005, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[33]  Peter A. Fritzson,et al.  Principles of object-oriented modeling and simulation with Modelica 2.1 , 2004 .

[34]  Jan Haase,et al.  SystemC-based power simulation of wireless sensor networks , 2009, 2009 Forum on Specification & Design Languages (FDL).

[35]  Paolo Giusto,et al.  Reliable estimation of execution time of embedded software , 2001, Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001.

[36]  Peter H. Feiler,et al.  The Architecture Analysis & Design Language (AADL): An Introduction , 2006 .

[37]  Zhonglei Wang,et al.  An efficient approach for system-level timing simulation of compiler-optimized embedded software , 2009, 2009 46th ACM/IEEE Design Automation Conference.

[38]  Giovanni De Micheli,et al.  Readings in hardware / software co-design , 2001 .

[39]  Franco Fummi,et al.  Code Manipulation for Virtual Platform Integration , 2016, IEEE Transactions on Computers.

[40]  Alberto L. Sangiovanni-Vincentelli,et al.  Contracts for System Design , 2018, Found. Trends Electron. Des. Autom..

[41]  Franco Fummi,et al.  Virtual prototyping of smart systems through automatic abstraction and mixed-signal scheduling , 2017, 2017 22nd Asia and South Pacific Design Automation Conference (ASP-DAC).

[42]  M. Mitchell Waldrop,et al.  The chips are down for Moore’s law , 2016, Nature.

[43]  Enrico Macii,et al.  IP-XACT for smart systems design: extensions for the integration of functional and extra-functional models , 2016, 2016 Forum on Specification and Design Languages (FDL).

[44]  Thomas A. Henzinger,et al.  Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems , 1992, Hybrid Systems.

[45]  Victor Berman,et al.  Standards: The P1685 IP-XACT IP Metadata Standard , 2006, IEEE Design & Test of Computers.

[46]  Luigi Carro,et al.  Using UML as Front-end for Heterogeneous Software Code Generation Strategies , 2008, 2008 Design, Automation and Test in Europe.

[47]  Eric Dekneuvel,et al.  Multi-level modeling of wireless embedded systems , 2014, Proceedings of the 2014 Forum on Specification and Design Languages (FDL).

[48]  K. Keutzer,et al.  System-level design: orthogonalization of concerns andplatform-based design , 2000, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[49]  Franco Fummi,et al.  UNIVERCM: The UNIversal VERsatile computational model for heterogeneous embedded system design , 2011, 2011 IEEE International High Level Design Validation and Test Workshop.