article

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

Authors:

A. Bakshi,

V. K. Prasanna,

A. LedecziAuthors Info & Claims

ACM SIGPLAN Notices, Volume 36, Issue 8

Pages 82 - 93

https://doi.org/10.1145/384196.384210

Published: 01 August 2001 Publication History

Get Access

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.]]

Google Scholar

[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.]]

Google Scholar

[3]

F. Balarin et al., "Hardware-Software Co-Design of Embedded Systems: The POLIS Approach," Kluwer Academic Publisher, Massachusetts, 1997.]]

Digital Library

Google Scholar

[4]

T. Bapty et al., "Model-Integrated Tools for the Design of Dynamically Reconfigurable Systems," ISIS Technical Report/Vanderbilt University, 2000.]]

Google Scholar

[5]

K. Bondalapati and V. K. Prasanna, "Mapping Loops onto Reconfigurable Architectures," International Workshop on Field Programmable Logic and Applications, Tallinn, Estonia, August 1998.]]

Digital Library

Google Scholar

[6]

G. Booch et al., "The Unified Modeling Language User Guide," Addison-Wesley Pub Co., 1999.]]

Digital Library

Google Scholar

[7]

Chameleon Systems Reconfigurable Communications Processor, http://www.chameleonsystems.com/.]]

Google Scholar

[8]

H. Chang et al., "Surviving the SOC revolution - A guide to Platform-Based Design," Kluwer Academic Publisher, Boston, November 1999.]]

Digital Library

Google Scholar

[9]

M. Chiodo et al., "A Formal Specification Model for Hardware/Software Codesign," Proc. of the International Workshop on Hardware-Software Codesign, October 1993.]]

Google Scholar

[10]

P. Chou et al., "IPCHINOOK: An Integrated IP-based Design Framework for Distributed Embedded Systems," Design Automation Conference, June 1999.]]

Digital Library

Google Scholar

[11]

Generic Modeling Environment, http://www.isis. vanderbilt.edu/projects/gme/default.html.]]

Google Scholar

[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.]]

Digital Library

Google Scholar

[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.]]

Google Scholar

[14]

Models, Algorithms and Architectures for Reconfigurable Computing (MAARC), Univ. of Southern California, http://maarc.usc.edu.]]

Google Scholar

[15]

T. Mudge, "Power: A First Class Design Constraint for Future Architectures," 7th Intl. Conference on High Performance Computing, Bangalore, India, December 2000.]]

Digital Library

Google Scholar

[16]

The Ptolemy Project, http://ptolemy.eecs.berkeley.edu.]]

Google Scholar

[17]

SimpleScalar Tool Set, http://www.simplescalar.org/.]]

Google Scholar

[18]

Simulink 4, http://www.mathworks.com/.]]

Google Scholar

[19]

J. Sztipanovits and G. Karsai, "Model-Integrated Computing," IEEE Computer, April 1997.]]

Digital Library

Google Scholar

[20]

Triscend Configurable System-on-Chip Family, http://www.triscend.com]]

Google Scholar

[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.]]

Google Scholar

Cited By

View all

Blakley CLi LEakman GBaker B(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
https://doi.org/10.1177/1548512920960539
Lazreg SCordy MCollet PHeymans PMosser SAtlee JBultan TWhittle J(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
https://dl.acm.org/doi/10.1109/ICSE.2019.00092
Sandoval NMackin CWhitsitt SGopinath VMahadevan SMilakovich AMerry KSprinkle JLysecky R(2017)Task Transition Scheduling for Data-Adaptable SystemsACM Transactions on Embedded Computing Systems10.1145/304749816:4(1-28)Online publication date: 11-May-2017
https://dl.acm.org/doi/10.1145/3047498
Show More Cited By

Index Terms

MILAN: A Model Based Integrated Simulation Framework for Design of Embedded Systems
1. Computer systems organization
  1. Embedded and cyber-physical systems
  2. Real-time systems
2. General and reference
  1. Cross-computing tools and techniques
    1. Performance

Recommendations

MILAN: A Model Based Integrated Simulation Framework for Design of Embedded Systems
OM '01: Proceedings of the 2001 ACM SIGPLAN workshop on Optimization of middleware and distributed systems

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 ...
MILAN: A Model Based Integrated Simulation Framework for Design of Embedded Systems
LCTES '01: Proceedings of the ACM SIGPLAN workshop on Languages, compilers and tools for embedded systems

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 ...
MiLAN: Middleware Linking Applications and Networks

Reviews

Reviewer: Michael Neubauer

Model-based integration simulation (MILAN), as this paper notes, is an ambitious undertaking, not yet realized for system-on-chip (SOC) architectures. The paper provides a good overview of the MILAN concept, indicating what types of models will be integrated into the larger whole. The focus of this paper, however, is on modeling concepts, with less emphasis on the problems associated with the overall implementation. For example, there is little discussion of the strategic tradeoffs in pruning the design space. Binary decision diagrams are chosen as the solution, and while, from this perspective, this is a most crucial decision, I would have liked to see more validation for this process and a description of the tactics one would employ to fill the decision tree. There is a good description of the problems associated with creating interfaces between the various commercial software tools during runtime. From my perspective, while the MILAN concept is noble (and this paper is very good at describing MILAN's reach), there does not seem to be a concrete goal for design-time efficiency. Heuristic factors and humans-in-the-loop could play havoc with nobility. Online Computing Reviews Service

Access critical reviews of Computing literature here

Become a reviewer for Computing Reviews.

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ACM SIGPLAN Notices Volume 36, Issue 8

Aug. 2001

245 pages

ISSN:0362-1340

EISSN:1558-1160

DOI:10.1145/384196

Chairman:
Ron K. Cytron
Washington Univ., St. Louis, MO
,
Editor:
Cindy Norris
Appalachian State Univ., Boone, NC

Issue’s Table of Contents

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
Chairmen:
Seongsoo Hong
Snow Bird, UT
,
Santosh Pande
Snow Bird, UT

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

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

58
Total Citations
View Citations
811
Total Downloads

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

Reflects downloads up to 14 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Blakley CLi LEakman GBaker B(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
https://doi.org/10.1177/1548512920960539
Lazreg SCordy MCollet PHeymans PMosser SAtlee JBultan TWhittle J(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
https://dl.acm.org/doi/10.1109/ICSE.2019.00092
Sandoval NMackin CWhitsitt SGopinath VMahadevan SMilakovich AMerry KSprinkle JLysecky R(2017)Task Transition Scheduling for Data-Adaptable SystemsACM Transactions on Embedded Computing Systems10.1145/304749816:4(1-28)Online publication date: 11-May-2017
https://dl.acm.org/doi/10.1145/3047498
Zhu WShi JLiu SAbdelwahed S(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: 6-Oct-2016
https://doi.org/10.1049/iet-gtd.2015.1295
Nouri ABozga MBensalem S(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
https://doi.org/10.1007/978-3-319-47307-9_1
Uddin I(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
https://doi.org/10.4236/ojmsi.2015.34017
Neema HGohl JLattmann ZSztipanovits JKarsai GNeema SBapty TBatteh JTummescheit HSureshkumar C(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
https://doi.org/10.3384/ecp14096235
Jian Shi Amgai RAbdelwahed SDubey AHumphreys JAlattar MJia R(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
https://doi.org/10.1109/ESTS.2013.6523770
Gamatié ALe Beux SPiel ÉBen Atitallah REtien AMarquet PDekeyser J(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
https://dl.acm.org/doi/10.1145/2043662.2043663
McInnes AEames BGrover R(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
https://dl.acm.org/doi/10.1109/TSMCA.2010.2048749
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations