Security Evaluation Method of AADL Model Based on Deterministic Random Petri Net

Abstract

The invention provides a method for evaluating the safety of the AADL model based on the deterministic random Petri net. Firstly, build a hierarchical AADL architecture model; then, formulate a new model transformation method to transform the AADL security model into a DSPN model, in which new semantics are added to the AADL security model, including the operational state in composite components Respectively with the relationship between failure state and danger, and the relationship between recovery event and repair event and error detection, the new model transformation method simplifies the transformation method of error propagation between components and the transformation method of dangerous behavior, making the security The model is converted to a DSPN model with a smaller number of states, which is used to calculate the probability of danger occurrence; finally, the risk of danger occurrence is calculated in combination with the severity level of danger for safety assessment.

Description

technical field [0001] The invention relates to an AADL model safety evaluation method, in particular to an AADL model safety evaluation method based on deterministic random Petri net. Background technique [0002] The document "Architecture-Level Hazard Analysis using AADL, Journal of Systems and Software, 2018, Vol 137, p580-604" discloses a hazard analysis method based on Architecture Analysis and Design Language (AADL). This method uses the AADL architecture model, error model and risk model to establish the AADL security model, and uses Deterministic Stochastic Petri Net (DSPN) as the security calculation model of the system architecture model, and formulates a model conversion method. The AADL security model is converted into a DSPN model, and the existing DSPN model calculation tool is used to simulate and calculate the generated DSPN model to obtain the probability of system failure, which better solves the problem of calculating the probability of system failure bas...

AI Technical Summary

Problems solved by technology

[0003] In order to overcome the problems of incomplete security model and too many states of the generated DSPN model in the existing security analysis method based on AADL, the present invention provides a security assessment method of AADL model based on deterministic stochastic Petri net, based on the hierarchical AADL architecture model with a structured structure, establish a complete AADL security model, and formulate a new model conversion method from the AADL security model to the DSPN model

Images