Embedded software reliability assessment method based on time extended petri net

An embedded software and time expansion technology, which is applied in software testing/debugging, instrumentation, electrical digital data processing, etc., can solve problems that cannot be prevented and waste manpower and material resources, and achieve the effect of improving description ability

Inactive Publication Date: 2017-07-07
BEIHANG UNIV
View PDF0 Cites 8 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

However, since most of these models are based on failure data, they need to be carried out in the software testing stage, a

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 software reliability assessment method based on time extended petri net
  • Embedded software reliability assessment method based on time extended petri net
  • Embedded software reliability assessment method based on time extended petri net

Examples

Experimental program
Comparison scheme
Effect test

Example Embodiment

[0067] Examples:

[0068] The embodiment takes the longitudinal control software in a certain flight control system as an example. The flight control system is one of the core systems on the aircraft, including complex concurrent and asynchronous activities. The flight control system includes 4 software modules, including System BIT self-check, vertical control software, horizontal control software and margin management software, etc. The running state diagram of main modules of the system is as Picture 8 As shown, when the system is started, power-on initialization, system BIT self-test, and then the system will perform redundancy management or air task scheduling initialization. When the redundancy exceeds the range, the flight ends. If it is within the allowable range, enter three types Status, longitudinal adjustment status, lateral heading adjustment status, and maintenance status. If the attitude reaches a stable status or the system is under maintenance, the flight will ...

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 discloses an embedded software reliability assessment method based on a time extended petri net and belongs to the technical field of software reliability. The method comprises the steps of determining a petri net model based on time extension of an assessment object drawing software architecture, constructing a reachable state identification transition graph of a software system, obtaining component reliability and transition reliability, constructing a state transition matrix and calculating reliability and sensitivity of the software system. According to the method, the petri net is subjected to time extension, the description capacity of real-time embedded software is improved by adding delay and time sequence factors, correlation reliability is also introduced, and the characteristics are applied to reliability assessment; through the method, the problem that a path adopted model calculation method is complicated and possibly not accurate is solved; a key component influencing the reliability of the software system can be recognized.

Description

technical field [0001] The invention belongs to the technical field of software reliability. It relates to an embedded software reliability evaluation method, in particular to an embedded software reliability evaluation method based on time-expanded petri net. Background technique [0002] With the continuous progress of society and the rapid development of computer science and technology, computers have been widely used in various fields such as aviation, aerospace, industrial control, transportation, and finance. Systems in these fields are increasingly controlled by computers, and the structure of the control software is becoming more and more complex, and the damage caused by software failure is becoming more and more serious. Software reliability is an important indicator of software quality, and improving software reliability has become an urgent requirement for the development and application of the software industry. [0003] The traditional software reliability ev...

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
CPCG06F11/3608
Inventor 殷永峰张弛刘利军
Owner BEIHANG 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