Model-based testing of embedded systems in hardware in the loop environment

Janne S. Keränen, Tomi Räty

    Research output: Contribution to journalArticleScientificpeer-review

    23 Citations (Scopus)


    The evolution of software testing technologies has significantly reduced software testing execution times, but the test design and generation are still often implemented with slow manual-oriented methods. Model-based testing (MBT) offers automation to test design and generation, and different MBT solutions are familiar from research, but more effort needs to be done to adopt MBT for industrial use. Hardware in the loop (HIL) is a simulation and testing technique used in the development and testing of embedded systems. HIL is a challenging application field for MBT due to complex and non-deterministic nature of some embedded systems. To tackle this problem, the authors present a novel prototype platform in which online and offline MBT is applied to HIL environment. MBT in general has been introduced for HIL in scientific literature before, but the application of online MBT in HIL is a novel approach. The whole novel MBT in HIL prototype platform along with the used MBT tool, platform architecture and MBT process are presented accompanied by experimental results and analysis of two case studies with an example embedded system under test.
    Original languageEnglish
    Pages (from-to)364-376
    Number of pages12
    JournalIET Software
    Issue number4
    Publication statusPublished - 2012
    MoE publication typeA1 Journal article-refereed


    Dive into the research topics of 'Model-based testing of embedded systems in hardware in the loop environment'. Together they form a unique fingerprint.

    Cite this