Embedded system performance evaluation technical proposal based on interactive Markov chain model detection

Abstract

The invention provides a technical proposal for performing effective performance evaluation on a complex embedded system. In order to handle the performance evaluation problem of the embedded system becoming more complex, the invention provides a thought, a method and a technical proposal for performance analysis and evaluation of the complex embedded system according to a verification result after a novel interactive Markov chain (IMC) performance model is adopted to abstract the complex embedded system, an improved formal language namely action based continuous simulation language (aCSL) is adopted to describe performance specification, and IMC model detector software is utilized to automatically verify the performance specification of the embedded system. The thought is novel and practical, the method solves problems at high speed, has not high requirement on computation space, and saves computation cost, and the proposal has clear and definite process and strong operability; and the automatic verification and analysis functions of a model detector can give an accurate performance index range of the embedded system. The invention provides an accurate quantizing proposal for evaluating the complex embedded system, and has good assistance for evaluation and improvement of a development model of the embedded system.

Description

1. Technical field: [0001] The invention relates to the performance evaluation problem of an embedded system, including the evaluation and comprehensive evaluation of its software system and hardware system, and is applicable to the field of performance testing and evaluation of an embedded system and development of a high-reliability computer system. 2. Background technology: [0002] (1) Embedded system (Embedded System) performance evaluation problem is an important content in the process of embedded system development, research and integration, which can provide various quantitative analysis basis for the development and technological transformation of embedded products. Usually, there are two main methods of performance evaluation, one is based on measurement (Measurement-based), and the other is based on model (Model-based). [0003] In the measurement-based method, the test data is usually obtained through a simulation test on a specific prototype system for analysis,...

AI Technical Summary

Problems solved by technology

[0005] However, the current model checking technology is basically used for functional verification, and is rarely used for evaluating and analyzing the performance of the system.

Images