Efficient end-to-end latency distribution analysis for probabilistic time-triggered systems

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

Abstract

Medical image processing systems are typically implemented with a number of independent subsystems that have time-triggered interfaces. A critical design parameter for these systems is the latency between the instant that an image is captured and the instant that the enhanced image is displayed to the physician. Computation of the end-to-end latency distribution with existing techniques is often impractical due to the extremely large number of states that need to be considered. In this paper we introduce the probabilistic time-triggered system (PTTS) model. With this model the end-to-end latency distribution can be computed efficiently. Furthermore, we present a bound on the time-complexity of our analysis algorithm and a technique that reduces the state-space at the cost of accuracy. We demonstrate the applicability of the presented analysis technique by showing that several system configurations of an X-Ray application can be quickly explored. This exploration reveals the parameters which have a significant effect on the end-to-end latency distribution.
Original languageEnglish
Title of host publicationInternational Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV)
Place of PublicationUSA
PublisherIEEE Computer Society
Pages290 -298
Number of pages9
ISBN (Print)978-1-4799-3770-7
DOIs
Publication statusPublished - Jul 2014
Event2014 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, IC-SAMOS XIV - Samos, Greece
Duration: 14 Jul 201417 Jul 2014
Conference number: 14
http://samos-conference.com/Previous_Samos_Websites/SAMOS_2014/

Publication series

Name
PublisherIEEE Computer Society

Conference

Conference2014 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, IC-SAMOS XIV
Abbreviated titleIC-SAMOS
CountryGreece
CitySamos
Period14/07/1417/07/14
Internet address

Fingerprint

Medical image processing
X rays

Keywords

  • CR-B.2.2
  • EWI-25081
  • METIS-306034
  • IR-91900
  • Probabilistic latency analysis

Cite this

Westmijze, M., Bekooij, M. J. G., & Smit, G. J. M. (2014). Efficient end-to-end latency distribution analysis for probabilistic time-triggered systems. In International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV) (pp. 290 -298). USA: IEEE Computer Society. https://doi.org/10.1109/SAMOS.2014.6893223
Westmijze, M. ; Bekooij, Marco Jan Gerrit ; Smit, Gerardus Johannes Maria. / Efficient end-to-end latency distribution analysis for probabilistic time-triggered systems. International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV). USA : IEEE Computer Society, 2014. pp. 290 -298
@inproceedings{08d7c6433161413f8885b15effcd0259,
title = "Efficient end-to-end latency distribution analysis for probabilistic time-triggered systems",
abstract = "Medical image processing systems are typically implemented with a number of independent subsystems that have time-triggered interfaces. A critical design parameter for these systems is the latency between the instant that an image is captured and the instant that the enhanced image is displayed to the physician. Computation of the end-to-end latency distribution with existing techniques is often impractical due to the extremely large number of states that need to be considered. In this paper we introduce the probabilistic time-triggered system (PTTS) model. With this model the end-to-end latency distribution can be computed efficiently. Furthermore, we present a bound on the time-complexity of our analysis algorithm and a technique that reduces the state-space at the cost of accuracy. We demonstrate the applicability of the presented analysis technique by showing that several system configurations of an X-Ray application can be quickly explored. This exploration reveals the parameters which have a significant effect on the end-to-end latency distribution.",
keywords = "CR-B.2.2, EWI-25081, METIS-306034, IR-91900, Probabilistic latency analysis",
author = "M. Westmijze and Bekooij, {Marco Jan Gerrit} and Smit, {Gerardus Johannes Maria}",
year = "2014",
month = "7",
doi = "10.1109/SAMOS.2014.6893223",
language = "English",
isbn = "978-1-4799-3770-7",
publisher = "IEEE Computer Society",
pages = "290 --298",
booktitle = "International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV)",
address = "United States",

}

Westmijze, M, Bekooij, MJG & Smit, GJM 2014, Efficient end-to-end latency distribution analysis for probabilistic time-triggered systems. in International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV). IEEE Computer Society, USA, pp. 290 -298, 2014 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, IC-SAMOS XIV, Samos, Greece, 14/07/14. https://doi.org/10.1109/SAMOS.2014.6893223

Efficient end-to-end latency distribution analysis for probabilistic time-triggered systems. / Westmijze, M.; Bekooij, Marco Jan Gerrit; Smit, Gerardus Johannes Maria.

International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV). USA : IEEE Computer Society, 2014. p. 290 -298.

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

TY - GEN

T1 - Efficient end-to-end latency distribution analysis for probabilistic time-triggered systems

AU - Westmijze, M.

AU - Bekooij, Marco Jan Gerrit

AU - Smit, Gerardus Johannes Maria

PY - 2014/7

Y1 - 2014/7

N2 - Medical image processing systems are typically implemented with a number of independent subsystems that have time-triggered interfaces. A critical design parameter for these systems is the latency between the instant that an image is captured and the instant that the enhanced image is displayed to the physician. Computation of the end-to-end latency distribution with existing techniques is often impractical due to the extremely large number of states that need to be considered. In this paper we introduce the probabilistic time-triggered system (PTTS) model. With this model the end-to-end latency distribution can be computed efficiently. Furthermore, we present a bound on the time-complexity of our analysis algorithm and a technique that reduces the state-space at the cost of accuracy. We demonstrate the applicability of the presented analysis technique by showing that several system configurations of an X-Ray application can be quickly explored. This exploration reveals the parameters which have a significant effect on the end-to-end latency distribution.

AB - Medical image processing systems are typically implemented with a number of independent subsystems that have time-triggered interfaces. A critical design parameter for these systems is the latency between the instant that an image is captured and the instant that the enhanced image is displayed to the physician. Computation of the end-to-end latency distribution with existing techniques is often impractical due to the extremely large number of states that need to be considered. In this paper we introduce the probabilistic time-triggered system (PTTS) model. With this model the end-to-end latency distribution can be computed efficiently. Furthermore, we present a bound on the time-complexity of our analysis algorithm and a technique that reduces the state-space at the cost of accuracy. We demonstrate the applicability of the presented analysis technique by showing that several system configurations of an X-Ray application can be quickly explored. This exploration reveals the parameters which have a significant effect on the end-to-end latency distribution.

KW - CR-B.2.2

KW - EWI-25081

KW - METIS-306034

KW - IR-91900

KW - Probabilistic latency analysis

U2 - 10.1109/SAMOS.2014.6893223

DO - 10.1109/SAMOS.2014.6893223

M3 - Conference contribution

SN - 978-1-4799-3770-7

SP - 290

EP - 298

BT - International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV)

PB - IEEE Computer Society

CY - USA

ER -

Westmijze M, Bekooij MJG, Smit GJM. Efficient end-to-end latency distribution analysis for probabilistic time-triggered systems. In International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV). USA: IEEE Computer Society. 2014. p. 290 -298 https://doi.org/10.1109/SAMOS.2014.6893223