Where academic tradition
meets the exciting future

Multi-Fragment Markov Model Guided Online Test Generation for MPSoC

Jüri Vain, Leonidas Tsiopoulos, Vyacheslav Kharchenko, Apneet Kaur, Maksim Jenihhin, Jaan Raik, Multi-Fragment Markov Model Guided Online Test Generation for MPSoC. In: Vadim Ermolayev, Nick Bassiliades, Hans-Georg Fill, Vitaliy Yakovyna, Heinrich C. Mayr, Vyacheslav Kharchenko, Vladimir Peschanenko, Mariya Shyshkina, Mykola Nikitchenko, Aleksander Spivakovsky (Eds.), ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer: Proceedings of the 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May, 2017, CEUR Workshop Proceedings 1844, 594–607, RWTH Aachen University, 2017.

Abstract:

Online monitoring and model-based validation are commonly accepted quality assurance measures for mission critical systems. We propose an integrated approach where the Multi-Fragment Markov Models (MFMM) are used for specifying the system reliability and security related behavior on high-level of abstraction, and the more concrete state and timing constraints related with MFMM are specified explicitly using Uppaal Probabilistic Timed Automata (UPTA). To interrelate these two model classes we demonstrate how the MFMM is mapped to UPTA. The second contribution is the test case selection mechanism for online testing where the test cases are prioritized by probabilities of execution modes. The hypotheses on which mode the system switches next are provided by MFMM and the hypotheses are tested using UPTA models that specify the mode behavior forming a test suite for online conformance testing of modes. The approach is illustrated with the Bonfire Multi-Processor System-on-Chip.

BibTeX entry:

@INPROCEEDINGS{inpVaTsKhKaJeRa17a,
  title = {Multi-Fragment Markov Model Guided Online Test Generation for MPSoC},
  booktitle = {ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer: Proceedings of the 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May, 2017},
  author = {Vain, Jüri and Tsiopoulos, Leonidas and Kharchenko, Vyacheslav and Kaur, Apneet and Jenihhin, Maksim and Raik, Jaan},
  volume = {1844},
  series = {CEUR Workshop Proceedings},
  editor = {Ermolayev, Vadim and Bassiliades, Nick and Fill, Hans-Georg and Yakovyna, Vitaliy and Mayr, Heinrich C. and Kharchenko, Vyacheslav and Peschanenko, Vladimir and Shyshkina, Mariya and Nikitchenko, Mykola and Spivakovsky, Aleksander},
  publisher = {RWTH Aachen University},
  pages = {594–607},
  year = {2017},
  ISSN = {1613-0073},
}

Belongs to TUCS Research Unit(s): Other, Distributed Systems Laboratory (DS Lab)

Edit publication