Looking for breakthrough ideas for innovation challenges? Try Patsnap Eureka!

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, and it is impossible to prevent errors in the software design stage; It will waste a lot of manpower and material resources

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

Embodiment

[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, which includes complex concurrent and asynchronous activities. The flight control system contains 4 software modules in total, including System BIT self-inspection, vertical control software, horizontal control software and redundancy management software, etc. The operating status diagram of the main modules of the system is as follows: Figure 8 As shown, when the system is started, power-on initialization is performed, the system BIT self-tests, and then the system will perform redundancy management or air task scheduling initialization. When the redundancy exceeds the range, the flight ends. state, longitudinal adjustment state, lateral heading adjustment state, and maintenance state. If the attitude reaches a stable state, or the system is under maintenance, the flight will end.

[0069] Among...

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
Features
  • Generate Ideas
  • Intellectual Property
  • Life Sciences
  • Materials
  • Tech Scout
Why Patsnap Eureka
  • Unparalleled Data Quality
  • Higher Quality Content
  • 60% Fewer Hallucinations
Social media
Patsnap Eureka Blog
Learn More

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

© 2025 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com