research-article

Metropolis: An Integrated Electronic System Design Environment

Authors:

Alberto Sangiovanni-VincentelliAuthors Info & Claims

Computer, Volume 36, Issue 4

Pages 45 - 52

https://doi.org/10.1109/MC.2003.1193228

Published: 01 April 2003 Publication History

Publisher Site

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.

References

[1]

E. Lee and A. Sangiovanni-Vincentelli, "A Framework for Comparing Models of Computation," IEEE Trans. Computer-Aided Design of Integrated Circuits and Systems, Dec. 1998, pp. 1217-1229.

Digital Library

Google Scholar

[2]

G.J. Holzmann, "The Model Checker Spin," IEEE Trans. Software Eng., May 1997, pp. 258-279.

Crossref

Google Scholar

[3]

F. Balarin, et al., "Modeling and Designing Heterogeneous Systems," Concurrency and Hardware Design, J. Cortadella, A. Yakovlev, and G. Rozenberg, eds., Springer, 2002, pp. 228-273.

Crossref

Google Scholar

[4]

S. Solden, "Architectural Services Modeling for Performance in HW-SW Co-Design," Proc. Workshop on Synthesis and System Integration of Mixed Technologies, IEEE Press, 2001, pp. 72-77.

Google Scholar

[5]

F. Balarin, et al., "Concurrent Execution Semantics and Sequential Simulation Algorithms for the Metropolis Metamodel," Proc. 10th Int'l Symp. Hardware/Software Codesign, IEEE CS Press, 2002, pp. 13-18.

Crossref

Google Scholar

[6]

X. Chen, et al., "Formal Verification of Embedded System Designs at Multiple Levels of Abstraction," Int'l Workshop High-Level Design, Validation and Test, IEEE CS Press, 2002, pp. 125-130.

Crossref

Google Scholar

[7]

X. Chen, et al., "Automatic Generation of Simulation Monitors from Quantitative Constraint Formula," to be published in Proc. Design Automation and Test in Europe 2003, ACM Press, 2003.

Crossref

Google Scholar

[8]

J. Cortadella, et al., "Quasi-Static Scheduling of Independent Tasks for Reactive Systems," Proc. 23rd Int'l Conf. Application and Theory of Petri Nets, Springer, 2002, pp. 80-99.

Crossref

Google Scholar

[9]

F. Balarin, et al., Hardware-Software Co-Design of Embedded Systems: The Polis Approach, Kluwer Academic Publishers, 1997.

Digital Library

Google Scholar

[10]

J. Buck, et al., "Ptolemy: A Framework for Simulating and Prototyping Heterogeneous Systems," Int'l J. Computer Simulation, Apr. 1994, pp. 155-182.

Google Scholar

[11]

T. Grotker, et al., System Design with SystemC, Kluwer Academic Publishers, 2002.

Crossref

Google Scholar

[12]

D. Gajski J. Zhu and R. Domer, The SpecC Language, Kluwer Academic Publishers, 1997.

Google Scholar

Cited By

View all

Palumbo FZedda MFanni TBagnato ACastello LCastrillon JPonte RDeng YDriessen BFadda Mdu Fretay Tde Oliveira Filho JRao VRegazzoni FRodriguez ASchranz MSedda G(2024)MYRTUS: Multi-layer 360° dYnamic orchestration and interopeRable design environmenT for compute-continUum SystemsProceedings of the 21st ACM International Conference on Computing Frontiers: Workshops and Special Sessions10.1145/3637543.3654618(101-106)Online publication date: 7-May-2024
https://dl.acm.org/doi/10.1145/3637543.3654618
Raji MNikseresht M(2022)UMOTS: an uncertainty-aware multi-objective genetic algorithm-based static task scheduling for heterogeneous embedded systemsThe Journal of Supercomputing10.1007/s11227-021-03887-178:1(279-314)Online publication date: 1-Jan-2022
https://dl.acm.org/doi/10.1007/s11227-021-03887-1
Roy DZhang LChang WGoswami DVogel-Heuser BChakraborty S(2021)Tool Integration for Automated Synthesis of Distributed Embedded ControllersACM Transactions on Cyber-Physical Systems10.1145/34774996:1(1-31)Online publication date: 23-Nov-2021
https://dl.acm.org/doi/10.1145/3477499
Show More Cited By

Index Terms

Metropolis: An Integrated Electronic System Design Environment

Recommendations

Stability of noisy Metropolis---Hastings

Pseudo-marginal Markov chain Monte Carlo methods for sampling from intractable distributions have gained recent interest and have been theoretically studied in considerable depth. Their main appeal is that they are exact, in the sense that they target ...
Non-reversible Metropolis-Hastings

