Metropolis: an integrated electronic system design environment. oday, the design chain lacks adequate support, with most system-level designers using a collection of unlinked tools. The implementation then proceeds with informal techniques involving numerous human-language interactions that create unnecessary and unwanted iterations among groups of designers in different companies or different divisions. The move toward programmable platforms shifts the design implementation task toward embedded software design. When embedded software reaches the complexity typical of today’s designs, the risk that the software will not function correctly increases exponentially. The Metropolis project seeks to develop a unified framework that can cope with this challenge. Based on a metamodel with formal semantics that developers can use to capture designs, Metropolis provides an environment for complex electronic-system design that supports simulation, formal analysis, and synthesis.

References in zbMATH (referenced in 17 articles )

Showing results 1 to 17 of 17.
Sorted by year (citations)

  1. Seshia, Sanjit A.; Sharygina, Natasha; Tripakis, Stavros: Modeling for verification (2018)
  2. Chen, Mingshuai; Ravn, Anders P.; Wang, Shuling; Yang, Mengfei; Zhan, Naijun: A two-way path between formal and informal design of embedded systems (2017)
  3. Attie, Paul; Baranov, Eduard; Bliudze, Simon; Jaber, Mohamad; Sifakis, Joseph: A general framework for architecture composability (2016)
  4. Nuzzo, Pierluigi; Sangiovanni-Vincentelli, Alberto: Let’s get physical: computer science meets systems (2014) ioport
  5. Sangiovanni-Vincentelli, Alberto; Damm, Werner; Passerone, Roberto: Taming Dr. Frankenstein: contract-based design for cyber-physical systems (2012)
  6. Assayad, Ismail; Yovine, Sergio: A scheduler synthesis methodology for joint SW/HW design exploration of SoC (2010) ioport
  7. Bliudze, Simon; Sifakis, Joseph: Causal semantics for the algebra of connectors (2010)
  8. Eames, Brandon K.; Neema, Sandeep K.; Saraswat, Rohit: DesertFD: a finite-domain constraint based tool for design space exploration (2010) ioport
  9. Cheung, Eric; Chen, Xi; Hsieh, Harry; Davare, Abhijit; Sangiovanni-Vincentelli, Alberto; Watanabe, Yosinori: Runtime deadlock analysis for system level design (2009) ioport
  10. Bliudze, Simon; Sifakis, Joseph: Causal semantics for the algebra of connectors (extended abstract) (2008)
  11. Pimentel, Andy D.; Thompson, Mark; Polstra, Simon; Erbas, Cagkan: Calibration of abstract performance models for system-level design space exploration (2007) ioport
  12. Sonntag, Sören; Gries, Matthias; Sauer, Christian: SystemQ: Bridging the gap between queuing-based performance evaluation and systemC (2007) ioport
  13. Bonivento, Alvise; Carloni, Luca P.; Sangiovanni-Vincentelli, Alberto: Platform based design for wireless sensor networks (2006) ioport
  14. Chen, Xi; Hsieh, Harry; Balarin, Felice: Verification approach of Metropolis design framework for embedded systems (2006)
  15. Wild, Thomas; Herkersdorf, Andreas; Lee, Gyoo-Yeong: TAPES-trace-based architecture performance evaluation with systemC (2006) ioport
  16. Araujo, Cristiano; Gomes, Millena; Barros, Edna; Rigo, Sandro; Azevedo, Rodolfo; Araujo, Guido: Platform designer: An approach for modeling multiprocessor platforms based on systemC (2005) ioport
  17. Balarin, Felice; Watanabe, Yosinori; Hsieh, Harry; Lavagno, Luciano; Passerone, Claudio; Sangiovanni-Vincentelli, Alberto: Metropolis: An Integrated Electronic System Design Environment (2003) ioport