Analysis of software specifications based on statistics of Markov chain

In this paper, an innovative method to analyze the software specifications by using a model based on the Markov Chain is proposed. It is well known that all kinds of software are executed via the instruction set of the processor. Since the instruction set can be classified and divided into a series of finite state (i.e. the finite-state machine), it is natural that the software programs based on it has different corresponding characteristics of the Markov process in each state. More importantly, the transition probability can be calculated through the Markov chain in the form of different sparse matrix and with the help of the Discrete Fourier Transform (DFT), the model of the software can be acquired. Once the modeling is done, it will be possible to optimize the software both in the hardware design and the compiling process, which differs from the usual optimization applied only during the hardware designing process. Experimental results have shown that the model is able to greatly reduce the difficulty in solving the problems of the hit rate, cache consistency, etc.

[1]  Eleftheria Athanasopoulou,et al.  Maximum Likelihood Failure Diagnosis in Finite State Machines Under Unreliable Observations , 2010, IEEE Transactions on Automatic Control.

[2]  Yun Q. Shi,et al.  Detection of Double Compression in MPEG-4 Videos Based on Markov Statistics , 2013, IEEE Signal Processing Letters.

[3]  Donghui Guo,et al.  The dynamic relocation cache and its energy consumption model for low power processor , 2011, 2011 IEEE International Conference on Anti-Counterfeiting, Security and Identification.

[4]  J. A. Whittaker,et al.  Statistical testing for cleanroom software engineering , 1992, Proceedings of the Twenty-Fifth Hawaii International Conference on System Sciences.

[5]  Tadashi Dohi,et al.  Enhancing Performance of Random Testing through Markov Chain Monte Carlo Methods , 2010, IEEE Transactions on Computers.

[6]  Shigeru Yamada,et al.  Codesign-Oriented Performability Modeling for Hardware-Software Systems , 2011, IEEE Transactions on Reliability.

[7]  Gul A. Agha,et al.  A Markov Reward Model for Software Reliability , 2007, 2007 IEEE International Parallel and Distributed Processing Symposium.

[8]  Pascal Frossard,et al.  Markov Decision Process Based Energy-Efficient On-Line Scheduling for Slice-Parallel Video Decoders on Multicore Systems , 2013, IEEE Transactions on Multimedia.

[9]  Michail Maniatakos,et al.  Instruction-Level Impact Analysis of Low-Level Faults in a Modern Microprocessor Controller , 2011, IEEE Transactions on Computers.

[10]  Soonhoi Ha,et al.  A Parallel Simulation Technique for Multicore Embedded Systems and Its Performance Analysis , 2012, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[11]  Qiang Cheng,et al.  The Fisher-Markov Selector: Fast Selecting Maximally Separable Feature Subset for Multiclass Classification with Applications to High-Dimensional Data , 2011, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[12]  Thomas M. Conte,et al.  A Benchmark Characterization of the EEMBC Benchmark Suite , 2009, IEEE Micro.