Translation, Abstraction and Integration for Effective Smart System Design
暂无分享,去创建一个
Franco Fummi | Sara Vinco | Michele Lora | F. Fummi | S. Vinco | M. Lora
[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.