体系结构可执行研究的现状和未来  

Current Status and Trends of Executable Architecture and Executable Method

作　　者：张晓雪[1] 罗爱民[1] 罗雪山[1] 

机构地区：[1]国防科技大学信息系统工程重点实验室,长沙410073

出　　处：《指挥信息系统与技术》2012年第3期16-19,44,共5页Command Information System and Technology

基　　金：国家自然科学基金(71171197)资助项目

摘　　要：体系结构可执行研究是体系结构设计方案验证评估的重要途径。分析了现有体系结构可执行研究的方法,介绍了可执行体系结构的研究现状,提出了可执行方法以研究体系结构的趋势。An executing method is an important approach for validating and evaluating the architecture design. Executable methods for the current architecture are analyzed. The current status of executable architectures research is illustrated. Finally, trends of executable architecture re- search using executing methods are proposed.

关 键 词：体系结构 可执行模型 可执行体系结构 体系结构验证评估 

分 类 号：TP302.1[自动化与计算机技术—计算机系统结构]