Formalization Of Model Analysis Process In Model-Driven Engineering And Its Application

In the 21st century,more and more industrial,military,medical,and consumer products are real-time embedded software-intensive systems,and system development becomes a complex and critical task.In fact,embedded systems must implement a set of non-functional attributes determined by their environment,such as time,reliability,security,or other criteria.In some safety-critical areas,the lack of non-functional requirements can have serious consequences,such as loss of life,personal injury,equipment damage,environmental disasters,and so on.Modeling and analysis are valuable assets for designing complex embedded systems.Modeling can abstractly describe all aspects of the system,and the analysis can assess whether the system meets the requirements.However,in software/system engineering,modeling and analysis techniques have traditionally been studied separately.Model-driven engineering uses specific domain design models as the main components of the development system.Commonly used analysis techniques such as real-time scheduling analysis and reliability analysis are mostly used.Analyze the system based on mathematical methods.Therefore,combining the analysis based on mathematical methods with the design model that conforms to the principle of model-driven engineering to realize the non-functional attribute analysis of embedded systems requires solving two problems.One is to analyze how to obtain analytical data from the design model,and the other is to obtain How to implement the analysis process after the data.For the first problem,this paper formalizes the analysis data provided by the model,and establishes the corresponding mapping relationship at the meta-model level of the design model,and obtains the data through the mapping relationship.For the second question,the analysis is treated as a program with preconditions and post-conditions.The precondition is an attribute that remains true on the input model to successfully perform the analysis.The post-condition is the attribute guaranteed on the model after the execution of the analysis.Then the concept of the contract is introduced on this basis.The interface of the contract describes the required data.Attributes and output data and attributes,the design model,analysis,and analysis goals are unified into a contract,and the dependencies of the contract are found according to the interface,so as to realize the design model,multiple optional analysis methods,and one analysis target automatically.The process of selecting and performing the analysis.This paper focuses on the combination of architecture design model AADL and schedulability analysis,and takes an unmanned aerial recorder system as an example.The results show that the model accessor can easily obtain analytical data,and the contract concept can make the model analysis process automatically carried out.