research-article

An Efficient Performance-Driven Approach for HW/SW Co-Design

Authors:

Daniele Di Pompeo,

Emilio Incerto,

Vittoriano Muttillo,

Luigi Pomante, and

Giacomo ValeneteAuthors Info & Claims

ICPE '17: Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering

April 2017

Pages 323 - 326

https://doi.org/10.1145/3030207.3030239

Published: 17 April 2017 Publication History

Abstract

Nowadays embedded systems are powerful and everywhere. They implement complex functionality relying on a huge set of different hardware and software (HW/SW) architectures. In order to reduce their development effort, HW/SW Co-Design techniques are used during the entire development cycle. These techniques aim at helping designers to define a feasible hardware and software partitioning for the system in such a way that functional and non-functional requirements are fulfilled. In this context Design Space Exploration is a challenging activity since a huge number of different implementation alternatives need to be evaluated.

By exploiting some intrinsic properties of the embedded system domain, in this paper we propose our vision for a novel Performance-Driven HW/SW Co-Design methodology. It combines: (i) the "design for verifiability" concept, suitable to model the system behavior avoiding the state space explosion problem, and (ii) model-driven techniques to address performance issues. For this goal, we introduce the concepts underlying: (i) a novel formal modeling language and, (ii) a performance-driven verification/transformation chain.

References

[1]

Intel co-fluent. http://www.intel.com/content/www/us/en/cofluent/overview.html. Accessed: 2016--25--11.

[2]

Systemc. http://www.accellera.org. Accessed: 2016--25--11.

[3]

L. H. Crockett, R. A. Elliot, M. A. Enderwitz, and R. W. Stewart. The Zynq Book: Embedded Processing with the Arm Cortex-A9 on the Xilinx Zynq-7000 All Programmable Soc. Strathclyde Academic Media, 2014.

Digital Library

[4]

P. Cumming. The ti omapTMplatform approach to soc. In Winning the SOC Revolution, pages 97--118. Springer, 2003.

[5]

E. Ebeid, F. Fummi, and D. Quaglia. Model-driven design of network aspects of distributed embedded systems. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 34(4):603--614, 2015.

[6]

J. F. Groote, T. W. D. M. Kouters, and A. Osaiweran. Specification guidelines to avoid the state space explosion problem. Softw. Test., Verif. Reliab., 25(1):4--33, 2015.

Digital Library

[7]

A. Hinton, M. Kwiatkowska, G. Norman, and D. Parker. Prism: A tool for automatic verification of probabilistic systems. In International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pages 441--444. Springer, 2006.

Digital Library

[8]

C. A. R. Hoare et al. Communicating sequential processes, volume 178. Prentice-hall Englewood Cliffs, 1985.

Digital Library

[9]

G. J. Holzmann. The SPIN model checker: Primer and reference manual, volume 1003. Addison-Wesley Reading, 2004.

Digital Library

[10]

E. Incerto, M. Tribastone, and C. Trubiani. Symbolic performance adaptation. In Proceedings of the 11th International Workshop on Software Engineering for Adaptive and Self-Managing Systems, pages 140--150. ACM, 2016.

Digital Library

[11]

K. Keutzer, S. Malik, A. Newton, J. Rabaey, and A. S. Vincentelli. System level design: Orthogonalization of concerns and platform-based design. IEEE Trans. Comput.-Aided Des. Integ. Circ. Syst., 19(12):1523--1543, 2000.

Digital Library

[12]

M. Kowal, M. Tschaikowski, M. Tribastone, and I. Schaefer. Scaling size and parameter spaces in variability-aware software performance models (t). In Automated Software Engineering (ASE), 2015 30th IEEE/ACM International Conference on, pages 407--417. IEEE, 2015.

Digital Library

[13]

K. G. Larsen, P. Pettersson, and W. Yi. Uppaal in a nutshell. International Journal on Software Tools for Technology Transfer (STTT), 1(1):134--152, 1997.

Digital Library

[14]

L. Pomante. Hw/sw co-design of dedicated heterogeneous parallel systems: an extended design space exploration approach. IET Computers Digital Techniques, 7(6):246--254, November 2013.

[15]

