指挥控制与仿真2012，Vol.34Issue(3)：6-11,6.DOI:10.3969/j.issn.1673-3819.2012.03.002
基于TAU和SA的体系结构验证方法研究
Study on Architecture Verification Method Based on TAU and System Architect
杨春雷 1赵亮1
作者信息
- 1. 空军装备研究院通信所,北京 100085
- 折叠
摘要
Abstract
TAU and System Architect are two mature commercial softwares in the field of architecture designing. They are capable of verifying some of the architecture models. Based on analyzing the concepts and contents of the architecture verification, the verification method based on TAU and SA that is consist of grammar verification, semantic verification and pragmatic verification are proposed. Unmanned Aerial Vehicle architecture verification is used as an example to illustrate that TAU and SA are effective and practical in verifying the state chart's reachability and the operational rules' rationality.关键词
体系结构验证/TAU/系统体系结构Key words
Architecture verification/ TAU/ SA分类
军事科技引用本文复制引用
杨春雷,赵亮..基于TAU和SA的体系结构验证方法研究[J].指挥控制与仿真,2012,34(3):6-11,6.
