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

Security analysis method of AADL (Advanced Analysis and Design Language) model based on smartIflow

An analysis method and security technology, applied in the field of security analysis of the AADL model, can solve the problems of large description granularity, insufficient description, and difficulty in analysis and verification of security attributes, so as to achieve accurate security analysis results and comprehensive behavior descriptions. , The effect of safety analysis results improvement

Pending Publication Date: 2020-06-12
BEIHANG UNIV
View PDF4 Cites 2 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

Some studies that extend AADL to support FEM describe the normal behavior of the system at a relatively large granularity, which is not sufficient, resulting in inaccurate behavior description and difficulty in analyzing and verifying security attributes.

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
  • Security analysis method of AADL (Advanced Analysis and Design Language) model based on smartIflow
  • Security analysis method of AADL (Advanced Analysis and Design Language) model based on smartIflow
  • Security analysis method of AADL (Advanced Analysis and Design Language) model based on smartIflow

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0037] In order to make the above objects, features and advantages of the present application more obvious and understandable, the embodiments of the present application will be further described in detail below in conjunction with the accompanying drawings and specific implementation methods.

[0038] In terms of AADL model conversion, in order to reduce the semantic difference before and after model conversion and improve the accuracy of security analysis, it is very important to select the appropriate AADL subset and target model.

[0039] At present, Altarica, SAML, smartIflow, etc. can support FLM and FEM at the same time, which can fully model the safety system failure situation and obtain accurate safety analysis results.

[0040] smartIflow has: a moderate level of abstraction, which can analyze security requirements through model detection and other methods, and the calculation amount will not be too large; it supports two-way connection modeling, which is closer to re...

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 security analysis method for an AADL model based on smartIflow, and the method comprises the steps: building a system architecture model, an error model and a behavior modelthrough employing AADL according to a system demand and a design document, wherein the error model and the behavior model of the component in the combined system are component models and represent changes of component behaviors when the component breaks down; converting each component model into a smartIflow model for analyzing the safety of the system; and according to system requirements and design documents, describing security attributes required to be satisfied by the system, inputting the smartIflow model and the security attribute description into a smartIflow security analysis platform, verifying the security attributes of the system, and obtaining a security analysis result of the system. The component fault behavior description can be more comprehensive, the safety analysis result of the system is more accurate, and the design of the system can be improved according to the safety analysis result of the system.

Description

technical field [0001] The invention belongs to the technical field of computer software, in particular to a safety analysis method based on the AADL model of smartIflow. Background technique [0002] In the field of safety-critical systems such as aerospace and transportation, in order to prevent personal casualties, property damage, and environmental damage, it is necessary to analyze the safety of the system. At present, model-based security analysis has the advantages of integration with system design and high security analysis efficiency, and is a research hotspot in the field of security analysis. [0003] AADL (Architecture Analysis & Design Language) is an architectural modeling language for safety-critical systems. It has a strong ability to describe the key attributes of the system, and provides error attachments and behavior attachments to describe the system. The factors affecting safety can be modeled more comprehensively based on fault conditions and operating...

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): G06F30/20
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