H. Posadas, P. Penil, A. Nicolas, and E. Villar. Automatic synthesis of communication and concurrency for exploring component-based system implementations considering uml channel semantics. Journal of Systems Architecture, 61(8):341--360, 2015.

Digital Library

[16]

W. Weber, A. Hoess, J. van Deventer, F. Oppenheimer, R. Ernst, A. Kostrzewa, P. DorAl, T. Goubier, H. Isakovic, N. Druml, et al. The emc2 project on embedded microcontrollers technical progress after two years. In Eur. Conf. on Digit. Syst. Des. (DSD), pages 524--531, 2016.

[17]

W. Wolf. A decade of hardware/software codesign. Computer, 36(4):38--43, 2003.

Digital Library

Cited By

Valente GDi Mascio TPomante LStoico V(2020)An ESL Methodology for HW/SW Co-Design of Monitorable Embedded Systems: the “Design for Monitorability” Project - Work-in-Progress2020 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)10.1109/CODESISSS51650.2020.9244025(40-42)Online publication date: 20-Sep-2020
https://doi.org/10.1109/CODESISSS51650.2020.9244025
Muttillo VFiorilli GDi Mascio T(2019)Tuning DSE for Heterogeneous Multi-Processor Embedded Systems by means of a Self-Equalized Weighted Sum MethodProceedings of the 10th and 8th Workshop on Parallel Programming and Run-Time Management Techniques for Many-core Architectures and Design Tools and Architectures for Multicore Embedded Computing Platforms10.1145/3310411.3310412(1-4)Online publication date: 21-Jan-2019
https://dl.acm.org/doi/10.1145/3310411.3310412
Muttillo VValente GPomante LStoico VD'Antonio FSalice FWolter KKnottenbelt Wvan Hoorn ANambiar MKoziolek H(2018)CC4CSCompanion of the 2018 ACM/SPEC International Conference on Performance Engineering10.1145/3185768.3186291(119-122)Online publication date: 2-Apr-2018
https://dl.acm.org/doi/10.1145/3185768.3186291
Show More Cited By

Index Terms

An Efficient Performance-Driven Approach for HW/SW Co-Design
1. Hardware
  1. Emerging technologies
2. Software and its engineering
  1. Software organization and properties
    1. Extra-functional properties
      1. Software performance
    2. Software functional properties
      1. Correctness
      2. Formal methods

Recommendations

HW/SW co-design for public-key cryptosystems on the 8051 micro-controller

It is a challenge to implement large word length public-key algorithms on embedded systems. Examples are smartcards, RF-ID tags and mobile terminals. This paper presents a HW/SW co-design solution for RSA and Elliptic Curve Cryptography (ECC) over GF(p) ...
Read More
Hw/Sw Co-Design technique for 2D fast fourier transform algorithm on Zynq SoC
Abstract
The Two-Dimensional Fast Fourier Transform (2D-FFT) algorithm is used for the study of many modern systems applied for security and biometrics. The adoption of this algorithm, which is a compute intensive task, is limited due to its ...
Highlights
- Underline the effect of the Hw/Sw co-design of the 2D-FFT algorithm for the reduction of the processing time and power consumption.
Read More
HW/SW partitioning and code generation of embedded control applications on a reconfigurable architecture platform
CODES '02: Proceedings of the tenth international symposium on Hardware/software codesign

This paper studies the use of a reconfigurable architecture platform for embedded control applications aimed at improving real time performance. The hw/sw codesign methodology from POLIS is used. It starts from high-level specifications, optimizes an ...
Read More

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

ICPE '17: Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering

April 2017

450 pages

ISBN:9781450344043

DOI:10.1145/3030207

General Chairs:
Walter Binder
Università della Svizzera Italiana, Switzerland
,
Vittorio Cortellessa
Università dell'Aquila, Italy
,
Program Chairs:
Anne Koziolek
Karlsruhe Institute of Technology, Germany
,
Evgenia Smirni
College of William & Mary, USA
,
Meikel Poess
Oracle Corporation, USA

Copyright © 2017 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]

Sponsors

SIGMETRICS: ACM Special Interest Group on Measurement and Evaluation
SIGSOFT: ACM Special Interest Group on Software Engineering
SPEC: SPEC Research Group

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 17 April 2017

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

