面向安全关键软件的AADL设计模型生成方法

发布时间：2021-08-20 06:57

　　近年来,模型驱动（Model-Driven）尤其是采用形式化模型驱动的安全关键软件设计与开发方法逐渐受到重视,并被工业界认为是切实可行的重要手段。AADL（Architecture Analysis and Design Lanuage）是一种广泛应用于安全关键领域的形式化建模语言标准。然而,由于AADL语言的语法元素庞大、语义复杂,手工构建安全关键软件尤其是大规模复杂安全关键软件的AADL设计模型难度较大。如何自动或半自动构建AADL形式化设计模型是目前工业界和学术界广泛关注的问题。本文提出了一种面向安全关键软件建模的AADL设计模型自动生成方法,重点研究了基于限定自然语言的安全关键软件需求建模及其到AADL模型的自动转换、基于源代码的AADL模型逆向重构等关键问题,并设计和开发了相关原型工具,主要研究成果如下:首先,安全关键软件引起严重事故的原因往往可以追溯到软件需求尤其是安全性需求的问题,当前工业界的软件需求主要通过自然语言文本描述,而自然语言二义性、不精确、难以被自动处理的特性使得模型驱动开发方法的生命周期一般较少涉及需求阶段。本文针对自然语言需求和AADL模型驱动开发方法之间... 

【文章来源】：南京航空航天大学江苏省 211工程院校

【文章页数】：83 页

【学位级别】：硕士

【部分图文】：

RNLreq数据字典元模型

2 RNL2AADL 中间模型：RAInterM由于RNLreq与AADL模型之间是一组多对多的映射关系，直接将RNLreq转换到A的转换规则相对复杂。如 AADL 中数据组件的作用域实际上与需求模板中的多条图 4.3 RNLreq 功能需求元模型

AADL顶层元模型

【参考文献】：
期刊论文
[1]复杂嵌入式实时系统体系结构设计与分析语言:AADL[J]. 杨志斌,皮磊,胡凯,顾宗华,马殿富.  软件学报. 2010(05)
[2]数据库设计工具PowerDesigner的研究与实践[J]. 顾平.  计算机应用与软件. 2004(11)

博士论文
[1]面向需求及设计的逆向工程关键技术研究[D]. 任武.复旦大学 2013



本文编号：3353036