Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
10.1145/384198.384210acmconferencesArticle/Chapter ViewAbstractPublication PagespldiConference Proceedingsconference-collections
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
  • (2024)IDeSyDe: Systematic Design Space Exploration via Design Space IdentificationACM Transactions on Design Automation of Electronic Systems10.1145/364764029:5(1-45)Online publication date: 10-Feb-2024
  • (2024)Building Device Models Using LLMs for Requirements Simulation in Smart Homes2024 IEEE 32nd International Requirements Engineering Conference Workshops (REW)10.1109/REW61692.2024.00029(176-183)Online publication date: 24-Jun-2024
  • (2017)Modeling Hardware/Software Embedded Systems with UML/MARTE: A Single-Source Design ApproachHandbook of Hardware/Software Codesign10.1007/978-94-017-7358-4_6-1(1-45)Online publication date: 14-Apr-2017
  • Show More Cited By

Recommendations

Reviews

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

Information & Contributors

Information

Published In

cover image ACM Conferences
OM '01: Proceedings of the 2001 ACM SIGPLAN workshop on Optimization of middleware and distributed systems
August 2001
250 pages
ISBN:1581134266
DOI:10.1145/384198
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]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 August 2001

Permissions

Request permissions for this article.

Check for updates

Qualifiers

  • Article

Conference

OM01
Sponsor:

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)10
  • Downloads (Last 6 weeks)3
Reflects downloads up to 16 Oct 2024

Other Metrics

Citations

Cited By

View all
  • (2024)IDeSyDe: Systematic Design Space Exploration via Design Space IdentificationACM Transactions on Design Automation of Electronic Systems10.1145/364764029:5(1-45)Online publication date: 10-Feb-2024
  • (2024)Building Device Models Using LLMs for Requirements Simulation in Smart Homes2024 IEEE 32nd International Requirements Engineering Conference Workshops (REW)10.1109/REW61692.2024.00029(176-183)Online publication date: 24-Jun-2024
  • (2017)Modeling Hardware/Software Embedded Systems with UML/MARTE: A Single-Source Design ApproachHandbook of Hardware/Software Codesign10.1007/978-94-017-7358-4_6-1(1-45)Online publication date: 14-Apr-2017
  • (2017)Modeling Hardware/Software Embedded Systems with UML/MARTE: A Single-Source Design ApproachHandbook of Hardware/Software Codesign10.1007/978-94-017-7267-9_6(141-185)Online publication date: 27-Sep-2017
  • (2016)ASTROLABEACM Transactions on Embedded Computing Systems10.1145/288549815:2(1-26)Online publication date: 11-Mar-2016
  • (2016)Model-Driven Optimization of Data-Adaptable Embedded Systems2016 IEEE 40th Annual Computer Software and Applications Conference (COMPSAC)10.1109/COMPSAC.2016.156(293-302)Online publication date: Jun-2016
  • (2014)Building faithful high-level models and performance evaluation of manycore embedded systemsProceedings of the Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign10.1109/MEMCOD.2014.6961864(209-218)Online publication date: 1-Oct-2014
  • (2008)A methodology for architecture exploration and performance analysis using system level design languages and rapid architecture profiling2008 International Symposium on Industrial Embedded Systems10.1109/SIES.2008.4577686(95-102)Online publication date: Jun-2008
  • (2004)Performance and Area Modeling of Complete FPGA Designs in the Presence of Loop TransformationsIEEE Transactions on Computers10.1109/TC.2004.10153:11(1420-1435)Online publication date: 1-Nov-2004
  • (2004)Design Space Exploration for Configurable Architectures and the Role of Modeling, High-Level Program Analysis and Learning TechniquesComputer Systems: Architectures, Modeling, and Simulation10.1007/978-3-540-27776-7_23(213-223)Online publication date: 2004

View Options

Get Access

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media