ICPE '17

Sponsor:

ICPE '17: ACM/SPEC International Conference on Performance Engineering

April 22 - 26, 2017

L'Aquila, Italy

Acceptance Rates

ICPE '17 Paper Acceptance Rate 27 of 83 submissions, 33%;

Overall Acceptance Rate 252 of 851 submissions, 30%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

9
Total Citations
View Citations
177
Total Downloads

Downloads (Last 12 months)11
Downloads (Last 6 weeks)2

Other Metrics

View Author Metrics

Citations

Cited By

Valente GDi Mascio TPomante LStoico V(2020)An ESL Methodology for HW/SW Co-Design of Monitorable Embedded Systems: the “Design for Monitorability” Project - Work-in-Progress2020 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)10.1109/CODESISSS51650.2020.9244025(40-42)Online publication date: 20-Sep-2020
https://doi.org/10.1109/CODESISSS51650.2020.9244025
Muttillo VFiorilli GDi Mascio T(2019)Tuning DSE for Heterogeneous Multi-Processor Embedded Systems by means of a Self-Equalized Weighted Sum MethodProceedings of the 10th and 8th Workshop on Parallel Programming and Run-Time Management Techniques for Many-core Architectures and Design Tools and Architectures for Multicore Embedded Computing Platforms10.1145/3310411.3310412(1-4)Online publication date: 21-Jan-2019
https://dl.acm.org/doi/10.1145/3310411.3310412
Muttillo VValente GPomante LStoico VD'Antonio FSalice FWolter KKnottenbelt Wvan Hoorn ANambiar MKoziolek H(2018)CC4CSCompanion of the 2018 ACM/SPEC International Conference on Performance Engineering10.1145/3185768.3186291(119-122)Online publication date: 2-Apr-2018
https://dl.acm.org/doi/10.1145/3185768.3186291
Muttillo VValente GPomante LWolter KKnottenbelt Wvan Hoorn ANambiar MKoziolek H(2018)Criticality-aware Design Space Exploration for Mixed-Criticality Embedded SystemsCompanion of the 2018 ACM/SPEC International Conference on Performance Engineering10.1145/3185768.3185769(45-46)Online publication date: 2-Apr-2018
https://dl.acm.org/doi/10.1145/3185768.3185769
Muttillo VValente GPomante L(2018)Criticality-driven Design Space Exploration for Mixed-Criticality Heterogeneous Parallel Embedded SystemsProceedings of the 9th Workshop and 7th Workshop on Parallel Programming and RunTime Management Techniques for Manycore Architectures and Design Tools and Architectures for Multicore Embedded Computing Platforms10.1145/3183767.3183782(63-68)Online publication date: 23-Jan-2018
https://dl.acm.org/doi/10.1145/3183767.3183782
Muttillo VValente GCiambrone DStoico VPomante LChillet D(2018)HEPSYCODE-RTProceedings of the Rapido'18 Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools10.1145/3180665.3180670(1-6)Online publication date: 22-Jan-2018
https://dl.acm.org/doi/10.1145/3180665.3180670
Ciambrone DMuttillo VPomante LValente G(2018)HEPSIM: An ESL HW/SW co-simulator/analysis tool for heterogeneous parallel embedded systems2018 7th Mediterranean Conference on Embedded Computing (MECO)10.1109/MECO.2018.8406078(1-6)Online publication date: Jun-2018
https://doi.org/10.1109/MECO.2018.8406078
Muttillo VValente G(2018)Injecting hypervisor-based software partitions into Design Space Exploration activities considering mixed-criticality requirements2018 7th Mediterranean Conference on Embedded Computing (MECO)10.1109/MECO.2018.8406056(1-5)Online publication date: Jun-2018
https://doi.org/10.1109/MECO.2018.8406056
Muttillo VValente GPomante L(2018)Design Space Exploration for Mixed-Criticality Embedded Systems Considering Hypervisor-Based SW Partitions2018 21st Euromicro Conference on Digital System Design (DSD)10.1109/DSD.2018.00115(740-744)Online publication date: Aug-2018
https://doi.org/10.1109/DSD.2018.00115

View Options

Get Access

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 Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents