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

A technology of embedded system and Markov chain, applied in the field of embedded system performance testing and evaluation, and high-reliability computer system development, it can solve problems such as few system performance evaluation and analysis, and achieve cost-saving and operability. Strong and clear effect

Inactive Publication Date: 2009-12-02
CAS OF CHENGDU INFORMATION TECH CO LTD
View PDF0 Cites 7 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0005] However, the current model checking technology is basically used for functional ve

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Embedded system performance evaluation technical proposal based on interactive Markov chain model detection
  • Embedded system performance evaluation technical proposal based on interactive Markov chain model detection
  • Embedded system performance evaluation technical proposal based on interactive Markov chain model detection

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0047] Take five main steps to implement. First, abstract the IMC performance evaluation model of the embedded system, and express it in the form of a text file that can be input into the computer; second, use aCSL to accurately express the evaluation model of the embedded system performance index, and express it in the form of a text file that can be input into the computer; 3. Input the files of the first and second steps into the IMC model detector, and then run the IMC model detector to let the computer automatically calculate until the calculation is obtained As a result, the calculation results are automatically given by the computer in the form of text files; 4. According to the output results of the computer, the performance of various aspects of the embedded system is carefully analyzed; 5. From the analysis results of the previous step, specific The overall evaluation of the embedded system performance, and further point out the improvement suggestions of the embedded...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

PUM

No PUM Login to view more

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,...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

Application Information

Patent Timeline
no application Login to view more
IPC IPC(8): G06F11/36
Inventor 陈剑锋吴尽昭
Owner CAS OF CHENGDU INFORMATION TECH CO LTD
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap