Modeling And Analysis Of Flight Management System Requirements Based On Four Variable Model

In recent years,in order to ensure that the military and civilian aircraft flight management system reliability and high performance,modeling and analysis of its requirements research has become an important method,but also an important part of the model driven software architecture.The FMS is a basic part of modern military and civilian aircraft avionics equipment,automation can be achieved in a variety of missions,reduce artificial workload,reduce the pilot's burden,so as to ensure the efficient completion of the mission.Thus,the FMS requirements modeling and Analysis is extremely important during the aircraft airworthiness certification process;and in the process of modeling and Analysis on the FMS requirements,how to use formal method to build model for lightweight the requirement of FMS analysis effectively according to the demand of model design become an important issue for lightweight the requirement of FMS analysis,This information is particularly important for pilot operation and system security.The main work of this thesis is to research and analysis and modeling of FMS based on lightweight form of system requirements level and design level,a method of modeling and analysis of system demand model based on four variables,to find an effective way in engineering where needs formal modeling and analysis,finally using T-vector tools for model design and requirement analysis of the module according to the formal results,the specific work is as follows:(1)For the modeling of system requirement analysis level and model design level,the paper analyzes and studies the four variable model and T-VEC model.In the aspect of system requirement analysis,we analyze four kinds of variables in the four variable model and the relationship structure of the four layers,and study the formal semantics of the method of the four variable model with SCR demand analysis method.At the aspect of model design,we introduce the tools and modeling methods of T-VEC model.(2)To solve the problem of conversion between system requirements and design models,this paper studies the relationship between the four variables and T-VEC models,including four variables and four corresponding relation in the T-VEC model,based on the correspondence we can realize the conversion between the demand of the system modeling to design model.(3)Summarize a simple overview for the FMS,and the navigation control module of the flight management system with lightweight demand the analysis method and modeling method of the four variable model and T-VEC model transformation,according to the T-VEC tool to analyze the model evaluation report and generate test vector according the specific needs.