Search: 
 

Contents


Metropolis Home
Overview
  Metamodel
  Tools
  Design Methodologies
  Platform-Based Design
  Wiki
Publications
 
  4/07 IEEE Article
  4/03 IEEE Article
  6/02 GSRC Presentations
  All Metropolis Pubs
Etc.
  People
  Polis
  Search
Members
  src
  Private Forum
   Task List
  Metropolis: a Design Environment for Heterogeneous Systems
Overview
Group information  
Group name metropolis
Title Metropolis: a Design Environment for Heterogeneous Systems
Summary
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
  1. heterogeneous components of a system can be represented uniformly, and
  2. tools for formal methods can be applied naturally.
Group type Software project Special interest group Administrative group
People involved in this group  
Administrators Christopher Brooks cxh
Allen Hopkins allenh
Trevor Meyerowitz tcm tcm@eecs.berkeley.edu
Members Christopher Brooks cxh
Yun Cao yuncao
Luca Carloni lcarloni
Abhijit Davare davare
John DeMello johndemello
Douglas Densmore, PhD densmore
Ajit Dingankar AjitDingankar
Paolo Giusto  
Liangpeng Guo glp
Allen Hopkins allenh
Wei Jiang weijiang
Farinaz Koushanfar farinaz
Mingjie Lin, Ph.D mingjie mingjie@stanford.edu
Trevor Meyerowitz tcm tcm@eecs.berkeley.edu
Umit Y. Ogras uogras uogras@ece.cmu.edu
Alessandro Pinto apinto apinto@eecs.berkeley.edu
Andrzej PULKA apulka
Florian Schaefer, Dr. florian
Marco Sgroi sgroi
Alena Simalatsar simalats
Xuening Sun xuening
Stavros Tripakis, Ph.D. tripakis
Guang Yang  
Haibo Zeng zenghb
Qi Zhu zhuqi
Guests Hugo A. Andrade andrade
Farzad Eskafi feskafi
Craig Force force force@ti.com
Simone Gambini Simone
Fumiyasu Hirose hirose
Clas Jacobson, Ph.D. jacobsca
Sankalp Kallakuri Sankalp
John O'Leary joleary
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 CVS mail list Public interest list
Public announce list CVS module Bugs
Calendar src directory Newsgroup
Notify Developers Wiki Application Form
Show Publications
HTML authoring None CVS checkin Remote URL
 
You are not logged in
©1998-2009 GSRC