全球最大电子杂志平台

系统体系结构设计的一致性约束和检验

作者:梁浩，王明哲 分类：装备与武器 上传者:ZCOM网友

作者单位：（华中科技大学 控制科学与工程系，湖北 武汉 430074）
摘要：应用层次着色Petri网建立的系统可执行模型，以静态数据约束为基础，以动态行为验证为主体。通过数据字典、数据关系、产品数据的约束实现静态数据一致性约束。再应用Petri网结构分析法和状态空间分析法确定模型的数据流、规则触发、状态转换、功能执行的行为，实现动态数据一致性检验。并以区域防空系统为例，通过拦截和执行功能的动态一致性检验，建立拦截和控制可执行模型，由仿真确定设计模型的动态一致性。
英文题名：Consistency Restriction and Verification for System Architecture Design
Abstract: The system executable model was building with hierarchy colored Petri nets, which was based on static data restriction and took dynamic behavior verification as core. . The static data consistency restrictions were achieved through the restrictions from data dictionary, data relations and products data. Then structure analysis method and state space method of Petri nets were used to confirm the model’s data flow, rules trigger, state transition and behaviors of executing functions, so that consistency verification of dynamic data was achieved. An example of area air-defense system was given. The executable model of interception and control was building through dynamic consistency verification of the functions for intercepting and controlling. Finally, dynamic consistency of model was confirmed by simulated the model.