Multi-Fragment Markov Model Guided Online Test Generation for MPSoC

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

[1]  John G. Kemeny,et al.  Finite Markov chains , 1960 .

[2]  Vyacheslav S. Kharchenko,et al.  Selecting Mathematical Software for Dependability Assessment of Computer Systems Described by Stiff Markov Chains , 2013, ICTERI.

[3]  Shahryar Sarkani,et al.  Model based Testing for Software Systems: An Application of Markov Modulated Markov Process , 2012 .

[4]  Mark Harman,et al.  Formal methods and testing: an outcome of the FORTEST network , 2008 .

[5]  Kim G. Larsen,et al.  A Tutorial on Uppaal , 2004, SFM.

[6]  Kim G. Larsen,et al.  UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata , 2012, QAPL.

[7]  Almir Pereira Guimaraes,et al.  Availability analysis of redundant computer networks: A strategy based on reliability importance , 2011, 2011 IEEE 3rd International Conference on Communication Software and Networks.

[8]  Vyacheslav S. Kharchenko,et al.  Availability Assessment of Information and Control Systems with Online Software Update and Verification , 2014, ICTERI.

[9]  Deep Medhi,et al.  Dependability and security models , 2009, 2009 7th International Workshop on Design of Reliable Communication Networks.

[10]  James A. Whittaker,et al.  A Markov Chain Model for Statistical Software Testing , 1994, IEEE Trans. Software Eng..

[11]  Jan Tretmans,et al.  Testing Transition Systems: An Annotated Bibliography , 2000, MOVEP.

[12]  Reinhard German,et al.  Model-Driven Testing based on Markov Chain Usage Models in the Automotive Domain , 2009 .

[13]  Marko Kääramees,et al.  Online Testing of Nondeterministic Systems with the Reactive Planning Tester , 2012 .

[14]  Jan Tretmans,et al.  Testing Concurrent Systems: A Formal Approach , 1999, CONCUR.

[15]  John F. Meyer,et al.  State space generation for degradable multiprocessor systems , 1991, [1991] Digest of Papers. Fault-Tolerant Computing: The Twenty-First International Symposium.