HAPI: An event-driven simulator for real-time multiprocessor systems

Philip Sebastian Kurtin, J.P.H.M. Hausmans, Marco Jan Gerrit Bekooij

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    2 Citations (Scopus)
    43 Downloads (Pure)

    Abstract

    Many embedded multiprocessor systems have hard real-time requirements which should be guaranteed at design time by means of analytical techniques that cover all cases. It is desirable to evaluate the correctness and tightness of the analysis results by means of simulation. However, verification of the analytically obtained results is hampered by the lack of a fast high level simulation approach that supports task scheduling and that does not produce pessimistic simulation traces. In this paper we present HAPI, an event driven simulator for the evaluation of the results of real-time analysis techniques for task graphs executed on multiprocessor systems that support processor sharing. HAPI produces simulation traces that are pessimistic to reality and optimistic to temporal analysis. It can be consequently used to detect optimistic, i.e. incorrect, analysis results. Several task scheduling policies are supported by HAPI such as fixed priority preemptive, time-division multiplex and round-robin. Preemptive task scheduling decisions are simulated which enables to study the cause of delayed task finishes and thereby helps to identify overly pessimistic analysis results. We demonstrate the applicability of the simulator using a number of didactic examples and a WLAN 802.11p application.
    Original languageUndefined
    Title of host publication2016 ACM International Workshop on Software and Compilers for Embedded Systems (SCOPES)
    Place of PublicationNew York
    PublisherAssociation for Computing Machinery (ACM)
    Pages60-66
    Number of pages7
    ISBN (Print)978-1-4503-4320-6
    DOIs
    Publication statusPublished - 23 May 2016
    Event19th ACM International Workshop on Software and Compilers for Embedded Systems, SCOPES 2016 - Sankt Goar, Germany
    Duration: 23 May 201625 May 2016
    Conference number: 19
    http://www.scopesconf.org/scopes-16/

    Publication series

    Name
    PublisherACM

    Workshop

    Workshop19th ACM International Workshop on Software and Compilers for Embedded Systems, SCOPES 2016
    Abbreviated titleSCOPES
    CountryGermany
    CitySankt Goar
    Period23/05/1625/05/16
    Internet address

    Keywords

    • EWI-27026
    • IR-100451
    • SystemC
    • Temporal Analysis
    • Temporal Guarantees
    • Abstraction
    • MP-SoC
    • Data flow
    • Multiprocessor
    • Falsification
    • Scheduling
    • Processor Sharing
    • Simulation
    • Real Time
    • Verification
    • Refinement
    • METIS-316932
    • Stream Processing

    Cite this

    Kurtin, P. S., Hausmans, J. P. H. M., & Bekooij, M. J. G. (2016). HAPI: An event-driven simulator for real-time multiprocessor systems. In 2016 ACM International Workshop on Software and Compilers for Embedded Systems (SCOPES) (pp. 60-66). New York: Association for Computing Machinery (ACM). https://doi.org/10.1145/2906363.2906381