Metropolis Home
  Design Methodologies
  Platform-Based Design
  4/07 IEEE Article
  4/03 IEEE Article
  6/02 GSRC Presentations
  Private Forum
Design Environment for Heterogeneous Systems
Group information  
Group name metropolis
Title Design Environment for Heterogeneous Systems
Summary Design Environment for Heterogeneous Systems
Description Establishing formal design methodologies is imperative to effectively manage complex design tasks required in modern-date system designs. It involves defining levels of abstraction to formally represent systems being designed, as well as formulating problems to be addressed at and across the abstraction levels. This calls for a design environment in which systems can be unambiguously represented throughout the abstraction levels, the design problems can be mathematically formulated, and tools can be incorporated to solve some of the problems automatically. Developing such an environment is precisely the goal of Metropolis.

Metropolis consists of an infrastructure, a tool set, and design methodologies for various application domains. The infrastructure provides a mechanism such that heterogeneous components of a system can be represented uniformly and tools for formal methods can be applied naturally.

Currently, the main Metropolis web page can be found at

Metropolis 1.0.1 is available for download.

Group type Software project Special interest group Administrative group
People involved in this group  
Administrators Christopher Brooks cxh
Abhijit Davare davare
Douglas Densmore densmore
Members Felice Balarin felice
Massimo Baleani mbaleani
Christopher Brooks cxh
Abhijit Davare davare
Douglas Densmore densmore
Thomas Huining Feng tfeng
Alberto Ferrari, Ph.D. aferrari
Arkadeb Ghosal arkadeb
Yaron Kashai yaron
Luciano Lavagno lavagno
Kelvin Lwin Klwin
Leonardo Mangeruca, Ph.D. leonardo
Trevor Meyerowitz tcm
Name hidden by user
Claudio Pinello pinello
Name hidden by user
Alberto Sangiovanni-Vincentelli alberto
Alena Simalatsar simalatsar
Sampada Sonalkar sampada
Stavros Tripakis stavros
Name hidden by user
Yosinori Watanabe watanabe
Name hidden by user
Name hidden by user
Qi Zhu zhuqi
Group configuration  
Configuration options Is enabled Has members Has administrator
Fancy HTML Fix HTML Is searchable
Is advertised
Workspace options Home page Discussion forum Private forum
FAQ Member mail list Member notification list
Developer mail list VC mail list Public interest list
Public announce list VC module Bugs
Calendar src directory Notify Developers
Wiki Application Form Show Publications
HTML authoring None VC checkin
©2002-2018 U.C. Regents