Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
10.1145/2589650.2559632acmotherconferencesArticle/Chapter ViewAbstractPublication Pageses4cpsConference Proceedingsconference-collections
research-article

ArchOn: Architecture-open Resource-driven Cross-layer Modelling Framework

Published: 11 November 2013 Publication History

Abstract

This paper describes the first steps towards the development of a modelling method for large complex computing systems focusing on many-core types and concentrating on the cross-layer aspects. The models resulting from this method will help system designers reason about, analyse, and ultimately design such systems across all conventional computing and communication layers, from application, operating system, down to the finest hardware details. The main points of concern are energy and power and the physical parameters related to them, such as supply voltages and temperature, among other things, and how these impact on and relate to system"performance" metrics, including speed, throughput, and crucially, reliability.
In this paper, we will first establish our outlook for the general modelling method, and then develop an initial system simulator based on this methodological outlook. The simulator will then be demonstrated with an example case study.

References

[1]
The gem5 simulator system. http://www.m5sim.org.
[2]
The PRiME project. http://www.prime-project.org.
[3]
Workcraft tool. http://workcraft.org.
[4]
S. Borkar. Designing reliable systems from unreliable components: the challenges of transistor variability and degradation. Micro, IEEE, 25(6):10--16, 2005.
[5]
P. Bose et al. Power management of multi-core chips: Challenges and pitfalls. In Proc. to Design, Automation and Test in Europe (DATE), pages 977--982, 2012.
[6]
H. Corporaal. Design of transport triggered architectures. In Proc. to Design Automation of High Performance VLSI Systems, pages 130--135, 1994.
[7]
R. Diestel. Graph Theory (Graduate Texts in Mathematics). Springer, August 2005.
[8]
V. Khomenko. Model Checking Based on Prefixes of Petri Net Unfoldings. PhD thesis, University of Newcastle upon Tyne, School of Computing Science, 2003.
[9]
A. Mokhov and A. Yakovlev. Conditional partial order graphs: Model, synthesis, and application. IEEE Transactions on Computers, 59(11):1480--1493, 2010.
[10]
T. Murata. Petri nets: Properties, analysis and applications. Proc. of the IEEE, 77(4):541--580, 1989.
[11]
I. Poliakov. Interpreted Graph Models. PhD thesis, University of Newcastle upon Tyne, School of Electrical, Electronic and Computer Engineering, 2011.
[12]
M. Rykunov et al. Design-for-adaptivity of microarchitectures. In Proc. to Application-Specific Systems, Architectures and Processors (ASAP), pages 314--320, 2013.
[13]
F. Xia et al. Towards power-elastic systems through concurrency management. Computers & Digital Techniques, IET, 6(1):33--42, 2012.

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences
ES4CPS '14: Proceedings of International Workshop on Engineering Simulations for Cyber-Physical Systems
March 2014
44 pages
ISBN:9781450326148
DOI:10.1145/2589650
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]

In-Cooperation

  • Technische Universität Ilmenau: Technische Universität Ilmenau

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 11 November 2013

Permissions

Request permissions for this article.

Check for updates

Qualifiers

  • Research-article
  • Research
  • Refereed limited

Conference

ES4CPS '14

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • 0
    Total Citations
  • 45
    Total Downloads
  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 12 Jan 2025

Other Metrics

Citations

View Options

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