Modeling and Analyzing Real-Time Multiprocessor Systems

M.H. Wiggers, Lothar Thiele, Edward A. Lee, Simon Schlieker, Marco Jan Gerrit Bekooij

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

2 Citations (Scopus)

Abstract

Researchers have proposed approaches to verify that real-time multiprocessor systems meet their timeliness constraints. These approaches make assumptions on the model of computation, the load placed on the multiprocessor system, and the faults that can arise. This heterogeneous set of assumptions make these approaches hard to compare. This tutorial will present an overview and positioning of four recently proposed approaches. We present for each approach, the application domain in which its assumptions are realistic and the dominant application requirements that have driven its development. Next to discussing timeliness guarantees, we give attention to the robustness aspects of each approach; e.g. against faults such as overload.
Original languageUndefined
Title of host publicationProceedings of the Eighth IEEE/ACM/IFIP International Conference on Hardware/software Codesign and System synthesis, CODES/ISSS 2010
Place of PublicationNew York
PublisherAssociation for Computing Machinery (ACM)
Pages329-330
Number of pages2
ISBN (Print)978-1-60558-905-3
DOIs
Publication statusPublished - 24 Oct 2010

Publication series

Name
PublisherACM

Keywords

  • METIS-275831
  • Design
  • EWI-19232
  • Theory
  • Performance
  • IR-75537

Cite this

Wiggers, M. H., Thiele, L., Lee, E. A., Schlieker, S., & Bekooij, M. J. G. (2010). Modeling and Analyzing Real-Time Multiprocessor Systems. In Proceedings of the Eighth IEEE/ACM/IFIP International Conference on Hardware/software Codesign and System synthesis, CODES/ISSS 2010 (pp. 329-330). New York: Association for Computing Machinery (ACM). https://doi.org/10.1145/1878961.1879019
Wiggers, M.H. ; Thiele, Lothar ; Lee, Edward A. ; Schlieker, Simon ; Bekooij, Marco Jan Gerrit. / Modeling and Analyzing Real-Time Multiprocessor Systems. Proceedings of the Eighth IEEE/ACM/IFIP International Conference on Hardware/software Codesign and System synthesis, CODES/ISSS 2010. New York : Association for Computing Machinery (ACM), 2010. pp. 329-330
@inproceedings{737fd35d70e34426aebcf335436ee053,
title = "Modeling and Analyzing Real-Time Multiprocessor Systems",
abstract = "Researchers have proposed approaches to verify that real-time multiprocessor systems meet their timeliness constraints. These approaches make assumptions on the model of computation, the load placed on the multiprocessor system, and the faults that can arise. This heterogeneous set of assumptions make these approaches hard to compare. This tutorial will present an overview and positioning of four recently proposed approaches. We present for each approach, the application domain in which its assumptions are realistic and the dominant application requirements that have driven its development. Next to discussing timeliness guarantees, we give attention to the robustness aspects of each approach; e.g. against faults such as overload.",
keywords = "METIS-275831, Design, EWI-19232, Theory, Performance, IR-75537",
author = "M.H. Wiggers and Lothar Thiele and Lee, {Edward A.} and Simon Schlieker and Bekooij, {Marco Jan Gerrit}",
note = "10.1145/1878961.1879019",
year = "2010",
month = "10",
day = "24",
doi = "10.1145/1878961.1879019",
language = "Undefined",
isbn = "978-1-60558-905-3",
publisher = "Association for Computing Machinery (ACM)",
pages = "329--330",
booktitle = "Proceedings of the Eighth IEEE/ACM/IFIP International Conference on Hardware/software Codesign and System synthesis, CODES/ISSS 2010",
address = "United States",

}

Wiggers, MH, Thiele, L, Lee, EA, Schlieker, S & Bekooij, MJG 2010, Modeling and Analyzing Real-Time Multiprocessor Systems. in Proceedings of the Eighth IEEE/ACM/IFIP International Conference on Hardware/software Codesign and System synthesis, CODES/ISSS 2010. Association for Computing Machinery (ACM), New York, pp. 329-330. https://doi.org/10.1145/1878961.1879019

Modeling and Analyzing Real-Time Multiprocessor Systems. / Wiggers, M.H.; Thiele, Lothar; Lee, Edward A.; Schlieker, Simon; Bekooij, Marco Jan Gerrit.

Proceedings of the Eighth IEEE/ACM/IFIP International Conference on Hardware/software Codesign and System synthesis, CODES/ISSS 2010. New York : Association for Computing Machinery (ACM), 2010. p. 329-330.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

TY - GEN

T1 - Modeling and Analyzing Real-Time Multiprocessor Systems

AU - Wiggers, M.H.

AU - Thiele, Lothar

AU - Lee, Edward A.

AU - Schlieker, Simon

AU - Bekooij, Marco Jan Gerrit

N1 - 10.1145/1878961.1879019

PY - 2010/10/24

Y1 - 2010/10/24

N2 - Researchers have proposed approaches to verify that real-time multiprocessor systems meet their timeliness constraints. These approaches make assumptions on the model of computation, the load placed on the multiprocessor system, and the faults that can arise. This heterogeneous set of assumptions make these approaches hard to compare. This tutorial will present an overview and positioning of four recently proposed approaches. We present for each approach, the application domain in which its assumptions are realistic and the dominant application requirements that have driven its development. Next to discussing timeliness guarantees, we give attention to the robustness aspects of each approach; e.g. against faults such as overload.

AB - Researchers have proposed approaches to verify that real-time multiprocessor systems meet their timeliness constraints. These approaches make assumptions on the model of computation, the load placed on the multiprocessor system, and the faults that can arise. This heterogeneous set of assumptions make these approaches hard to compare. This tutorial will present an overview and positioning of four recently proposed approaches. We present for each approach, the application domain in which its assumptions are realistic and the dominant application requirements that have driven its development. Next to discussing timeliness guarantees, we give attention to the robustness aspects of each approach; e.g. against faults such as overload.

KW - METIS-275831

KW - Design

KW - EWI-19232

KW - Theory

KW - Performance

KW - IR-75537

U2 - 10.1145/1878961.1879019

DO - 10.1145/1878961.1879019

M3 - Conference contribution

SN - 978-1-60558-905-3

SP - 329

EP - 330

BT - Proceedings of the Eighth IEEE/ACM/IFIP International Conference on Hardware/software Codesign and System synthesis, CODES/ISSS 2010

PB - Association for Computing Machinery (ACM)

CY - New York

ER -

Wiggers MH, Thiele L, Lee EA, Schlieker S, Bekooij MJG. Modeling and Analyzing Real-Time Multiprocessor Systems. In Proceedings of the Eighth IEEE/ACM/IFIP International Conference on Hardware/software Codesign and System synthesis, CODES/ISSS 2010. New York: Association for Computing Machinery (ACM). 2010. p. 329-330 https://doi.org/10.1145/1878961.1879019