A Next-Generation Design Framework for Platform-Based Design

The platform-based design methodology [1] is based on the usage of formal modeling techniques, clearly defined abstraction levels and the separation of concerns to enable an effective design process. The METROPOLIS framework embodies the platform-based design methodology and has been applied to a number of case studies across multiple domains. Based on these experiences, we have identified three key features that need to be enhanced: heterogeneous IP import, orthogonalization of performance from behavior, and design space exploration. The next generation METRO II framework incorporates these advanced features. The main concepts underlying METRO II are described in this paper and illustrated with a small example.

[1]  A. Pnueli.  The Temporal Semantics of Concurrent Programs , 1979, Theor. Comput. Sci..

[2]  Walter Mann,et al.  Correction to "Specification and Analysis of System Architecture Using Rapide" , 1995, IEEE Trans. Software Eng..

[3]  Gerard J. Holzmann,et al.  The Model Checker SPIN , 1997, IEEE Trans. Software Eng..

[4]  Edward A. Lee,et al.  A framework for comparing models of computation , 1998, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[5]  Viktor K. Prasanna,et al.  MILAN: A Model Based Integrated Simulation Framework for Design of Embedded Systems , 2001, OM '01.

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

[7]  Gabor Karsai,et al.  The Generic Modeling Environment , 2001 .

[8]  Sharad Malik,et al.  Developing Architectural Platforms: A Disciplined Approach , 2002, IEEE Des. Test Comput..

[9]  Luciano Lavagno,et al.  Metropolis: An Integrated Electronic System Design Environment , 2003, Computer.

[10]  Alberto L. Sangiovanni-Vincentelli,et al.  Separation of concerns: overhead in modeling and efficient simulation techniques , 2004, EMSOFT '04.

[11]  Alberto L. Sangiovanni-Vincentelli,et al.  Microarchitecture development via metropolis successive platform refinement , 2004, Proceedings Design, Automation and Test in Europe Conference and Exhibition.

[12]  Xi Chen,et al.  Logic of constraints: a quantitative performance and functional constraint formalism , 2004, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[13]  Alberto L. Sangiovanni-Vincentelli,et al.  JPEG encoding on the Intel MXP5800: a platform-based design case study , 2005, 3rd Workshop on Embedded Systems for Real-Time Multimedia, 2005..

[14]  Xi Chen,et al.  Constraints Assisted Modeling and Validation in Metropolis Framework , 2006, 2006 Fortieth Asilomar Conference on Signals, Systems and Computers.

[15]  Andy D. Pimentel,et al.  A systematic approach to exploring embedded system architectures at multiple abstraction levels , 2006, IEEE Transactions on Computers.

[16]  Alberto Sangiovanni-Vincentelli,et al.  Design Space Exploration of Automotive Platforms in Metropolis , 2006 .

[17]  Alberto L. Sangiovanni-Vincentelli,et al.  FPGA Architecture Characterization for System Level Performance Analysis , 2006, Proceedings of the Design Automation & Test in Europe Conference.

[18]  Roberto Passerone,et al.  A Platform-Based Taxonomy for ESL Design , 2006, IEEE Design & Test of Computers.

[19]  Edward A. Lee,et al.  Heterogeneous Concurrent Modeling and Design in Java (Volume 1: Introduction to Ptolemy II) , 2008 .