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