Analysis method of control system requirement
一种面向控制软件需求分析的方法

It is a complex process to design a periodic control system which involves design, coding, test and so on. If errors can be found in the period of requirement design, it will reduce a lot of work. In order to solve this problem, this paper proposed an analysis method for control system specification and also provided a modeling language called SPARDL and the SPARDL tool. First SPARDL tool converted a requirement to SPARDL model and provided a graphical interface to show the entire control system. Then it used a prototype generation technique to simulate the system behaviors. It could analyze the accuracy of the requirement. Finally, a case study shows the effectiveness of using SPARDL to analyze the requirement of a simple aerospace control system.