检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]上海工程技术大学电子电气工程学院,上海201620 [2]上海交通大学计算机科学与工程系,上海200240
出 处:《系统仿真学报》2016年第2期283-291,共9页Journal of System Simulation
基 金:国家自然科学基金项目(61232007;91118004)
摘 要:可执行体系结构建模与仿真验证在复杂大系统和体系的设计与构建中起着至关重要的作用,但目前相关的概念和方法还不是很成熟,缺乏统一的认识和标准,针对不同的可执行需求存在着很多不同的执行机制和执行环境。分析和总结了可执行体系结构建模的三大要素,并且比较了这些要素的可选项,提出了一个基于Parallel Discrete Event System Specification(P-DEVS)的通用可执行体系结构建模与仿真方法,实现了从图形化建模到仿真代码自动生成的全过程,结合实例介绍了所提方法在机场综合信息系统中的应用来证明该方法的可行性和有效性。Executable architecture modeling plays a vital role in the design of complex systems and System of Systems(So S), but there is still no common view and standard, unified execution mechanism and environment for an executable architecture. Three major elements of executable architecting were analyzed and summarized with a comparison among the options of these elements. To realize automated transformation from graphical models to executable codes, a generic modeling approach to executable architecture of So S based on Parallel Discrete Event System Specification(P-DEVS) was proposed, and a case study of airport So S shows its feasibility and effectiveness.
关 键 词:离散事件系统规范 可执行体系结构 系统的系统 建模与仿真
分 类 号:TP391[自动化与计算机技术—计算机应用技术]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.43