面向IMA的AADL多范式建模及代码自动生成方法

AADL Multi-paradigm Modeling and Automatic Code Generation for IMA Systems

综合模块化航空电子系统(Integrated Modular Avionics,IMA)是安全关键领域中一类重要的复杂嵌入式系统,具有分布式、异构、计算资源和物理资源强耦合等特征,单一建模语言无法完全覆盖该类系统的建模要求.近年来,多范式建模方法(Multi-Paradigm Modeling,MPM)已成为IMA设计的研究热点.AADL(Architecture Analysis and Design Language)是一种安全关键嵌入式系统体系结构描述语言,具有丰富的表达能力和可扩展性.本文提出一种面向IMA的AADL多范式建模及代码自动生成方法.首先,给出面向IMA的AADL多范式建模方法,即AADL用于表达IMA软硬件架构,AADL行为附件、同步语言SIGNAL和SDL(Specification and Description Language)用于描述软件构件的功能行为,分别支持状态机、同步数据流、异步执行等多种计算模型.其次,给出面向IMA的代码自动生成方法,涉及IMA任务、分区、内核3个层面的代码及其配置文件的自动生成.最后,在AADL开源建模环境OSATE中实现多范式建模和代码生成原型工具,并基于飞机空气增压系统案例,验证本文所提方法的有效性.

As a complex embedded system in the safety-critical domain,Integrated Modular Avionics(IMA) has the characteristics of distributed,heterogeneous,strong coupling of computing resources and physical resources,and a single modeling language cannot fully cover the modeling requirements of those systems.Recently,multi-paradigm modeling(MPM) methods have become a research hotspot in IMA system design.AADL(Architecture Analysis and Design Language) is an architecture description language standard for safetycritical embedded systems with rich expressive power and scalability.This paper proposes an AADL multi-paradigm modeling and automatic code generation for IMA systems method.First,the AADL multi-paradigm modeling method is presented,that is AADL is used to express security-critical heterogeneous software architecture,AADL behavior annex,synchronous language SIGNAL and SDL(Specification and Description Language) are used to describe system functional behavior,respectively supporting state machine,synchronous data flow,asynchronous execution model and other computing models.Secondly,the automatic code generation method for IMA system is presented,including the automatic code generation and configuration files at the three levels of IMA core module,partition and task.Finally,a multi-paradigm modeling and code generation prototype tool is implemented in OSATE,an open source modeling environment of AADL,and the Airplane Air Compressor System is used as a case to verify the effectiveness of the methods and tools presented in this paper.