Security assessment method for AADL model based on deterministic stochastic Petri nets

Abstract

The present invention provides a security assessment method for an AADL model based on deterministic stochastic Petri nets. The method comprises: building an AADL architecture model of a hierarchicalstructure; then, developing a new model transformation method to transform the AADL security model into a DSPN model, and adding new semantics, including a relationship between an operational state ina composite component and a failure state, a relationship between the operational state and the hazard, and a relationship between a recovery event and a repair event, and error detection, to the AADL security model, wherein the new model transformation method is a transformation method for simplifying error propagation between components and the transformation method for simplifying dangerous behaviors, so that the security model is transformed into a DSPN model with a smaller number of states to calculate the probability of the hazard; and finally, in combination with the severity level ofthe hazard, calculating the risk of the hazard, and performing security 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