安全关键软件的AADL模型自动逆向构造方法

Automatic Reverse Construction of AADL Models for Safety-critical Software

近年来,采用模型驱动(Model-Driven)尤其是形式化模型驱动的安全关键软件设计与开发方法逐渐受到重视,并被工业界认为是切实可行的重要手段.AADL(Architecture Analysis and Design Language)是一种广泛应用于安全关键领域的形式化建模语言标准.在安全关键软件系统开发与维护过程中,部分需求与设计信息往往遗留在源代码中,在对已有软件系统架构进行复用或重构的过程中,如何将这部分需求与设计信息从代码中构造到设计模型是一个重要问题.本文基于模型驱动逆向工程,提出一种从C代码到AADL模型的自动构造方法C2AADL.首先分析了源语言结构、行为和运行时性质,并根据分析结果提出了源代码结构、行为和运行时性质到AADL模型的转换规则,然后根据转换规则设计并实现了原型工具,最后基于雷达信息处理子系统案例验证本文所提方法的有效性.

Model-Driven development approaches are widely used in many critical domains such as automotive,energy industries and aerospace,failures of these systems will cause pollution of environment,property losses and even casualties.AADL is a formal modeling language standard widely adopted by safety-critical domains.During the development and maintenance of safety-critical the software,some requirements and design information are often embedded in the source code of software,poorly or even not documented,and implementation details are known only for the developers.The paper addresses these issues and considers a model-driven reverse engineering approach called C2AADL for generating AADL models from the source code of legacy systems.First,the source language is analyzed and the rules are proposed to transform C code to AADL models based on the analysis result.Then,the prototype tool is implemented according to the transformation rules.Finally,a real-world radar information processing system is used to show the feasibility of the proposed approach.