[发明专利]一种基于安全扩展SysML和AADL模型的代码生成方法

权利要求书

1.一种基于安全扩展的SysML和AADL模型的代码自动生成方法，该方法用于将系统需求转换为结构化语言代码，其特征在于，该方法对原始SysML进行安全扩展，获得安全扩展后的SysML；利用安全扩展后的SysML描述系统需求，获得系统需求SysML模型；将所述系统需求SysML模型转换为AADL体系结构设计模型；对AADL体系结构设计模型与系统需求SysML模型进行一致性验证；验证通过后将所述的AADL体系结构设计模型转换为结构化语言代码；

所述的方法按照以下步骤进行：

步骤1、对原始SysML进行安全扩展，获得安全扩展后的SysML；

所述的安全扩展的具体过程为：

通过在原始SysML中添加多个描述安全的约束、标记值和构造型，得到多个错误模型，获得安全扩展后的SysML；

步骤2、采用安全扩展后的SysML描述系统需求，获得系统需求SysML模型；

步骤3、将所述系统需求SysML模型转换为AADL体系结构设计模型；

步骤4、对步骤3中获得的AADL体系结构设计模型与步骤2中获得的系统需求SysML模型进行一致性验证；

所述的一致性验证的具体过程为：

步骤41、根据所述的AADL体系结构设计模型，构建实时接口自动机；

步骤42、获得所述系统需求的PPTL公式；

步骤43、利用所述的实时接口自动机检测所述的PPTL公式，若检测结果正确，则所述AADL体系结构设计模型与所述系统需求SysML模型一致，执行步骤5；否则不一致，返回步骤3；

步骤5、将所述的步骤3中获得的AADL体系结构设计模型转换为结构化语言代码。

2.如权利要求1所述的基于安全扩展的SysML和AADL模型的代码自动生成方法，其特征在于，所述的步骤3中将所述系统需求SysML模型转换为AADL体系结构设计模型时，将所述的系统需求SysML模型中安全构造型、需求图、模块定义图和内部模块图转换为AADL体系结构设计模型的软件组件、硬件组件以及复合组件；

具体包括：

对于所述需求图描述的所有需求，将属性为软件实现的多个需求转换为AADL体系结构设计模型的软件组件，将属性为硬件实现的多个需求转换为AADL体系结构设计模型的硬件组件，将属性为软、硬件协作实现的多个需求转换为AADL体系结构设计模型的复合组件；

对于模块定义图的所有模块，将每个模块转换为AADL体系结构设计模型的复合组件；

对于内部模块图的所有模块，将每个模块转换为AADL体系结构设计模型的复合组件；

将所述的安全构造型转换为AADL体系结构设计模型的安全附件。

3.如权利要求2所述的基于安全扩展的SysML和AADL模型的代码自动生成方法，其特征在于，所述的步骤5中将所述的步骤3中获得的AADL体系结构设计模型转换为C语言代码。

4.如权利要求3所述的基于安全扩展的SysML和AADL模型的代码自动生成方法，其特征在于，将所述的AADL体系结构设计模型转换为C语言代码时，将所述的AADL体系结构设计模型中软件组件映射为C语言代码。