The classical Metropolis-Hastings (MH) algorithm can be extended to generate non-reversible Markov chains. This is achieved by means of a modification of the acceptance probability, using the notion of vorticity matrix. The resulting Markov chain is non-...
A guided walk Metropolis algorithm

The random walk Metropolis algorithm is a simple Markov chain Monte Carlo scheme which is frequently used in Bayesian statistical problems. We propose a guided walk Metropolis algorithm which suppresses some of the random walk behavior in the Markov ...

Comments

Information & Contributors

Information

Published In

Computer Volume 36, Issue 4

April 2003

87 pages

ISSN:0018-9162

Issue’s Table of Contents

Publisher

IEEE Computer Society Press

Washington, DC, United States

Publication History

Published: 01 April 2003

Qualifiers

Research-article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

124
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 03 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Palumbo FZedda MFanni TBagnato ACastello LCastrillon JPonte RDeng YDriessen BFadda Mdu Fretay Tde Oliveira Filho JRao VRegazzoni FRodriguez ASchranz MSedda G(2024)MYRTUS: Multi-layer 360° dYnamic orchestration and interopeRable design environmenT for compute-continUum SystemsProceedings of the 21st ACM International Conference on Computing Frontiers: Workshops and Special Sessions10.1145/3637543.3654618(101-106)Online publication date: 7-May-2024
https://dl.acm.org/doi/10.1145/3637543.3654618
Raji MNikseresht M(2022)UMOTS: an uncertainty-aware multi-objective genetic algorithm-based static task scheduling for heterogeneous embedded systemsThe Journal of Supercomputing10.1007/s11227-021-03887-178:1(279-314)Online publication date: 1-Jan-2022
https://dl.acm.org/doi/10.1007/s11227-021-03887-1
Roy DZhang LChang WGoswami DVogel-Heuser BChakraborty S(2021)Tool Integration for Automated Synthesis of Distributed Embedded ControllersACM Transactions on Cyber-Physical Systems10.1145/34774996:1(1-31)Online publication date: 23-Nov-2021
https://dl.acm.org/doi/10.1145/3477499
Zoor MApvrille LPacalet RGuerra EIovino L(2020)SysML modelsProceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings10.1145/3417990.3419225(1-10)Online publication date: 16-Oct-2020
https://dl.acm.org/doi/10.1145/3417990.3419225
Porto RGenius DApvrille LChillet D(2019)Modeling and Virtual Prototyping for Embedded Systems on Mixed-Signal MulticoresProceedings of the Rapid Simulation and Performance Evaluation: Methods and Tools10.1145/3300189.3300193(1-7)Online publication date: 21-Jan-2019
https://dl.acm.org/doi/10.1145/3300189.3300193
Zaraket FJaber MNoureddine MFalcone Y(2019)From high-level modeling toward efficient and trustworthy circuitsInternational Journal on Software Tools for Technology Transfer (STTT)10.1007/s10009-017-0462-521:2(143-163)Online publication date: 1-Apr-2019
https://dl.acm.org/doi/10.1007/s10009-017-0462-5
Zhan HLin QWang STalpin JXu XZhan N(2019)Unified Graphical Co-modelling of Cyber-Physical Systems Using AADL and Simulink/StateflowUnifying Theories of Programming10.1007/978-3-030-31038-7_6(109-129)Online publication date: 8-Oct-2019
https://dl.acm.org/doi/10.1007/978-3-030-31038-7_6
Rosales RGuibene WFabila Garcia GMüller PMostefaoui A(2018)Actor-Oriented Design Patterns for Performance Modeling of Wireless Communications in Cyber-physical SystemsProceedings of the 14th ACM International Symposium on QoS and Security for Wireless and Mobile Networks10.1145/3267129.3267136(29-38)Online publication date: 25-Oct-2018
https://dl.acm.org/doi/10.1145/3267129.3267136
Jiang YLiu HSong HKong HWang RGuan YSha L(2018)Safety-Assured Model-Driven Design of the Multifunction Vehicle Bus ControllerIEEE Transactions on Intelligent Transportation Systems10.1109/TITS.2017.277807719:10(3320-3333)Online publication date: 1-Oct-2018
https://dl.acm.org/doi/10.1109/TITS.2017.2778077
Berg FHaverkort BHooman J(2016)Efficiently Computing Latency Distributions by Combined Performance Evaluation TechniquesProceedings of the 9th EAI International Conference on Performance Evaluation Methodologies and Tools10.4108/eai.14-12-2015.2262725(158-163)Online publication date: 4-Jan-2016
https://dl.acm.org/doi/10.4108/eai.14-12-2015.2262725
Show More Cited By

Abstract

References

Cited By

Index Terms

Recommendations

Stability of noisy Metropolis---Hastings

Non-reversible Metropolis-Hastings

A guided walk Metropolis algorithm

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations