Metropolis: An Integrated Electronic System Design Environment

By F. Balarin, Yosinori Watanabe, H. Hsieh, Luciano Lavagno, C. Passerone, Alberto L. Sangiovanni-Vincentelli. Computer, 2003

594 citations recorded by the source corpus.

Subfields: Hardware and Architecture, Software

View Paper: https://www.semanticscholar.org/paper/94c9dfb97cdee6776368cf1192143432a684e4ef

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Hardware and Architecture

1. Alberto L. Sangiovanni-Vincentelli
2. Cagkan Erbas
3. Simon Polstra
4. Andy D. Pimentel
5. Werner Damm
6. Roberto Passerone
7. Matthias Gries
8. Thomas A. Henzinger

In Software

1. Alberto L. Sangiovanni-Vincentelli
2. Kim Guldstrand Larsen
3. Werner Damm
4. Thomas A. Henzinger
5. Roberto Passerone
6. Dejan Nickovic
7. Matthias Gries
8. Kenneth L. McMillan

Citations in the corpus

• The Embedded Systems Design Challenge (2006, background): “Much recent attention has focused on so-called ‘metamodels,’ which are semantic frameworks for expressing different models and their interoperation [2, 9, 3].”
• A systematic approach to exploring embedded system architectures at multiple abstraction levels (2006, background): “There are several attempts being made to address this issue, such as in the Metropolis [7] and Milan frameworks [10], the work of [26], and in the context of SystemC (e.g., [11]).”
• Contracts for System Design (2018, methodology): “Heterogeneous composition of models with different semantics was originally addressed in Ptolemy [88], Metropolis [20], [67], [16], [48], and in the SPEEDS meta-model of heterogeneous rich components [65], [29], [31], albeit with different approaches.”
• Modeling Heterogeneous Real-time Components in BIP (2006, background): “The BIP framework shares features with existing ones for heterogeneous components, such as [5, 8, 6, 4].”
• Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems (2012, methodology): “Heterogeneous composition of models with different semantics was originally addressed in Ptolemy [16] and Metropolis [2], [11], [3] albeit with different approaches.”
• Methods for evaluating and covering the design space during early design development (2004, background): “Metropolis’ [136] metamodel language also allows to express different kinds of models of computation, such as transaction-level modeling and process networks.”