research-article

MAESTRO— Holistic Actor-Oriented Modeling of Nonfunctional Properties and Firmware Behavior for MPSoCs

Authors:

Rafael Rosales,

Ralph HasholznerAuthors Info & Claims

ACM Transactions on Design Automation of Electronic Systems (TODAES), Volume 19, Issue 3

Article No.: 23, Pages 1 - 26

https://doi.org/10.1145/2594481

Published: 23 June 2014 Publication History

Abstract

Modeling and evaluating nonfunctional properties such as performance, power, and reliability of embedded systems are tasks of utmost importance. In this article, we introduce MAESTRO, a methodology for the modeling and evaluation of nonfunctional properties and embedded firmware of MPSoC architecture components at the Electronic System Level (ESL). In contrast to existing design flows that provide predefined performance models, MAESTRO defines a flexible approach that allows to define virtual prototypes that can be easily customized and extended to evaluate multiple nonfunctional properties of interest at different levels of abstraction. In MAESTRO, a design is composed purely from actor-oriented models. This enables typical ESL features such as automatic design space exploration and synthesizability of HW and SW components, typically missing in very general design flows. Unique to MAESTRO is the separation and coordination of the interaction between application functionality, firmware, and performance models for the evaluation of nonfunctional properties, and their complex interactions within a single Model-of-Computation (MoC). The main advantages of MAESTRO are: (I) Extensible modeling of interdependent nonfunctional properties of heterogeneous MPSoC components; (II) high flexibility to investigate the appropriate trade-off between modeling effort and accuracy of nonfunctional property evaluators; (III) a holistic approach for modeling application functionality as well as firmware affecting the evaluation of nonfunctional properties. Regarding (II), we present a mobile baseband processor platform use-case, executing a GSM paging application. To demonstrate (I) and (III), we present the modeling of a complex ESL processor virtual prototype, running a soft real-time application and equipped with both a power and reliability manager.

References

[1]

3GPP. 2012. LTE-advanced. http://www.3gpp.org/lte-advanced.

[2]

