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