Dependability Evaluation Method Oriented to Software Architecture Model

A software architecture and architecture technology, applied in software testing/debugging, platform integrity maintenance, etc., can solve problems that cannot reflect and change the system design structure, cannot support software architecture reuse, cannot support software architecture reliability, cannot Fix bugs, etc.

Inactive Publication Date: 2016-08-10
SHANGHAI JIAO TONG UNIV
View PDF5 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

However, the feedforward control example and the feedback control example are only the extraction of credible requirements, they cannot reflect and change the system design structure, they cannot repair the defects in the system structure design process, and they cannot support the reuse of software architecture and ensure the software architecture. credibility

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
  • Dependability Evaluation Method Oriented to Software Architecture Model
  • Dependability Evaluation Method Oriented to Software Architecture Model
  • Dependability Evaluation Method Oriented to Software Architecture Model

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0063] The present invention will be described in detail below in conjunction with specific embodiments. The following examples will help those skilled in the art to further understand the present invention, but do not limit the present invention in any form. It should be noted that those skilled in the art can make several modifications and improvements without departing from the concept of the present invention. These all belong to the protection scope of the present invention.

[0064] The present invention provides a software architecture model-oriented credibility evaluation method. By proposing a software architecture description language based on the network environment——Breeze / ADL, high-level abstraction is carried out for large and complex systems, and the meta-modeling mechanism is used to expand the available Credible attribute elements, from which relevant trusted attribute specifications are extracted. Extract security specifications, establish security models, ...

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 method for evaluating the credibility of software architecture oriented models. The method has the advantages that large complicated systems are abstracted at high levels on the basis of provided Breeze / ADL (architecture description language), credible attribute elements are expanded by the aid of meta-modeling mechanisms, and relevant credible attribute protocols are extracted from the credible attribute elements; safety protocols are extracted, safety models are built, rules for converting the Breeze / ADL safety models into fault tree models are formulated, accordingly, fault trees can be established, and potential safety thread and hazards of the systems can be qualitatively analyzed; reliability attribute protocols are extracted and are converted into discrete Markov chain state models, accordingly, the reliability can be quantitatively evaluated, and the importance can be quantitatively analyzed; effective improvement strategies are provided on the basis of safety and reliability analysis structures, and accordingly the credibility of the system structures can be guaranteed; the method is used for qualitatively and quantitatively evaluating credible attributes of software architectures from the software life cycle, forward guarantee mechanisms are established, and accordingly the efficiency and the quality can be improved in follow-up software development stages.

Description

technical field [0001] The invention belongs to the field of credible analysis of software architecture, in particular to the credible evaluation of software architecture. Background technique [0002] The software system running in the network environment is becoming more and more complex, and its trustworthiness issues are becoming more and more prominent, especially in terms of reliability and security. The software system often does not work in the way people expect or trust. For example, various failures, errors, and attacks may occur, causing it to fail to work normally, thereby directly or indirectly causing damage to users and society. How to construct trusted software so that its running behavior and results meet expectations is a very challenging problem. [0003] Software architecture can integrate components and their topological relationships from a global perspective and at a higher level. The introduction of software architecture is an effective means to con...

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 Patents(China)
IPC IPC(8): G06F11/36G06F21/57
Inventor 黄林鹏陈璐希李晨吴惜文
Owner SHANGHAI JIAO TONG 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