[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
article

MILAN: A Model Based Integrated Simulation Framework for Design of Embedded Systems

Published: 01 August 2001 Publication History

Abstract

We present MILAN, a model based extensible framework that facilitates rapid, multigranular performance evaluation of a large class of embedded systems, by seamlessly integrating different widely used simulators in to a unified environment. MILAN provides a formal paradigm for specification of structural and behavioral aspects of embedded systems, an integrated model-based approach, and a unified software environment for system design and simulation. This paper provides an overview of MILAN, discusses the Model Integrated Computing philosophy, and illustrates the high-level modeling concepts being developed in the MILAN project for embedded systems design and evaluation.

References

[1]
Algorithms for Data Intensive Applications on Intelligent and Smart Memories (ADVISOR), Univ. of Southern California. http://advisor.usc.edu.]]
[2]
A. Bakshi and V. K. Prasanna, "Abstract Resource Representations for Custom Design of System-on-Chip Architectures," submitted to IFIP VLSI-SOC 2001, Montpellier, France, December 2001.]]
[3]
F. Balarin et al., "Hardware-Software Co-Design of Embedded Systems: The POLIS Approach," Kluwer Academic Publisher, Massachusetts, 1997.]]
[4]
T. Bapty et al., "Model-Integrated Tools for the Design of Dynamically Reconfigurable Systems," ISIS Technical Report/Vanderbilt University, 2000.]]
[5]
K. Bondalapati and V. K. Prasanna, "Mapping Loops onto Reconfigurable Architectures," International Workshop on Field Programmable Logic and Applications, Tallinn, Estonia, August 1998.]]
[6]
G. Booch et al., "The Unified Modeling Language User Guide," Addison-Wesley Pub Co., 1999.]]
[7]
Chameleon Systems Reconfigurable Communications Processor, http://www.chameleonsystems.com/.]]
[8]
H. Chang et al., "Surviving the SOC revolution - A guide to Platform-Based Design," Kluwer Academic Publisher, Boston, November 1999.]]
[9]
M. Chiodo et al., "A Formal Specification Model for Hardware/Software Codesign," Proc. of the International Workshop on Hardware-Software Codesign, October 1993.]]
[10]
P. Chou et al., "IPCHINOOK: An Integrated IP-based Design Framework for Distributed Embedded Systems," Design Automation Conference, June 1999.]]
[11]
Generic Modeling Environment, http://www.isis. vanderbilt.edu/projects/gme/default.html.]]
[12]
T. D. Givargis et al., "Fast Cache and Bus Estimation for Parameterized System-on-a-Chip Design," Design, Automation and Test in Europe, March 2000.]]
[13]
V. Mathur and V. K. Prasanna, "A Hierarchical Simulation Framework for Application Development on System-on-Chip Architectures," submitted to the 14th IEEE Intl. ASIC/SOC Conference, Washington DC, September 2001.]]
[14]
Models, Algorithms and Architectures for Reconfigurable Computing (MAARC), Univ. of Southern California, http://maarc.usc.edu.]]
[15]
T. Mudge, "Power: A First Class Design Constraint for Future Architectures," 7th Intl. Conference on High Performance Computing, Bangalore, India, December 2000.]]
[16]
The Ptolemy Project, http://ptolemy.eecs.berkeley.edu.]]
[17]
SimpleScalar Tool Set, http://www.simplescalar.org/.]]
[18]
Simulink 4, http://www.mathworks.com/.]]
[19]
J. Sztipanovits and G. Karsai, "Model-Integrated Computing," IEEE Computer, April 1997.]]
[20]
Triscend Configurable System-on-Chip Family, http://www.triscend.com]]
[21]
D. C. Wyland, "The Universal Micro System: Hardware Performance with Software Convenience," Cradle Technologies White Paper, http://www.cradle.com/literature/tech papers.html.]]

Cited By

View all
  • (2020)Engineering resilient systems cloud computing architecture (ECCA): a collaborative and secure analysis frameworkThe Journal of Defense Modeling and Simulation: Applications, Methodology, Technology10.1177/154851292096053919:3(299-311)Online publication date: 8-Oct-2020
  • (2019)Multifaceted automated analyses for variability-intensive embedded systemsProceedings of the 41st International Conference on Software Engineering10.1109/ICSE.2019.00092(854-865)Online publication date: 25-May-2019
  • (2017)Task Transition Scheduling for Data-Adaptable SystemsACM Transactions on Embedded Computing Systems10.1145/304749816:4(1-28)Online publication date: 11-May-2017
  • Show More Cited By

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM SIGPLAN Notices
ACM SIGPLAN Notices  Volume 36, Issue 8
Aug. 2001
245 pages
ISSN:0362-1340
EISSN:1558-1160
DOI:10.1145/384196
Issue’s Table of Contents
  • cover image ACM Conferences
    LCTES '01: Proceedings of the ACM SIGPLAN workshop on Languages, compilers and tools for embedded systems
    August 2001
    250 pages
    ISBN:1581134258
    DOI:10.1145/384197
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 August 2001
Published in SIGPLAN Volume 36, Issue 8

Check for updates

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 05 Mar 2025

Other Metrics

Citations

Cited By

View all
  • (2020)Engineering resilient systems cloud computing architecture (ECCA): a collaborative and secure analysis frameworkThe Journal of Defense Modeling and Simulation: Applications, Methodology, Technology10.1177/154851292096053919:3(299-311)Online publication date: 8-Oct-2020
  • (2019)Multifaceted automated analyses for variability-intensive embedded systemsProceedings of the 41st International Conference on Software Engineering10.1109/ICSE.2019.00092(854-865)Online publication date: 25-May-2019
  • (2017)Task Transition Scheduling for Data-Adaptable SystemsACM Transactions on Embedded Computing Systems10.1145/304749816:4(1-28)Online publication date: 11-May-2017
  • (2016)Development and application of a model‐based collaborative analysis and design framework for microgrid power systemsIET Generation, Transmission & Distribution10.1049/iet-gtd.2015.129510:13(3201-3210)Online publication date: Oct-2016
  • (2016)Building Faithful Embedded Systems Models: Challenges and OpportunitiesModel-Implementation Fidelity in Cyber Physical System Design10.1007/978-3-319-47307-9_1(1-24)Online publication date: 10-Dec-2016
  • (2015)Multiple Levels of Abstraction in the Simulation of Microthreaded Many-Core ArchitecturesOpen Journal of Modelling and Simulation10.4236/ojmsi.2015.3401703:04(159-190)Online publication date: 2015
  • (2014)Model-Based Integration Platform for FMI Co-Simulation and Heterogeneous Simulations of Cyber-Physical SystemsProceedings of the 10th International Modelica Conference, March 10-12, 2014, Lund, Sweden10.3384/ecp14096235(235-245)Online publication date: 10-Mar-2014
  • (2013)Generic modeling and analysis framework for shipboard system design2013 IEEE Electric Ship Technologies Symposium (ESTS)10.1109/ESTS.2013.6523770(420-428)Online publication date: Apr-2013
  • (2011)A Model-Driven Design Framework for Massively Parallel Embedded SystemsACM Transactions on Embedded Computing Systems10.1145/2043662.204366310:4(1-36)Online publication date: 1-Nov-2011
  • (2011)Formalizing Functional Flow Block Diagrams Using Process Algebra and MetamodelsIEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans10.1109/TSMCA.2010.204874941:1(34-49)Online publication date: 1-Jan-2011
  • Show More Cited By

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media