Composability and Predictability for Independent Application Development, Verification, and Execution

Benny Akesson, Anca Molnos, A. Hansson, Jude Ambrose Angelo, Kees Goossens

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

23 Citations (Scopus)

Abstract

System-on-chip (soc) design gets increasingly complex, as a growing number of applications are integrated in modern systems. Some of these applications have real-time requirements, such as a minimum throughput or a maximum latency. To reduce cost, system resources are shared between applications, making their timing behavior inter-dependent. Real-time requirements must hence e verified for all possible combinations of concurrently executing applications, which is not feasible with commonly used simulation-based techniques. This chapter addresses this problem using two complexity-reducing concepts: composability and predictability. Applications in a composable system are completely isolated and cannot affect each other's behaviors, enabling them to be independently verified. Predictable systems, on the other hand, provide lower bounds on performance, allowing applications to be verified using formal performance analysis. Five techniques to achieve composability and/or predictability in soc resources are presented and we explain their implementation for processors, interconnect, and memories in our platform.
Original languageUndefined
Title of host publicationMultiprocessor System-on-Chip
EditorsMichael Hübner, Jürgen Becker
Place of PublicationLondon
PublisherSpringer
Pages25-56
Number of pages32
ISBN (Print)978-1-4419-6459-5
DOIs
Publication statusPublished - Nov 2010

Publication series

NameCircuits & Systems
PublisherSpringer Verlag

Keywords

  • METIS-276188
  • Multi-Processor System
  • Composability
  • Arbitration
  • EWI-18983
  • Predictability
  • Resource Management
  • Real Time
  • IR-76026

Cite this

Akesson, B., Molnos, A., Hansson, A., Ambrose Angelo, J., & Goossens, K. (2010). Composability and Predictability for Independent Application Development, Verification, and Execution. In M. Hübner, & J. Becker (Eds.), Multiprocessor System-on-Chip (pp. 25-56). (Circuits & Systems). London: Springer. https://doi.org/10.1007/978-1-4419-6460-1_2
Akesson, Benny ; Molnos, Anca ; Hansson, A. ; Ambrose Angelo, Jude ; Goossens, Kees. / Composability and Predictability for Independent Application Development, Verification, and Execution. Multiprocessor System-on-Chip. editor / Michael Hübner ; Jürgen Becker. London : Springer, 2010. pp. 25-56 (Circuits & Systems).
@inbook{7666880352bf4f90a480c684ce49b931,
title = "Composability and Predictability for Independent Application Development, Verification, and Execution",
abstract = "System-on-chip (soc) design gets increasingly complex, as a growing number of applications are integrated in modern systems. Some of these applications have real-time requirements, such as a minimum throughput or a maximum latency. To reduce cost, system resources are shared between applications, making their timing behavior inter-dependent. Real-time requirements must hence e verified for all possible combinations of concurrently executing applications, which is not feasible with commonly used simulation-based techniques. This chapter addresses this problem using two complexity-reducing concepts: composability and predictability. Applications in a composable system are completely isolated and cannot affect each other's behaviors, enabling them to be independently verified. Predictable systems, on the other hand, provide lower bounds on performance, allowing applications to be verified using formal performance analysis. Five techniques to achieve composability and/or predictability in soc resources are presented and we explain their implementation for processors, interconnect, and memories in our platform.",
keywords = "METIS-276188, Multi-Processor System, Composability, Arbitration, EWI-18983, Predictability, Resource Management, Real Time, IR-76026",
author = "Benny Akesson and Anca Molnos and A. Hansson and {Ambrose Angelo}, Jude and Kees Goossens",
note = "10.1007/978-1-4419-6460-1_2",
year = "2010",
month = "11",
doi = "10.1007/978-1-4419-6460-1_2",
language = "Undefined",
isbn = "978-1-4419-6459-5",
series = "Circuits & Systems",
publisher = "Springer",
pages = "25--56",
editor = "Michael H{\"u}bner and J{\"u}rgen Becker",
booktitle = "Multiprocessor System-on-Chip",

}

Akesson, B, Molnos, A, Hansson, A, Ambrose Angelo, J & Goossens, K 2010, Composability and Predictability for Independent Application Development, Verification, and Execution. in M Hübner & J Becker (eds), Multiprocessor System-on-Chip. Circuits & Systems, Springer, London, pp. 25-56. https://doi.org/10.1007/978-1-4419-6460-1_2

Composability and Predictability for Independent Application Development, Verification, and Execution. / Akesson, Benny; Molnos, Anca; Hansson, A.; Ambrose Angelo, Jude; Goossens, Kees.

Multiprocessor System-on-Chip. ed. / Michael Hübner; Jürgen Becker. London : Springer, 2010. p. 25-56 (Circuits & Systems).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

TY - CHAP

T1 - Composability and Predictability for Independent Application Development, Verification, and Execution

AU - Akesson, Benny

AU - Molnos, Anca

AU - Hansson, A.

AU - Ambrose Angelo, Jude

AU - Goossens, Kees

N1 - 10.1007/978-1-4419-6460-1_2

PY - 2010/11

Y1 - 2010/11

N2 - System-on-chip (soc) design gets increasingly complex, as a growing number of applications are integrated in modern systems. Some of these applications have real-time requirements, such as a minimum throughput or a maximum latency. To reduce cost, system resources are shared between applications, making their timing behavior inter-dependent. Real-time requirements must hence e verified for all possible combinations of concurrently executing applications, which is not feasible with commonly used simulation-based techniques. This chapter addresses this problem using two complexity-reducing concepts: composability and predictability. Applications in a composable system are completely isolated and cannot affect each other's behaviors, enabling them to be independently verified. Predictable systems, on the other hand, provide lower bounds on performance, allowing applications to be verified using formal performance analysis. Five techniques to achieve composability and/or predictability in soc resources are presented and we explain their implementation for processors, interconnect, and memories in our platform.

AB - System-on-chip (soc) design gets increasingly complex, as a growing number of applications are integrated in modern systems. Some of these applications have real-time requirements, such as a minimum throughput or a maximum latency. To reduce cost, system resources are shared between applications, making their timing behavior inter-dependent. Real-time requirements must hence e verified for all possible combinations of concurrently executing applications, which is not feasible with commonly used simulation-based techniques. This chapter addresses this problem using two complexity-reducing concepts: composability and predictability. Applications in a composable system are completely isolated and cannot affect each other's behaviors, enabling them to be independently verified. Predictable systems, on the other hand, provide lower bounds on performance, allowing applications to be verified using formal performance analysis. Five techniques to achieve composability and/or predictability in soc resources are presented and we explain their implementation for processors, interconnect, and memories in our platform.

KW - METIS-276188

KW - Multi-Processor System

KW - Composability

KW - Arbitration

KW - EWI-18983

KW - Predictability

KW - Resource Management

KW - Real Time

KW - IR-76026

U2 - 10.1007/978-1-4419-6460-1_2

DO - 10.1007/978-1-4419-6460-1_2

M3 - Chapter

SN - 978-1-4419-6459-5

T3 - Circuits & Systems

SP - 25

EP - 56

BT - Multiprocessor System-on-Chip

A2 - Hübner, Michael

A2 - Becker, Jürgen

PB - Springer

CY - London

ER -

Akesson B, Molnos A, Hansson A, Ambrose Angelo J, Goossens K. Composability and Predictability for Independent Application Development, Verification, and Execution. In Hübner M, Becker J, editors, Multiprocessor System-on-Chip. London: Springer. 2010. p. 25-56. (Circuits & Systems). https://doi.org/10.1007/978-1-4419-6460-1_2