文件名称：论文研究-一种面向控制软件需求分析的方法.pdf
文件大小：1.1MB
文件格式：PDF
更新时间：2022-08-11 15:58:48
控制系统,需求分析,图形化,原型生成,系统仿真
设计航天控制系统是一个复杂的过程, 涉及需求设计、编码、测试等一系列的流程, 若能在需求设计阶段发现错误, 那么能减少不少的工作量。针对这一问题, 提出了一种分析控制软件需求的方法和一个名为SPARDL的建模语言, 并制作了一套SPARDL工具。SPARDL可以描述周期性的控制系统, 首先将需求文档转换为SPARDL模型, 且提供了图形化的表示方法; 然后运用原型生成技术去仿真系统的行为, 进一步分析需求的准确性。最后以一个案例表明了用SPARDL分析一个简单的航天控制系统需求的有效性。