论文部分内容阅读
本文阐述了航空装备顶层论证的主要工作,分析了体系设计和虚拟验证及确认对体系行为建模的需求。为弥合体系架构模型和任务仿真模型间的差距,实现体系行为连续性建模,提出了两种模型转换方法。基于接口定义的行为模型转换实现了架构设计工具与任务仿真工具的互联,使架构模型直接驱动任务仿真中的实体。基于格式转换的行为模型转换使运行/系统状态图转换为任务仿真系统中对应组织/系统的行为模型以实现模型的传递。应用案例演示了两种模型转换方法,取代了人工重复建模,缩短了建模和仿真迭代周期。