计算机应用研究2013，Vol.30Issue(2)：465-468,475,5.DOI:10.3969/j.issn.1001-3695.2013.02.040
一种面向控制软件需求分析的方法
Analysis method of control system requirement
摘要
Abstract
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.关键词
控制系统/需求分析/图形化/原型生成/系统仿真Key words
control system/ requirement analysis/ graphical/ prototype generation/ system simulation分类
信息技术与安全科学引用本文复制引用
张丽芸,蒲戈光,王政,李建文..一种面向控制软件需求分析的方法[J].计算机应用研究,2013,30(2):465-468,475,5.基金项目
国家自然科学基金资助项目(91118007) （91118007）
国家自然科学基金创新研究群体科学基金资助项目(61021004) （61021004）
国防科工局"航天器产品软件安全性评价体系及关键技术研究"项目 （）
