%0 Journal Article
%T Analysis method of control system requirement<br>一种面向控制软件需求分析的方法
%A ZHANG Li-yun
%A PU Ge-guang
%A WANG Zheng
%A LI Jian-wen
%A <br>张丽芸
%A 蒲戈光
%A 王　政
%A 李建文
%J 计算机应用研究
%D 2013
%I 
%X 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.
%K control system
%K requirement analysis
%K graphical
%K prototype generation
%K system simulation<br>控制系统
%K 需求分析
%K 图形化
%K 原型生成
%K 系统仿真
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=51EFA6F8AD100243230BF42080BEE427&yid=FF7AA908D58E97FA&vid=340AC2BF8E7AB4FD&iid=0B39A22176CE99FB&sid=BC88D6B0750E09D1&eid=3FC4D669D19FF0C6&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=0&reference_num=12