计算机应用研究
計算機應用研究
계산궤응용연구
APPLICATION RESEARCH OF COMPUTERS
2013年
2期
465-468,475
,共5页
张丽芸%蒲戈光%王政%李建文
張麗蕓%蒲戈光%王政%李建文
장려예%포과광%왕정%리건문
控制系统%需求分析%图形化%原型生成%系统仿真
控製繫統%需求分析%圖形化%原型生成%繫統倣真
공제계통%수구분석%도형화%원형생성%계통방진
设计航天控制系统是一个复杂的过程,涉及需求设计、编码、测试等一系列的流程,若能在需求设计阶段发现错误,那么能减少不少的工作量.针对这一问题,提出了一种分析控制软件需求的方法和一个名为SP-ARDL的建模语言,并制作了一套SPARDL工具.SPARDL可以描述周期性的控制系统,首先将需求文档转换为SPARDL模型,且提供了图形化的表示方法；然后运用原型生成技术去仿真系统的行为,进一步分析需求的准确性.最后以一个案例表明了用SPARDL分析一个简单的航天控制系统需求的有效性.
設計航天控製繫統是一箇複雜的過程,涉及需求設計、編碼、測試等一繫列的流程,若能在需求設計階段髮現錯誤,那麽能減少不少的工作量.針對這一問題,提齣瞭一種分析控製軟件需求的方法和一箇名為SP-ARDL的建模語言,併製作瞭一套SPARDL工具.SPARDL可以描述週期性的控製繫統,首先將需求文檔轉換為SPARDL模型,且提供瞭圖形化的錶示方法；然後運用原型生成技術去倣真繫統的行為,進一步分析需求的準確性.最後以一箇案例錶明瞭用SPARDL分析一箇簡單的航天控製繫統需求的有效性.
설계항천공제계통시일개복잡적과정,섭급수구설계、편마、측시등일계렬적류정,약능재수구설계계단발현착오,나요능감소불소적공작량.침대저일문제,제출료일충분석공제연건수구적방법화일개명위SP-ARDL적건모어언,병제작료일투SPARDL공구.SPARDL가이묘술주기성적공제계통,수선장수구문당전환위SPARDL모형,차제공료도형화적표시방법；연후운용원형생성기술거방진계통적행위,진일보분석수구적준학성.최후이일개안례표명료용SPARDL분석일개간단적항천공제계통수구적유효성.
