模型驱动的系统体系结构仿真验证研究

在综合电子信息系统（ｃｏｍｍａｎｄ，ｃｏｎｔｒｏｌ，ｃｏｍｍｕｎｉｃａｔｉｏｎ，ｃｏｍｐｕｔｅｒ，ｉｎｔｅｌｌｉｇｅｎｃｅ，ｓｕｒｖｅｉｌｌａｎｃｅａｎｄｒｅｃｏｎｎａｉｓｓａｎｃｅ，Ｃ４ＩＳＲ）和航天维修等复杂系统建设前，对系统的体系结构进行仿真和验证是降低系统后期开发成本和风 险的有效方法。提出了基于系统体系结构中的活动模型、规则模型、动态模型和数据模型等向统一的Ｓｉｍｕｌｉｎｋ仿真 模型的映射方法，并基于模型驱动架构中的模型转换技术实现了前者向后者的自动转换，不仅能够提高仿真模型构 造的效率，还能保证仿真模型和体系结构模型的一致性。哈勃太空望远镜维修系统的体系结构仿真验证案例说 明了方法不仅能够验证系统体系结构模型之间的逻辑一致性，还能够对系统体系结构的性能进行有效预评估。