Method for checking operation state and demand consistency of AADL (Architecture Analysis and Design Language) model

Abstract

The invention provides a method for checking operation state and demand consistency of an AADL (Architecture Analysis and Design Language) model, which comprises the steps of: 1, constructing the AADL model according to state in demand and state transition, wherein mode and mode transition in the AADL model respectively correspond to the state in demand and the state transition; 2, converting the mode and the mode transition in the AADL mode into a Petri network model; 3, calculating an incidence matrix C of the Petri network mode; and 4, judging whether the operation state of the constructed AADL mode is consistent with the demand by using a state equation of the Petri network model. In the invention, the mode and the mode transition in the AADL model are mapped to place and transition in the Petri network model, and the Petri network model is used as a measured model, an accessible state set of the AADL model is calculated by combining with properties of the Petri network model and characteristics of the AADL model, therefore, the purpose of judging whether the operation state of the constructed AADL model is consistent to the demand is achieved, the correctness of the constructed AADL model is improved, the system building time is shortened, and the system building cost is saved.

Description

technical field [0001] The invention relates to a method for verifying the consistency between the running state of the AADL model and the requirements. Background technique [0002] In recent years, with the continuous increase of the scale and complexity of embedded software, its development cycle and development cost have also increased sharply, and the requirements for non-functional attributes are also getting higher and higher. The traditional code-centric development method can no longer adapt to this trend, and the focus of development has gradually moved from the code level to the model level. MDA (Model Driven Architecture) is a very promising model-based software development method proposed by OMG. Using the MDA software development method, the system designer transforms the requirements into a model described in a formal language during the design stage, and then conducts sufficient analysis and verification of the system model to solve most of the possible erro...

AI Technical Summary

Problems solved by technology

The ADeS tool developed by Axlog aims at the global analysis of the model, but it does not yet support schema and schema migration. It can only perform task analysis in the initial mode, and cannot completely verify the operating status of the system.

"Research on Testing Method of AADL Model" published in the 11th issue of Computer Science in 2009 uses the Markov chain model to test the AADL model to examine the consistency between the built model and the expected model behavior in the requirements, but the threshold and other basis Gained experience, the test results lack accuracy, and the final judgment result can only generally say that the constructed AADL model schema migration has errors, and it cannot clearly explain which event migration the error occurred on

Images