Metropolis: an integrated electronic system design environment
Top Cited Papers
- 8 April 2003
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in Computer
- Vol. 36 (4) , 45-52
- https://doi.org/10.1109/mc.2003.1193228
Abstract
Today, 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.Keywords
This publication has 7 references indexed in Scilit:
- Automatic generation of simulation monitors from quantitative constraint formula [system-level verification]Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Formal verification of embedded system designs at multiple levels of abstractionPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Modeling and Designing Heterogeneous SystemsPublished by Springer Nature ,2002
- Concurrent execution semantics and sequential simulation algorithms for the metropolis meta-modelPublished by Association for Computing Machinery (ACM) ,2002
- A framework for comparing models of computationIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1998
- The model checker SPINIEEE Transactions on Software Engineering, 1997
- Hardware-Software Co-Design of Embedded SystemsPublished by Springer Nature ,1997