摘要
设计航天控制系统是一个复杂的过程,涉及需求设计、编码、测试等一系列的流程,若能在需求设计阶段发现错误,那么能减少不少的工作量。针对这一问题,提出了一种分析控制软件需求的方法和一个名为SP-ARDL的建模语言,并制作了一套SPARDL工具。SPARDL可以描述周期性的控制系统,首先将需求文档转换为SPARDL模型,且提供了图形化的表示方法;然后运用原型生成技术去仿真系统的行为,进一步分析需求的准确性。最后以一个案例表明了用SPARDL分析一个简单的航天控制系统需求的有效性。
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 accu- racy of the requirement. Finally, a case study shows the effectiveness of using SPARDL to analyze the requirement of a simple aerospace control system.
出处
《计算机应用研究》
CSCD
北大核心
2013年第2期465-468,475,共5页
Application Research of Computers
基金
国家自然科学基金资助项目(91118007)
国家自然科学基金创新研究群体科学基金资助项目(61021004)
国防科工局"航天器产品软件安全性评价体系及关键技术研究"项目
国家自然科学基金委重点项目
关键词
控制系统
需求分析
图形化
原型生成
系统仿真
control system
requirement analysis
graphical
prototype generation
system simulation
