可执行体系结构建模与仿真验证在复杂大系统和体系的设计与构建中起着至关重要的作用,但目前相关的概念和方法还不是很成熟,缺乏统一的认识和标准,针对不同的可执行需求存在着很多不同的执行机制和执行环境。分析和总结了可执行体系结...可执行体系结构建模与仿真验证在复杂大系统和体系的设计与构建中起着至关重要的作用,但目前相关的概念和方法还不是很成熟,缺乏统一的认识和标准,针对不同的可执行需求存在着很多不同的执行机制和执行环境。分析和总结了可执行体系结构建模的三大要素,并且比较了这些要素的可选项,提出了一个基于Parallel Discrete Event System Specification(P-DEVS)的通用可执行体系结构建模与仿真方法,实现了从图形化建模到仿真代码自动生成的全过程,结合实例介绍了所提方法在机场综合信息系统中的应用来证明该方法的可行性和有效性。展开更多
文摘可执行体系结构建模与仿真验证在复杂大系统和体系的设计与构建中起着至关重要的作用,但目前相关的概念和方法还不是很成熟,缺乏统一的认识和标准,针对不同的可执行需求存在着很多不同的执行机制和执行环境。分析和总结了可执行体系结构建模的三大要素,并且比较了这些要素的可选项,提出了一个基于Parallel Discrete Event System Specification(P-DEVS)的通用可执行体系结构建模与仿真方法,实现了从图形化建模到仿真代码自动生成的全过程,结合实例介绍了所提方法在机场综合信息系统中的应用来证明该方法的可行性和有效性。