A. Bakshi, V. K. Prasanna, and A. Ledeczi. 2001. MILAN: A model based integrated simulation framework for design of embedded systems. In Proceedings of the ACM SIGPLAN Workshop on Optimization of Middleware and Distributed Systems (OM'01). ACM Press, New York, 82--93.

Digital Library

[3]

F. Balarin. 1997. Hardware-Software Co-Design of Embedded Systems: The POLIS Approach. Springer.

Digital Library

[4]

F. Balarin, Y. Watanabe, H. Hsieh, L. Lavagno, C. Passerone, and A. Sangiovanni-Vincentelli. 2003. Metropolis: An integrated electronic system design environment. Comput. 36, 4, 45--52.

Digital Library

[5]

Cofluent Design. 2011. CoFluent studio. http://www.cofluentdesign.com/index.php/cofluent-studio.

[6]

A. Davare, D. Densmore, T. Meyerowitz, A. Pinto, A. Sangiovanni-Vincentelli, G. Yang, H. Zeng, and Q. Zhu. 2007. A next-generation design framework for platform-based design. In Proceedings of A Next-Generation Design Framework for Platform-based Design Conference (DVCon'07).

[7]

J. Davis. 2003. GME: The generic modeling environment. In Proceedings of the 18^th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'03) Companion. ACM Press, New York, 82--83.

Digital Library

[8]

P. Derler, E. Lee, and A. Vincentelli. 2012. Modeling cyber-physical systems. Proc. IEEE 100, 1, 13--28.

[9]

J. Dugan, S. Bavuso, and M. Boyd. 1992. Dynamic fault-tree models for fault-tolerant computer systems. IEEE Trans. Reliab. 41, 3, 363--377.

[10]

C. Erbas, A. D. Pimentel, M. Thompson, and S. Polstra. 2007. A framework for system-level modeling and simulation of embedded systems architectures. EURASIP J. Embedd. Syst. 2007, 1, 2--2.

Digital Library

[11]

J. Falk, C. Haubelt, and J. Teich. 2006. Efficient representation and simulation of model-based designs in systemC. In Proceedings of the Forum on Design Languages (FDL'06). 129--134.

[12]

D. Gelernter and N. Carriero. 1992. Coordination languages and their significance. Comm. ACM 35, 2, 96.

Digital Library

[13]

S. Graf, M. Streubuhr, M. Glass, and J. Teich. 2011. Analyzing automotive networks using virtual prototypes. In GMM-Fachbericht 69: Automotive meets Electronics. 10--15. https://www12.informatik.uni-erlangen.de/publications/pub2011/GSGT11.pdf.

[14]

S. Ha, S. Kim, C. Lee, Y. Yi, S. Kwon, and Y.-P. Joo. 2008. PeaCE: A hardware-software codesign environment for multimedia embedded systems. ACM Trans. Des. Autom. Electron. Syst. 12, 3, 24:1--24:25.

Digital Library

[15]

M. T. Heath. 2002. Scientific Computing: An Introductory Survey. McGraw-Hill.

Digital Library

[16]

IEC 62380. 2004. Reliability data handbook: Universal model for reliability prediction of electronics components, pcbs and equipment. Tech rep. http://ab-div-bdi-bl-blm.web.cern.ch/ab-div-bdi-bl-blm/RAMS/iec-tr-62380.e.pdf.

[17]

J. Keinert, M. Streubuhr, T. Schlichter, J. Falk, J. Gladigau, C. Haubelt, J. Teich, and M. Meredith. 2009. SystemCoDesigner-An automatic esl synthesis approach by design space exploration and behavioral synthesis for streaming applications. ACM Trans. Des. Autom. Electron. Syst. 14, 1, 1:1--1:23.

Digital Library

[18]

K. Keutzer, A. Newton, J. Rabaey, and A. Sangiovanni-Vincentelli. 2000. System-level design: Orthogonalization of concerns and platform-based design. IEEE Trans. Comput.-Aid. Des. Integr. Circ. Syst. 19, 12, 1523--1543.

Digital Library

[19]

B. Kienhuis, K. Deprettere, and P. Van Der Wolf. 1997. A method to construct reconfigurable simulators from architecture templates. http://citeseerx.ist.psu.edu/viewdoc/download&quest;doi=10.1.1.47.8494&rep= rep1&type=pdf.

[20]

S. Kiinzli, F. Poletti, L. Benini, and L. Thiele. 2006. Combining simulation and formal methods for system-level performance analysis. In Proceedings of the Design, Automation and Test in Europe Conference (DATE'06), vol. 1. 1--6.

Digital Library

[21]

A. Ledeczi, J. Davis, S. Neema, and A. Agrawal. 2003. Modeling methodology for integrated simulation of embedded systems. ACM Trans. Model. Comput. Simul. 13, 1, 82--103.

Digital Library

[22]

E. A. Lee and A. Sangiovanni-Vincentelli. 1998. A framework for comparing models of computation. IEEE Trans. Comput.-Aid. Des. Integr. Circ. Syst. 17, 12, 1217--1229.

Digital Library

[23]

E. A. Lee and Y. Xiong. 2004. A behavioral type system and its application in Ptolemy ii. Formal Aspects Comput. 16, 210--237.

[24]

S. Li, J. H. Ahn, R. D. Strong, J. B. Brockman, D. M. Tullsen, and N. P. Jouppi. 2009. McPAT: An integrated power, area, and timing modeling framework for multicore and manycore architectures. In Proceedings of the 42^nd Annual IEEE/ACM International Symposium on Microarchitecture (MICRO'09). ACM Press, New York, 469--480.

Digital Library

[25]

M. Lukasiewycz, M. Streubuhr, M. Glass, C. Haubelt, and J. Teich. 2009. Combined system synthesis and communication architecture exploration for MPSoCs. In Proceedings of the Design, Automation, and Test in Europe Conference and Exhibition (DATE'09). 472--477.

Digital Library

[26]

R. Lyons and W. Vanderkulk. 1962. The use of triple-modular redundancy to improve computer reliability. IBM J. Res. Devel. 6, 2, 200--209.

Digital Library

[27]

Z. Manna and A. Pnueli. 1993. Verifying hybrid systems. In Hybrid Systems, R. Grossman, A. Nerode, A. Ravn, and H. Rischel, Eds., Lecture Notes in Computer Science, vol. 736, Springer, 4--35.

Digital Library

[28]

D. Mathaikutty, H. Patel, S. Shukla, and A. Jantsch. 2008. EWD: A metamodeling driven customizable multi-MOC system modeling framework. ACM Trans. Des. Autom. Electron. Syst. 12, 3, 33:1--33:43.

Digital Library

[29]

Mirabilis Design Inc. 2008. Visual sim. http://www.mirabilisdesign.com/new/visualsim/.

[30]

H. Nikolov, M. Thompson, T. Stefanov, A. Pimentel, S. Polstra, R. Bose, C. Zissulescu, and E. Deprettere. 2008. Daedalus: Toward composable multimedia mp-soc design. In Proceedings of the 45^th Annual Design Automation Conference (DAC'08). ACM Press, New York, 574--579.

Digital Library

[31]

G. A. Papadopoulos and F. Arbab. 1998. Coordination models and languages. Adv. Comput. 46, 329--400.

[32]

M. Salehi, M. Samadi, M. Najibi, A. Afzali-Kusha, M. Pedram, and S. Fakhraie. 2011. Dynamic voltage and frequency scheduling for embedded processors considering power/performance tradeoffs. IEEE Trans. VLSI Syst. 19, 10, 1931--1935.

Digital Library

[33]

M. Streubuhr, J. Gladigau, C. Haubelt, and J. Teich. 2009. Efficient approximately-timed performance modeling for architectural exploration of MPSoCs. In Proceedings of the Forum on Specification Design Languages (FDL'09). 1--6.

[34]

M. Streubuhr, R. Rosales, R. Hasholzner, C. Haubelt, and J. Teich. 2011. ESL power and performance estimation for heterogeneous MPSoCs using systemc. In Proceedings of the Forum on Specification and Design Languages (FDL'11). 1--8.

[35]

J. Teich. 2012. Hardware/software codesign: The past, the present, and predicting the future. Proc. IEEE 100, 1411--1430.

[36]

Webyog. 2011. Visifire. http://code.google.com/p/visifire/.

[37]

Y. Xu, R. Rosales, B. Wang, M. Streubuhr, R. Hasholzner, C. Haubelt, and J. Teich. 2012. A very fast and quasi-accurate power-state-based system-level power modeling methodology. In Proceedings of the 25^th International Conference on Architecture of Computing Systems (ARCS'12). A. Herkersdorf, K. Rmer, and U. Brinkschulte, Eds., Lecture Notes in Computer Science, vol. 7179, Springer, 37--49.

Digital Library

[38]

D. Zhu. 2006. Reliability-aware dynamic energy management in dependable embedded real-time systems. In Proceedings of the 12^th IEEE Real-Time and Embedded Technology and Applications Symposium. 397--407.

Digital Library

Cited By

Rosales RPaulitsch M(2021)Composable Finite State Machine-based Modeling for Quality-of-Information-aware Cyber-physical SystemsACM Transactions on Cyber-Physical Systems10.1145/33862445:2(1-27)Online publication date: 20-Jan-2021
https://dl.acm.org/doi/10.1145/3386244
Brand PFalk JSue JBrendel JHasholzner RTeich J(2021)Adaptive Predictive Power Management for Mobile LTE DevicesIEEE Transactions on Mobile Computing10.1109/TMC.2020.298865120:8(2518-2535)Online publication date: 1-Aug-2021
https://doi.org/10.1109/TMC.2020.2988651
Brand PFalk JPotwigin ETeich J(2021)Multi-Step Ahead Grant Prediction for Dynamic Power Management in Cellular Modems2021 International Symposium on Networks, Computers and Communications (ISNCC)10.1109/ISNCC52172.2021.9615819(1-6)Online publication date: 31-Oct-2021
https://doi.org/10.1109/ISNCC52172.2021.9615819
Show More Cited By

Index Terms

MAESTRO— Holistic Actor-Oriented Modeling of Nonfunctional Properties and Firmware Behavior for MPSoCs
1. Computer systems organization
  1. Embedded and cyber-physical systems
  2. Real-time systems
2. Computing methodologies
  1. Modeling and simulation
    1. Model development and analysis
      1. Modeling methodologies

Recommendations

Formal Analysis of Trusted FPGA Firmware
ICINIS '13: Proceedings of the 2013 6th International Conference on Intelligent Networks and Intelligent Systems

In the complicated application environment, for example, the distributed system, attackers using various illegal ways to attack the Field Program Gate Array (FPGA) devices to destroy or forge the hardware logic and the firmware. This paper proposes a ...
Design & verification of automotive SoC firmware
DAC '15: Proceedings of the 52nd Annual Design Automation Conference

Increasing complexity and functionality of automotive SoCs (Systems-on-Chip) leads to a growing part of functionality implemented in firmware. Requirements for short-time-to-market and extensive verification due to safety-critical environments requires ...
Service dependency graph: an efficient model for hardware/software interfaces modeling and generation for SoC design
CODES+ISSS '05: Proceedings of the 3rd IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis

Complex systems-on-chip are designed by interconnecting pre-designed hardware (HW) and software (SW) components. During the design cycle, a global model of the SoC may be composed of HW and SW models at different abstraction levels. Designing HW/SW ...

Comments

Information & Contributors

Information

Published In

cover image ACM Transactions on Design Automation of Electronic Systems

ACM Transactions on Design Automation of Electronic Systems Volume 19, Issue 3

June 2014

257 pages

ISSN:1084-4309

EISSN:1557-7309

DOI:10.1145/2634048

Issue’s Table of Contents

Copyright © 2014 ACM.

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

Journal Family

ACM Journals for the Design of Smart and Connected Systems

Publication History

Published: 23 June 2014

Accepted: 01 February 2014

Revised: 01 December 2013

Received: 01 February 2013

Published in TODAES Volume 19, Issue 3

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article
Research
Refereed

Funding Sources

Project PowerEval (funded by Bayerisches Wirtashaftsministerium, support code IUK31/001)

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

24
Total Citations
View Citations
405
Total Downloads

Downloads (Last 12 months)5
Downloads (Last 6 weeks)3

Reflects downloads up to 28 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Rosales RPaulitsch M(2021)Composable Finite State Machine-based Modeling for Quality-of-Information-aware Cyber-physical SystemsACM Transactions on Cyber-Physical Systems10.1145/33862445:2(1-27)Online publication date: 20-Jan-2021
https://dl.acm.org/doi/10.1145/3386244
Brand PFalk JSue JBrendel JHasholzner RTeich J(2021)Adaptive Predictive Power Management for Mobile LTE DevicesIEEE Transactions on Mobile Computing10.1109/TMC.2020.298865120:8(2518-2535)Online publication date: 1-Aug-2021
https://doi.org/10.1109/TMC.2020.2988651
Brand PFalk JPotwigin ETeich J(2021)Multi-Step Ahead Grant Prediction for Dynamic Power Management in Cellular Modems2021 International Symposium on Networks, Computers and Communications (ISNCC)10.1109/ISNCC52172.2021.9615819(1-6)Online publication date: 31-Oct-2021
https://doi.org/10.1109/ISNCC52172.2021.9615819
Apvrille LLi L(2019)Harmonizing Safety, Security and Performance Requirements in Embedded Systems2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)10.23919/DATE.2019.8715124(1631-1636)Online publication date: Mar-2019
https://doi.org/10.23919/DATE.2019.8715124
Letras MFalk JSchwarzer TTeich J(2019)On the Analytic Evaluation of Schedules via Max-Plus Algebra for DSE of Multi-Core ArchitecturesProceedings of the 22nd International Workshop on Software and Compilers for Embedded Systems10.1145/3323439.3323979(63-71)Online publication date: 27-May-2019
https://dl.acm.org/doi/10.1145/3323439.3323979
Brand PFalk JSue JBrendel JHasholzner RTeich J(2018)Reinforcement Learning for Power-Efficient Grant Prediction in LTEProceedings of the 21st International Workshop on Software and Compilers for Embedded Systems10.1145/3207719.3207722(18-26)Online publication date: 28-May-2018
https://dl.acm.org/doi/10.1145/3207719.3207722
Brand PSue JBrendel JFalk JHasholzner RTeich JWildermann S(2017)Exploiting Predictability in Dynamic Network Communication for Power-Efficient Data Transmission in LTE Radio SystemsProceedings of the 20th International Workshop on Software and Compilers for Embedded Systems10.1145/3078659.3078670(64-67)Online publication date: 12-Jun-2017
https://dl.acm.org/doi/10.1145/3078659.3078670
Vogel-Heuser BWildermann STeich J(2017)Towards the co-evolution of industrial products and its production systems by combining models from development and hardware/software deployment in cyber-physical systemsProduction Engineering10.1007/s11740-017-0765-011:6(687-694)Online publication date: 24-Oct-2017
https://doi.org/10.1007/s11740-017-0765-0
Falk JHaubelt CTeich JZebelein C(2017)SysteMoC: A Data-Flow Programming Language for CodesignHandbook of Hardware/Software Codesign10.1007/978-94-017-7358-4_4-2(1-39)Online publication date: 14-Sep-2017
https://doi.org/10.1007/978-94-017-7358-4_4-2
Falk JHaubelt CTeich JZebelein C(2017)SysteMoC: A Data-Flow Programming Language for CodesignHandbook of Hardware/Software Codesign10.1007/978-94-017-7358-4_4-1(1-39)Online publication date: 10-Apr-2017
https://doi.org/10.1007/978-94-017-7358-4_4-1
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.

Full Access

Get this Article

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Issue’s Table of Contents