Supercharge Your Innovation With Domain-Expert AI Agents!

AADL (Architecture Analysis and Design Language) reliability model generation method based on behavior description

A model generation and reliability technology, applied in the field of AADL reliability model generation based on behavioral description, can solve the problems of inaccurate reliability evaluation, inability to guarantee the accuracy and comprehensiveness of interaction, and affecting the integrity of the system reliability model. To achieve the effect of ensuring accuracy and comprehensiveness, and ensuring accuracy

Inactive Publication Date: 2013-01-16
NORTHWESTERN POLYTECHNICAL UNIV
View PDF2 Cites 6 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

However, at present, the interaction between error models only depends on the modeler's understanding of the system architecture model, which cannot guarantee the accuracy and comprehensiveness of the interaction between error models, which affects the integrity of the system reliability model, and ultimately leads to inaccurate reliability assessment.

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
  • AADL (Architecture Analysis and Design Language) reliability model generation method based on behavior description
  • AADL (Architecture Analysis and Design Language) reliability model generation method based on behavior description
  • AADL (Architecture Analysis and Design Language) reliability model generation method based on behavior description

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

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

[0045] The following is a system architecture model based on AADL description:

[0046]

[0047]

[0048]

[0049] 1. According to step 1, traverse and view the AADL architecture model of the system, because the behavior descriptions are defined in the thread components th_average.impl and th_merge.impl, and are marked;

[0050] 2. According to step 2, construct an empty error appendix library, and the package name is myerrormodels; generate a general error model and add it to the appendix library. At this point, the error appendix library such as figure 2 shown

[0051] 3. According to step 3, generate error model type and error model implementation for component th_average:

[0052] error model EM_th_average

[0053] end EM_th_average;

[0054] error model EM_th_average.impl

[0055] end EM_th_average.impl;

[0056] 4. According to step 4, refer ...

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 AADL (Architecture Analysis and Design Language) reliability model generation method based on behavior description, which illustrates the evolutionary process of a component according to a behavioral model. On one hand, if an error model is generated based on the behavioral model, every error can be precisely connected with a specific behavior of the component; on the other hand, if interactions between error models can be automatically generated based on an architecture model, the accuracy and the comprehensiveness of a reliability model can be ensured. Therefore, the method proposes to realize the automatic generation of the error model at a component level based on in-depth study of an AADL architecture model, the error model and a behavioral model. The method can ensure the accuracy and the comprehensiveness of interactions between error models, the integrality of a system reliability model, and the accuracy of reliability assessment.

Description

technical field [0001] The invention relates to an embedded system, in particular to an AADL reliability model generation method based on behavior description. Background technique [0002] In order to meet the needs of developing new embedded systems, the American Society of Automation Engineers released the aviation standard AS5506 - Architecture Analysis and Design Language (AADL). AADL has good support for model-based analysis and the description of complex real-time embedded systems. Through the components and the interaction between components, the binding of software components, hardware components and system components, the real-time high-reliability embedded system can be described and analyzed. Analysis; and analyze and evaluate the non-functional attributes of the system based on the system interaction model. If the AADL model cannot meet the requirements of non-functional attributes, then the system can be redesigned and constructed at the architecture level, so ...

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
Features
  • R&D
  • 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