Software trust ensuring method based on system structure evolution

A technology of architecture and software architecture, applied in the protection of internal/peripheral computer components, instruments, electrical digital data processing, etc., can solve the problems of no obvious distinction, no support for individual online modification at each stage, high cost of software trustworthiness assurance, etc. problem, to achieve the effect of small modification cost and ensure the credibility of the software

Inactive Publication Date: 2010-03-17
NAT UNIV OF DEFENSE TECH
View PDF0 Cites 12 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

However, the above methods have common shortcomings: when the environment exceeds the preset, in many cases it is only necessary to modify the decision rules in the process of environmental adaptation or add new perception means, but the three stages of perception, decision-making and execution in the above methods are not obvious. Distinguished, does not support separate online modification of each stage, resulting in high cost of software trust assurance when the environment exceeds the preset
At present, there is no public technical information related to the organic combination of the two results or mature technical solutions

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
  • Software trust ensuring method based on system structure evolution
  • Software trust ensuring method based on system structure evolution

Examples

Experimental program
Comparison scheme
Effect test

Embodiment

[0038] Take the fire alarm automatic sprinkler scene as an example.

[0039] Considering that the automatic fire alarm sprinkler system usually consists of smoke sensors, sprinkler valves, fire alarm lights, etc., the following scenario is designed: there are smoke concentration sensors, sprinkler valves, fire alarm lights, and embedded software systems running on them in a certain room. When the smoke concentration is higher than the specified threshold, it is considered a fire alarm, the fire alarm light flashes, and the sprinkler valve opens. The threshold is a specific value set in the development stage based on the assumption of the future environment. However, due to the change of room use (such as changing from a common living room to a restaurant kitchen), this threshold will cause false alarms (or missed alarms) , that is, when the environment exceeds the preset in the development stage, the software operation behavior and results will no longer meet user expectations...

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 a software trust ensuring method based on system structure evolution, aiming to provide a method for modifying each stage in a software environment adapting process on line toensure software trust when the environment exceeds the presetting environment of a development stage. The invention adopts the technical scheme that a perceptive stage and an executive stage in the software environment adapting process are packaged into different members, and the rule for software to make action decision according to the environment is packaged into a strategy connector; then, a member container is extended for supporting the interpretive execution of the strategy connector and allowing a third party to selectively add or delete and replace the members and the connectors whenrunning so that each stage in the software environment adapting process is independently modified on line. The invention can be used for adjusting the software environment adapting process when the software runs and can ensure the software trust with low modifying cost.

Description

technical field [0001] The invention relates to the technical field of software maintenance, in particular to a method for ensuring continuous and correct operation of the software architecture through online evolution when the software operating environment exceeds the preset scene in the development stage. Background technique [0002] Software trustworthiness means that the software operation behavior and results meet people's expectations, meet user needs, and can continue to provide services when it is disturbed by operation errors and environmental impacts. Traditional program correctness proof, software testing and other credible assurance methods are implemented in the development stage, which need to rely on assumptions about the future operating environment of the software. However, with the emergence of software forms such as embedded software, Internet software, and social and business-critical systems that provide services 7x24 hours, various environmental facto...

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
Patent Type & Authority Applications(China)
IPC IPC(8): G06F9/44G06F21/22G06F21/50G06F21/71
Inventor 王怀民丁博史殿习李骁尹刚
Owner NAT UNIV OF DEFENSE TECH
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