| Interface information of UAV’s flight control system is the information of the communication between flight control computer and related subsystems, which contains a large number of flight state parameters. Thus, it is important for the flight control system. However, because of the manual approach to interface information at present, it is inconvenient to design and test the interface. And the development of the flight control system is also affected. So the idea about dealing with the flight control system’s interface information by the formal method is put forward.According to this idea,the system is designed and developed.In this dissertation, interface information and its characteristics are sorted out. According to its characteristics,one format (also called the formal specification) is designed to solve the problem of the information storage. Secondly, based on the formal specification, designing the interfaces,testing the interfaces, generating the code which contains interface information are developed.Finally, on the basis of the improved MVC design pattern, this system is developed. The relationship between the interfaces and the subsystem which the interface belongs to can be designed by the graph in this system. The interfaces’characteristics can be designed by one formal language(also called interface definition language) in this system.While designing the interfaces, the system can automatically update interface information.Then, the interfaces can be tested and the code can generated by this system.It shows that the formal information storage,the design of interface information by the graph and the formal language,testing interface information easily and generating the code which contains interface information are realized.By this system,we can update the information automatically,design the interfaces easily, improve the designing efficiency, find the errors as soon as possible and restrict the use of interface information. |
PDF Full Text Request