Embedded system reliability analysis and evaluation method

An embedded system, reliable technology, applied in software testing/debugging, etc., can solve problems such as heavy workload and cumbersome tasks, and achieve the effect of saving development costs and shortening the development cycle

Inactive Publication Date: 2010-12-01
NORTHWESTERN POLYTECHNICAL UNIV
View PDF3 Cites 34 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0005] Although people have carried out a series of research on reliability modeling methods for AADL software architecture models, for example, using generalized stochastic Petri nets, Markov chains, fault trees, etc., to describe AADL architecture models and AADL error models well, However, the reliability analysis and evaluation method based on the

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 reliability analysis and evaluation method
  • Embedded system reliability analysis and evaluation method
  • Embedded system reliability analysis and evaluation method

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0031] Now in conjunction with embodiment, accompanying drawing, the present invention will be further described:

[0032] This example describes a backup system HotStandby. There are three sub-components in the system, namely R1, R2 and Decide. The components R1 and R2 each have a data interface connected to the component Decide. The system has two modes, the initial mode R1mode and the mode R2mode respectively. The transition between these two modes is controlled by the two event interfaces prim1 and prim2 of the sub-component Decide. When the interface prim1 sends an event, the system It will switch from modal R1mode to R2mode, and when the interface usually sends an event, the system will switch from modal R2mode to R1mode. For sub-component Decide, the two event interfaces prim1 and prim2 emit events are controlled by the data received from sub-components R1 and R2. image 3 For the system architecture diagram:

[0033] The following is the AADL architecture model code ...

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 relates to an embedded system reliability analysis and evaluation method. The method is technically characterized by comprising the following steps of: based on an AADL architecture model file and an AADL error model file, forming an AADL reliability model file; converting an AADL reliability model into a general stochastic Petri net (GSPN) reliability model; and performing quantitative analysis on the AADL reliability model by using a conventional GSPN reliability evaluation method. The method brings convenience to automation of software architecture reliability analysis, and brings the convenience to a user to analyze and evaluate the reliability of embedded software at an early stage of software design and evaluate the reliability of software at an architecture level; and if the model architecture cannot meet a requirement, then the software architecture can be modified in advance. Therefore, not only development cost can be saved, but also a development period can be shortened.

Description

technical field [0001] The invention relates to a system reliability analysis and evaluation method, and mainly relates to an embedded system reliability analysis and evaluation method. Background technique [0002] With the development of embedded systems, the structure of embedded systems is becoming more and more complex, and the scale is getting larger and larger, and the requirements for system development costs, development cycles, and non-functional attributes (schedulability, reliability, and security) are also increasing. The higher the embedded system development method is, the earlier embedded system development method can no longer meet the current needs. Therefore, the industry has introduced the model-driven structure method (Model Driven Architecture, MDA), and the system development has been promoted to a higher level - model level, for specific The coding work of the computing platform is done automatically by the machine, and the model becomes the core of t...

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 NORTHWESTERN POLYTECHNICAL UNIV
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