Validation of Model-Based Testing in Hardware in the Loop Platform

Janne Keränen, Tomi Räty

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

    4 Citations (Scopus)


    Model-based testing (MBT) in hardware-in-the-loop (HIL) platform is a simulation and testing environment for embedded systems, in which test design automation provided by MBT is combined with HIL methodology. A HIL platform is a testing environment in which the embedded system under testing (SUT) assumes to be operating with real-world inputs and outputs. In this paper, we focus on presenting the novel methodologies and tools that were used to conduct the validation of the MBT in HIL platform. Another novelty of the validation approach is that it aims to provide a comprehensive and many-sided process view to validating MBT and HIL related systems including different component, integration and system level testing activities. The research is based on the constructive method of the related scientific literature and testing technologies, and the results are derived through testing and validating the implemented MBT in HIL platform. The used testing process indicated that the functionality of the constructed MBT in HIL prototype platform was validated.
    Original languageEnglish
    Title of host publication10th International Conference on Information Technology
    Subtitle of host publicationNew Generations
    PublisherIEEE Institute of Electrical and Electronic Engineers
    ISBN (Electronic)978-0-7695-4967-5
    ISBN (Print)978-0-7695-4967-5
    Publication statusPublished - 30 Sept 2013
    MoE publication typeA4 Article in a conference publication
    Event10th International Conference on Information Technology: New Generations, ITNG 2013 - Las Vegas, United States
    Duration: 15 Apr 201317 Apr 2013


    Conference10th International Conference on Information Technology: New Generations, ITNG 2013
    Abbreviated titleITNG 2013
    Country/TerritoryUnited States
    CityLas Vegas


    • digital simulation
    • embedded systems
    • program testing
    • program verification
    • model-based testing validation approach
    • hardware in the loop simulation platform
    • testing environment
    • test design automation
    • MBT
    • embedded system under testing
    • SUT
    • many-sided process view
    • system level testing activity
    • HIL prototype platform
    • software testing
    • testing
    • hardware
    • adaptation models
    • software algorithms
    • vectors
    • software packages
    • testing system validation
    • testing process
    • model-based testing
    • hardware in the loop


    Dive into the research topics of 'Validation of Model-Based Testing in Hardware in the Loop Platform'. Together they form a unique fingerprint.

    Cite this