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)
30 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
Kurtin, Philip Sebastian ; Hausmans, J.P.H.M. ; Bekooij, Marco Jan Gerrit. / HAPI: An event-driven simulator for real-time multiprocessor systems. 2016 ACM International Workshop on Software and Compilers for Embedded Systems (SCOPES). New York : Association for Computing Machinery (ACM), 2016. pp. 60-66
@inproceedings{23bfe7dd846e428b9b99cdd6b4410e44,
title = "HAPI: An event-driven simulator for real-time multiprocessor systems",
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.",
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",
author = "Kurtin, {Philip Sebastian} and J.P.H.M. Hausmans and Bekooij, {Marco Jan Gerrit}",
note = "eemcs-eprint-27026",
year = "2016",
month = "5",
day = "23",
doi = "10.1145/2906363.2906381",
language = "Undefined",
isbn = "978-1-4503-4320-6",
publisher = "Association for Computing Machinery (ACM)",
pages = "60--66",
booktitle = "2016 ACM International Workshop on Software and Compilers for Embedded Systems (SCOPES)",
address = "United States",

}

Kurtin, PS, Hausmans, JPHM & Bekooij, MJG 2016, HAPI: An event-driven simulator for real-time multiprocessor systems. in 2016 ACM International Workshop on Software and Compilers for Embedded Systems (SCOPES). Association for Computing Machinery (ACM), New York, pp. 60-66, 19th ACM International Workshop on Software and Compilers for Embedded Systems, SCOPES 2016, Sankt Goar, Germany, 23/05/16. https://doi.org/10.1145/2906363.2906381

HAPI: An event-driven simulator for real-time multiprocessor systems. / Kurtin, Philip Sebastian; Hausmans, J.P.H.M.; Bekooij, Marco Jan Gerrit.

2016 ACM International Workshop on Software and Compilers for Embedded Systems (SCOPES). New York : Association for Computing Machinery (ACM), 2016. p. 60-66.

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

TY - GEN

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

AU - Kurtin, Philip Sebastian

AU - Hausmans, J.P.H.M.

AU - Bekooij, Marco Jan Gerrit

N1 - eemcs-eprint-27026

PY - 2016/5/23

Y1 - 2016/5/23

N2 - 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.

AB - 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.

KW - EWI-27026

KW - IR-100451

KW - SystemC

KW - Temporal Analysis

KW - Temporal Guarantees

KW - Abstraction

KW - MP-SoC

KW - Data flow

KW - Multiprocessor

KW - Falsification

KW - Scheduling

KW - Processor Sharing

KW - Simulation

KW - Real Time

KW - Verification

KW - Refinement

KW - METIS-316932

KW - Stream Processing

U2 - 10.1145/2906363.2906381

DO - 10.1145/2906363.2906381

M3 - Conference contribution

SN - 978-1-4503-4320-6

SP - 60

EP - 66

BT - 2016 ACM International Workshop on Software and Compilers for Embedded Systems (SCOPES)

PB - Association for Computing Machinery (ACM)

CY - New York

ER -

Kurtin PS, Hausmans JPHM, Bekooij MJG. HAPI: An event-driven simulator for real-time multiprocessor systems. In 2016 ACM International Workshop on Software and Compilers for Embedded Systems (SCOPES). New York: Association for Computing Machinery (ACM). 2016. p. 60-66 https://doi.org/10.1145/2906363.2906381