一种基于规范与描述语言的AADL功能行为拓展方法及工具

摘要

本发明公开了一种基于规范与描述语言的AADL功能行为扩展方法及工具，包括：步骤1：基于AADL对软件系统结构建模，得到AADL模型；步骤2：采用ASN.1数据生成算法和规范与描述语言模型框架生成算法，抽取AADL模型中的功能模块建模环境，获得规范与描述语言模型所需的数据和规范与描述语言模型框架，基于规范与描述语言模型所需的数据和规范与描述语言模型框架，生成规范与描述语言模型建模环境。