AADL

Designed and implemented the AADL model generation based on B method tool, which can automatically generate part of design model from the demand.

设计并实现了B方法的AADL模型生成工具，可以从需求自动化生成部分设计模型。

Code Automatic Generation and Integration Technology of AADL Model

AADL模型的代码自动生成及集成技术

According to the specific needs of the railroad system, the modeling of each subsystem uses the reasonable AADL components.

每个子系统的建模都是根据铁路系统的具体需求，使用合理的AADL构件实现的。

Reliability Modeling for Airborne Equipment System Using AADL

基于AADL的机载设备系统可靠性建模

Security Analysis of Avionics Systems Based on AADL

基于AADL的航空电子系统安全性分析

Our work is on the basis of model-based development method, with the AADL modeling language and system-level design method, has designed automotive RTES model compatible with OSEK/ VDX, and provided a verification method for AADL-based model architecture and behavior.

本论文在基于模型的开发方法研究基础上，采用AADL建模语言，结合系统级设计方法，设计了兼容OSEK/VDX的车用嵌入式实时系统模型，并提出了基于AADL的模型架构验证和行为验证方法。

Last, this paper summarized advantage and limitation of UCaS tools and give a outlook for AADL model verification tools further research and development.

论文最后总结了UCaS工具的优点及局限性，对AADL模型验证工具的后继研究和发展进行了展望。

Researched the relationship between B method and AADL, and established the mapping rules between B method and AADL. 4.

研究B方法和AADL之间的关系，建立了B方法到AADL的映射规则。

The models are represented using the notations known as the UML and AADL.

这些模型利用叫作UML和AADL的符号表示法构建。