一种面向控制软件需求分析的方法

摘要：

设计航天控制系统是一个复杂的过程,涉及需求设计、编码、测试等一系列的流程,若能在需求设计阶段发现错误,那么能减少不少的工作量.针对这一问题,提出了一种分析控制软件需求的方法和一个名为SP-ARDL的建模语言,并制作了一套SPARDL工具.SPARDL可以描述周期性的控制系统,首先将需求文档转换为SPARDL模型,且提供了图形化的表示方法；然后运用原型生成技术去仿真系统的行为,进一步分析需求的准确性.最后以一个案例表明了用SPARDL分析一个简单的航天控制系统需求的有效性.

关键词：控制系统、需求分析、图形化、原型生成、系统仿真

所属期刊栏目：30

分类号：TP311.521(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目91118007;国家自然科学基金创新研究群体科学基金资助项目61021004;国防科工局"航天器产品软件安全性评价体系及关键技术研究"项目

在线出版日期：2013-04-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：465-468,475